Lógica Proposicional - MATEMATICA I (Algebra)
Alumno: Gauna Pablo Nicolas
DNI: 41.382.584
EJERCICIOS PARA PRACTICAR – LOGICA PROPOSICIONAL
1) Confeccione la tabla de verdad de las siguientes proposiciones compuestas
a) ( p q) (q p ) d) p ( q p ) g) ( p q ) ( p q) j) ( p q) ( p q)
b) ( p q ) ( p q) e) p (q p ) h) ( p q) (q p) k) ( p q) p
c) ( p q) ( p q) f) ( p q ) q i) [ p (q p)] q l) p q q
2) Niegue y transforme usando leyes lógicas la proposición compuesta p (q r )
a) ( p q ) r b) ( p q ) r c) p (q r )
3) a) Si el valor de verdad de p q es verdadero ¿puede determinar el valor de verdad de
p ( p q) ?
b) Si el valor de verdad de ( pq ) p es falso ¿puede determinar el valor de verdad de q ?
c) Si p q es verdadero ¿se puede determinar el valor de verdad de ( p q ) ( p q ) ?
d) Si p q es verdadero ¿se puede determinar el valor de verdad de ( p q ) ( p q )
e) Halle el valor de verdad de ( p q ) (q p ) si q es verdad
f) Halle el valor de verdad de ( p q) ( p q) si q es verdad
En todos los casos justifique su respuesta
Desarrollo
1. a) ( p q) (q p )
Número de líneas= 2n
N= 2
22= 4
p q -p (p q) (q -p) (p q) ^ (q -p)
V V F V F F
V F F F V F
F V V V V V
F F V V F F
Tecnicatura Superior en Desarrollador de Software
- ISPRMM -
Lógica Proposicional - MATEMATICA I (Algebra)
b) ( p q ) ( p q)
Número de líneas= 2n
N= 2
22= 4
p q -p -q (p^-q) (-p q) (p^-q) v (-p q)
V V F F F F F
V F F V V V V
F V V F F V V
F F V V F F F
c) ( p q) ( p q)
Número de líneas= 2n
N= 2
22= 4
p q -p (p^q) (-p v q) (p^q) v (-p v q)
V V F V V V
V F F F F F
F V V F V V
F F V F V V
d) p ( q p )
Número de líneas= 2n
N= 2
22= 4
p q -p (q -p) - (q -p) p - (q -p)
V V F V F F
V F F F V V
F V V F V V
F F V V F V
e) p ( q p )
Número de líneas= 2n
N= 2
22= 4
p q -q (-q p) p (-q p)
V V F V F
V F V V F
F V F V V
F F V F F
Tecnicatura Superior en Desarrollador de Software
- ISPRMM -
Lógica Proposicional - MATEMATICA I (Algebra)
f) ( p q ) q
Número de líneas= 2n
N= 2
22= 4
p q -q (p^q) ( p^q ) -q
V V F V F
V F V F F
F V F F V
F F V F F
g) ( p q ) ( p q)
Número de líneas= 2n
N= 2
22= 4
p q -p -q (p v q) (-p ^ -q) (p v q) (-p ^ -q)
V V F F V F F
V F F V V V V
F V V F V F F
F F V V F F V
h) ( p q) (q p)
Número de líneas= 2n
N= 2
22= 4
p q -q (p q) (-q ^ p) (p q) (-q ^ p)
V V F V F F
V F V F V F
F V F V F F
F F V V F F
i) [ p (q p)] q
Número de líneas= 2n
N= 2
22= 4
p q -p -q (q v -p) p (q v -p) (p (q v -p)) -q
V V F F V V F
V F F V V V V
F V V F V V F
F F V V F V V
Tecnicatura Superior en Desarrollador de Software
- ISPRMM -
Lógica Proposicional - MATEMATICA I (Algebra)
j) ( p q) ( p q)
Número de líneas= 2n
N= 2
22= 4
p q -q (p v q) - (p v q) (p ^ -q) - (p v q) (p ^ -q)
V V F V F V F
V F V F V V V
F V F F V F F
F F V F V V V
k) ( p q) p
Número de líneas= 2n
N= 2
22= 4
p q -q (p -q) - (p -q) - (p -q) p
V V F F V F
V F V V F V
F V F V F F
F F V V F F
l) p q q
Número de líneas= 2n
N= 2
22= 4
p q (p ^ q) (p ^ q) q
V V V V
V F F V
F V F V
F F F V
Tecnicatura Superior en Desarrollador de Software
- ISPRMM -