Tarea de Lógica Matemáticas
Tarea de Lógica Matemáticas
Tarea de Lógica Matemáticas
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
Lissette Pino
D-11
3.- INDICAR SI LOS ENUNCIADOS SON VERDADERO O FALSO: (0,50 PTOS)
3.1.
3.2
4 Respuesta a ( b v c )
5. Respuesta a) (m ^ n) p
6. COND
ICIONAL NECESARIO Y SUFICIENTE:
(1PTO)
6.1
6.2
Lissette Pino
D-11
7.1
7.2
7.3
7.4
b)
b)
d)
b)
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.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
9.4
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
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
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
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
a)
b)
c)
d)
e)
q
p ^ q
a^r
q
a ^ r
Lissette Pino
D-11
1^ H
2(H
14.- DADO EL RAZONAMIENTO
) C, DONDE:
(0,50 PTOS
)
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
a.
b.
c.
d.
e.
q
q
p^r
r ^ q
p