Lissette Pino

D-11
UNIVERSIDAD LAICA VICENTE ROCAFUERTE DE GUAYAQUIL
PROPEDEUTICO 2016
TAREA DE LGICA MATEMTICA
FECHA DE ENTREGA: VIERNES 12 DE FEBRERO, 2016
1.- INDIQUE SI CADA ENUNCIADO ES O NO UNA PROPOSICION: (0,25 PTOS)

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)

Si es una proposicin
No es una proposicin
Si es una proposicin
No es una proposicin
No es una proposicin
Si es una proposicin
Si es una proposicin
Si es una proposicin
No es una proposicin
Si es una proposicin
No es una proposicin
Si es una proposicin

2.- INDIQUE CUAL DE LOS SIGUIENTES ENUNCIADOS NO ES UNA

PROPOSICION: (0,25 PTOS)

El enunciado que no es una proposicin es la e) Turismo

Lissette Pino
D-11
3.- INDICAR SI LOS ENUNCIADOS SON VERDADERO O FALSO: (0,50 PTOS)
3.1.

3.2

3.1 b)Falso La enunciacin hipottica o condicional es

falsa solo cuando el antecedente es verdadero y el
consecuente falso

3.2 b) Falso La contrarrecproca sera Si no apruebo el

curso del nivel cero, no estudio conscientemente

4. CONSIDERANDO LAS PROPOSICIONES:

(0,50 PTOS)

4 Respuesta a ( b v c )

5.- TRADUCCION DE LENGUAJE FORMAL DE PROPOSICION: (1 PTO)

5. Respuesta a) (m ^ n) p

6. COND
ICIONAL NECESARIO Y SUFICIENTE:
(1PTO)
6.1

6.2

6.1 b) Yo tengo empleo

6.2 b) Falso

Lissette Pino
D-11

8.- DETERMINE EL VALOR DE LA VERDAD: (1 PTO)

7.1
7.2
7.3
7.4

b)
b)
d)
b)

Falso Ya que sera (m vn) p

Falso Ya que sera m (n ^p )
m (n ^ p )
(s p ) ^ (r q)

p : 1 q: 1 p: 0
a) p (q ^ r)

Lissette Pino
D-11
0 ( 0 ^ ?)
0(0)
1
a) Valor de verdad VERDADERA
b) q v (p r)
1 v ( 1 ?)
1v(? )
1
b) Valor de verdad VERDADERA
c)

q (p ^ q)
1 (0 ^ 1)
1(0 )
0
c) Valor de verdad FALSO
d) p q
1 1
0
d) Valor de verdad VERDADERA
e)

p v (q v r )
0 (1 v ? )
0(? )
1
e) Valor de verdad VERDADERA

9.- FORMAS PROPOSICIONALES: (1 PTO)

PARA LOS SIGUIENTES EJERCICIOS, CONSIDERE QUE f(p,q,r) REPRESENTA UNA
FORMA
PROPOSICIONAL DE TRES VARIABLES
9.1

9.2

Lissette Pino
D-11
9.1 b) FALSO Ya que una proposicional tautolgica resulta
verdadera para cualquier variable
9.2) b) FALSO Ya que una proposicional de contradiccin resulta
falsa para cualquier variable

PARA LOS SIGUIENTES EJERCICIOS, CONSIDERE QUE f(p,q,r,s) REPRESENTA

UNA FORMA
PROPOSICIONAL DE CUATRO VARIABLES
9.3

9.4

9.3 b) FALSO Ya que 0 0 = 1

9.4) b) FALSO Es contingencia

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
0
0
0
0

1
0
1
0
1
0
1
0

(q v
r)
1
0
1
1
1
0
1
1

p (qvr)
1
0
1
1
1
1
1
1

10.- IDENTIFIQUE CUAL DE LAS SIGUIENTES FORMAS PROPOSICIONALES NO

ES TAUTOLGICA: (1
PTO)

10. La que no es tautolgica es la d) ( p q ) ( q p )

Lissette Pino
D-11
a) ( q p ) ( p v q )
p

0
0
1
1

0
1
0
1

1
1
0
0

( q
p )

( p v
q)

1
1
0
1

1
1
0
1

1
0
1
0

( q p )
( p v q )
1
1
1
1

a) Tautolgica
b) ( p v q ) ( p q )
p
q
p
(p vq)
0
0
1
1

0
1
0
1

1
1
0
0

0
1
1
1

( p
q)
0
1
1
1

( p v q ) ( p
q)
1
1
1
1

b) Tautolgica
c) [( p q ) ^ p] q
p
q
(p q
)
0
0
1
0
1
1
1
0
0
1
1
1

[( p q ) ^
p]
0
0
0
1

[( p q ) ^ p]
q
1
1
1
1

c) Tautolgica

d) ( p q ) ( q p )
p

(p q
)

(q p)

(p q)(q p
)

0
0
1
1

0
1
0
1

1
1
0
1

1
0
1
1

1
0
1
1

Lissette Pino
D-11
d) Contingencia
e) [( p ^ q ) ^ r] [( p v r ) ^ ( q v r) ]
p

(p ^
q)

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
0
0
0
0
1
1

[( p ^ q )
^ r]
A
0
0
0
0
0
0
0
1

(p v
r)
0
1
0
1
1
1
1
1

(qv
r)
0
1
1
1
0
1
1
1

[( p v r ) ^
( q v r) ]
B
0
1
0
1
0
1
1
1

A B
1
1
1
1
1
1
1
1

e) Tautolgica

11. DETERMINE SI LAS SIGUIENTES FORMAS PROPOSICIONALES SON TAUTOLOGA,

CONTRADICCIN O CONTINGENCIA: (1 PTO)

a) ( r ^ s ) v s

(r ^s)

(r ^ s ) v

Lissette Pino
D-11
s
0
0
1
1

0
1
0
1

1
0
1
0

0
0
0
1

1
0
1
1

a) Contingencia
b)

( p q ) ( q p )

(pq)

( q p )

0
0
1
1

0
1
0
1

1
1
0
0

1
1
0
1

1
1
1
0

(pq)(q
p )
1
1
1
0

b) Contingencia
c)

p ( p ^ q )

(p^q)

0
0
1
1

0
1
0
1

1
1
0
0

0
0
0
1

p ( p
^q)
0
0
1
1

c) Contingencia

d)

( p ^ q ) ^ ( p q )

(p^q)

0
0
1
1

0
1
0
1

1
0
1
0

0
0
0
1

( p q )
1
1
1
0

d) Contradiccin
e)

(pvq)[p

v ( p ^ q ) ]

(p^q)^(p
q )
0
0
0
0

Lissette Pino
D-11
p

(pvq)

0
0
1
1

0
1
0
1

1
1
0
0

0
1
1
1

( p ^
q)

[ p v ( p ^
q)]

0
1
0
0

(pvq)[p
^ q)]

0
1
1
1

e) Tautologa
12.- RAZONAMIENTOS (0,50 PTOS)

12.1

12.2

12.1 a) Verdadero
12.2 b) Falsa
a: Te gustan las matemticas
b: Eres hbil para la gemotra

H1 : a b
p
0
0
1
1

q
0
1
0
1

C : a H1 : p q

p
C

p q

1
1
0
0

1
1
0
1

C:p

( p q)

c
1
1
1
0

13.- DADO EL RAZONAMIENTO (H1 ^ H2) C, DONDE: (0,50 PTOS)

1
1
1
1

v ( p

Lissette Pino
D-11

a: Estudio
b: Apruebo el curso de nivel cero
c: Viajo a Galpagos

H1 : a b
H1 : p q

H2: b ^ c

C:?
C:?

H2: q ^ r

(H1 ^ H2 ) C
p
0
0
0
0
1
1
1
1

q
C

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

p q
H1
1
1
1
1
0
0
1
1

q^r
H2
0
0
0
1
0
0
0
1

H1 ^
H2

(H1 ^ H2 )

0
0
0
1
0
0
0
1

1
1
1
1
1
1
1
1

Se logr comprobar que colocando q como valor de C conseguimos la

tautologa

a)
b)
c)
d)
e)

q
p ^ q
a^r
q
a ^ r

13. Respuesta d) Apruebo el curso de nivelacin

Lissette Pino
D-11
1^ H
2(H
14.- DADO EL RAZONAMIENTO
) C, DONDE:
(0,50 PTOS
)

a: Se concluye con xito la construccin del nuevo parque en el Barrio

del Centenario
b: Se cooperar para el embellecimiento de la urbe
c: Se incrementar la captacin de ms turistas

H1 : a b
H1 : p q

H2: b ^ c

C:?
C:?

H2: q ^ r

(H1 ^ H2 ) C
p
0
0
0
0
1
1
1
1

q
C

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

p q
H1
1
1
1
1
0
0
1
1

q^r
H2
0
0
0
1
0
0
0
1

H1 ^
H2

(H1 ^ H2 )

0
0
0
1
0
0
0
1

1
1
1
1
1
1
1
1

Se logr comprobar que colocando q como valor de C conseguimos la

tautologa

a.
b.
c.
d.
e.

q
q
p^r
r ^ q
p

14. Respuesta b) Se cooperar para el embellecimiento de la urbe