juan

TALLER TABLAS DE VERDAD. 
Realice la tabla de verdad de las siguientes expresiones, indicando si es una contradicción, una tautología o una proposición empírica. 
AYMER MOSQUERA SARRIA 
ALEXANDER LEGUIZAMO 
SOLUCION: 
1. p ∧ q 
p | q | p ∧ q | 
V | V | V | 
V | F | F | 
F | V | F | 
F | F | F | 
Proposición empírica 
2. (p ∧ q) ∧ r 
p | q | r | (p ∧ q) | ∧ r | 
V | V | V | V | V | V | V | F | V | F | 
V | F | V | F | F | 
V | F | F | F | F | 
F | V | V | F | F | 
F | V | F | F | F | 
F | F | V | F | F | 
F | F | F | F | F | 
Proposición empírica 
3. ¬(p → ¬q) ∧ (p ∧ ¬q) 
p | q | ¬ | (p | → | ¬q) | ∧ | (p | ∧ | ¬q) | 
V | V | F | V | V | F | F | V | F | F | 
V | F | F | V | V | V | F | V | V | V | 
F | V | F | V | V | F | F | F | F | F | 
F | F | V | F | F | V| F | F | F | V | 
Contradicción 
4. (p ∧ q) ∨ (p ∨ ¬q) 
p | q | (p | ∧ | q) | V | (p | V | ¬q) | 
V | V | V | V | V | F | V | V | F | 
V | F | V | F | F | F | V | F | V | 
F | V | F | F | V | F | F | F | F | 
F | F | F | F | F | V | F | V | V | 
Proposición empírica 
5. p ∧ q ∧ r 
p | ∧ | q | ∧ | r | 
V | V | V | V | V | 
V | V | V | F | F | 
V | F | F | F | V | 
V | F | F | F | F| 
F | F | V | F | V | 
F | F | V | F | F | 
F | F | F | F | V | 
F | F | F | F | F | 
Proposición empírica 
6. ¬(p ∧ ¬q) ∧ (p ∧ ¬q) 
p | q | ¬ | (p | ∧ | ¬q) | ∧ | (p | ∧ | ¬q) | 
V | V | V | V | F | F | F | V | F | F | 
V | F | F | V | V | V | F | V | V | V | 
F | V | V | F | F | F | F | F | F | F | 
F | F | V | F | F | V | F | F | F | V | 
Contradicción 
7. ¬¬(¬p ∧ ¬q) ∨ (p ∧ ¬q) p | q | ¬ | ¬ | (¬p | ∧ | ¬q) | V | (P | ∧ | ¬q) | 
V | V | F | V | F | F | F | F | V | F | F | 
V | F | F | V | F | F | V | V | V | V | V | 
F | V | F | V | V | F | F | F | F | F | F | 
F | F | V | F | V | V | V | V | F | F | V | 
Proposición empírica 
8. p ∨ q ∧ r 
p | V | q | ∧ | r | 
V | F | V | F | V | 
V | F | V | F | F | 
V | V | F | V | V | 
V | V | F | F | F | 
F | V | V | V| V | 
F | V | V | F | F | 
F | F | F | F | V | 
F | F | F | F | F | 
Proposición empírica 
9. ¬(¬p ∧ ¬q) ∧ (¬p ∧ ¬q) 
p | q | ¬ | (¬p | ∧ | ¬q) | ∧ | (¬p | ∧ | ¬q) | 
V | V | F | F | F | F | F | F | F | F | 
V | F | F | F | F | V | F | F | F | V | 
F | V | V | V | F | F | F | V | F | F | 
F | F | F | V | V | V | F | V | V | V | 
Contradicción 
10. p ∨ q ∧ ¬r 
p | q | r | p | V | q |∧ | ¬r | 
V | V | V | V | F | V | F | F | 
V | V | F | V | F | V | F | V | 
V | F | V | V | V | F | F | F | 
V | F | F | V | V | F | V | V | 
F | V | V | F | V | V | F | F | 
F | V | F | F | V | V | V | V | 
F | F | V | F | F | F | F | F | 
F | F | F | F | F | F | F | V | 
Proposición empírica 
11. p ∧ q → r 
p | ∧ | q | → | r | 
V | V | V | V | V | 
V | V | V | V | F | 
V | F | F | F| V | 
V | F | F | V | F | 
F | F | V | F | V | 
F | F | V | V | F | 
F | F | F | F | V | 
F | F | F | V | F | 
Proposición empírica 
12. p ∧ q → ¬r 
p | q | r | p | ∧ | q | → | ¬r | 
V | V | V | V | V | V | V | F | 
V | V | F | V | V | V | V | V | 
V | F | V | V | F | F | V | F | 
V | F | F | V | F | F | F | V | 
F | V | V | F | F | V | V | F | 
F | V | F | F | F | V | F | V | 
F |F | V | F | F | F | V | F | 
F | F | F | F | F | F | F | V | 
Proposición empírica 
13. p ↔ ¬ p 
p | ↔ | ¬P | 
V | F | F | 
F | F | V | 
Contradicción 
14. ¬ (p ∧ ¬q) ∧ (p ∧ ¬q) 
p | q | ¬ | (p | ∧ | ¬q) | ∧ | (p | ∧ | ¬q) | 
V | V | V | V | F | F | F | V | F | F | 
V | F | F | V | V | V | F | V | V | V | 
F | V | V | F | F | F | F | F | F | F | 
F | F | V | F | F | V | F | F | F | V| 
Contradicción 
15. ¬¬ p ∨ ¬¬ q 
p | q | ¬ | ¬p | V | ¬ | ¬q | 
V | V | V | F | F | V | F | 
V | F | V | F | V | F | V | 
F | V | F | V | V | V | F | 
F | F | F | V | F | F | V | 
Proposición empírica 
16. p ∨q 
p | q | P v q | 
V | V | V | 
V | F | V | 
F | V | V | 
F | F | F | 
Proposición empírica 
17. p ↔ q v r 
p | ↔ | q | V | r | 
V | V | V | F | V | 
V | V | V | V...