Logica de predicados
1.- (p → ¬q) (¬p r)
p | q | r | ¬q | ¬p | p→¬q | ¬pr | (p→¬q)(¬pr) |
V | V | V | F | F | F | V | V |
V | V | F | F | F | F | F | F |
V | F | V | V | F | V | V | V |
V | F | F | V | F | V | F | V |
F | V | V | F | V | V | V | V |
F | V | F | F | V | V | V | V |
F | F | V | V | V | V | V | V |
F | F | F | V | V | V | V | V |
2.- (¬p q) → ¬(q ¬r)p | q | r | ¬r | ¬p | q¬r | ¬pq | ¬(q¬r) | (¬pq)¬(q¬r) |
V | V | V | F | F | V | F | F | V |
V | V | F | V | F | V | F | F | V |
V | F | V | F | F | F | F | V | V |
V | F | F | V | F | F | F | V | V |
F | V | V | F | V | V | V | F | F |
F | V | F | V | V | V | V | F | F |
F | F | V | F | V | V | F | F | V |
F | F | F | V | V | V | F | F | V |
3.- ¬(p ¬q) → ¬r
p | q | r |¬q | p¬q | ¬(p¬q) | ¬r | ¬(p¬q)→¬r |
V | V | V | F | F | V | F | F |
V | V | F | F | F | V | V | V |
V | F | V | V | V | F | F | V |
V | F | F | V | V | F | V | V |
F | V | V | F | F | V | F | F |
F | V | F | F | F | V | V | V |
F | F | V | V | F | V | F | F |
F | F | F | V | F | V | V | V |
4.- ( p q ) r p ( q r )
P | q | r | pq | pr | (pq) r | p (qr) | (pq)rp(qr) |
V |V | V | V | V | V | V | V |
V | V | F | V | F | F | F | V |
V | F | V | F | F | F | F | V |
V | F | F | F | F | F | F | V |
F | V | V | F | V | F | F | V |
F | V | F | F | F | F | F | V |
F | F | V | F | F | F | F | V |
F | F | F | F | F | F | F | V |
5.- ( p q ) r p ( q r )
p | q | r | pq | pr | (pq) r | p (qr) | (pq)rp(qr) |
V | V | V | V | V | V | V | V |
V | V | F |V | V | V | V | V |
V | F | V | V | V | V | V | V |
V | F | F | V | F | V | V | V |
F | V | V | V | V | V | V | V |
F | V | F | V | V | V | V | V |
F | F | V | F | V | V | V | V |
F | F | F | F | F | F | F | V |
6.- [ ( p q ) r ] [ p ( q r ) ]
p | q | r | pq | pr | (pq)r | p(qr) | [(pq)r][p(qr) |
V | V | V | V | V | V | V | V |
V | V | F | V | F | F | F | V |
V | F | V| F | F | F | F | V |
V | F | F | F | V | V | V | V |
F | V | V | F | V | F | F | V |
F | V | F | F | F | V | V | V |
F | F | V | V | F | V | V | V |
F | F | F | V | V | F | F | V |
7.- p ( q r ) ↔ ( p q ) ( p r )
p | q | r | pq | pr | qr | p(qr) | (pq)(pr) | p(qr)↔(pq)(pr) |
V | V | V | V | V | V | V | V | V |
V | V | F | V | F | V | V | V | V |
V | F | V | F | V | V |V | V | V |
V | F | F | F | F | F | F | F | V |
F | V | V | F | F | V | F | F | V |
F | V | F | F | F | V | F | F | V |
F | F | V | F | F | V | F | F | V |
F | F | F | F | F | F | F | F | V |
8.- p ( q r ) ↔ [ ( p q ) ( p r ) ]
p | q | r | qr | p(qr) | pq | pr | (pq)(pr) | p(qr)↔[(pq)(pr)] |
V | V | V | V | V | V | V | V | V |
V | V | F | F | V | V | V | V | V |
V | F | V| F | V | V | V | V | V |
V | F | F | F | V | V | V | V | V |
F | V | V | V | V | V | V | V | V |
F | V | F | F | F | V | F | F | V |
F | F | V | F | F | F | V | F | V |
F | F | F | F | F | F | F | F | V |
9.- (p → ¬ r) ↔ (q v p)
p | q | r | ¬r | P→¬r | qp | (p→¬r)↔(qp) |
V | V | V | F | F | V | F |
V | V | F | V | V | V | V |
V | F | V | F | F | V | F |
V | F | F | V | V |V | V |
F | V | V | F | V | V | V |
F | V | F | V | V | V | V |
F | F | V | F | V | F | F |
F | F | F | V | V | F | F |
10.- p q ( p q ) ( q p )
p | q | pq | pq | qp | (pq)(qp) | (pq)(pq)(qp) |
V | V | V | V | V | V | V |
V | F | F | F | V | F | V |
F | V | F | V | F | F | V |
F | F | V | V | V | V | V |
11.- p q ↔ ( p q ) ¬( p q )
p | q | pq | (pq) | ¬(pq) |(pq)¬(pq) | (pq) | (p q)(p q)¬(pq) |
V | V | F | V | F | F | V | F |
V | F | V | F | V | V | V | F |
F | V | V | F | V | V | V | F |
F | F | F | F | V | F | F | F |
12.- (P Q) (P Q)
p | q | pq | ¬q | p¬q | (pq)(p¬q) |
V | V | V | F | F | F |
V | F | F | V | V | F |
F | V | F | F | F | F |
F | F | V | V | F | F |
13.- P (Q P)
p | q | qp | ¬(qp) |...
Regístrate para leer el documento completo.