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 ( pq )  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 -