TP. II – 7
Las proposiciones atómicas no tienen conectivas Interproposicionales, pero las
moleculares, reciben el nombre del nexo lógico principal que las estructura.
Decir cual es el signo principal de las siguientes formas proposicionales y cual el
nombre que recibe cada una de ellas. El ejercicio 1 ejemplifica el procedimiento..
1. [(pΛq)→ r] w p
w Disyunción exclusiva (aut).
2. (p Λ q) → (r w p)
→ Condicional, implicación…
3. p Λ [(q → r) w p]
Λ Conjunción.
4. ~ [(p Λ q) ≡ (p Λ q)]
~ No, no es cierto que.
5. [(p ↓ q) Λ (p → r)] ≡ ~ (q ≡ r)
≡ Bicondicional.
6. [(p / q) / (p / r)] ↓ (p Λ q)
↓ Ni, Negación Conjunta.
7. [(p → q) Λ ~p] → p
→ Condicional.
8. (p ↓ q)
↓ Negación Conjunta.
9. ~ (~p ↓ ~q)
~ No, no es cierto que.
1
10. (p → q) ≡ (~p v q)
≡ Bicondicional.
11. q w [(s → p) v r]
w Disyunción exclusiva.
12. [(q w s) ≡ p] v r
v Disyunción inclusiva.
13. ~p ≡ ~q
≡ Bicondicional.
14. (p / q / s / r) ↓ p
↓ Negación Conjunta.
15. (p Λ q) v [(p / s) w (q ↓ r)]
v Disyunción inclusiva.
16. (p ≡ q) → (r v t)
→ Condicional.
17. [(p → p) Λ p] ≡ p
≡ Bicondicional.
18. [(q v r v s) Λ ~s] → (q → r)
→ Condicional.
19. ~ [(p Λ q) v r]
~ No, no es cierto que.
2
20. (p v q) ↓ (r → s)
↓ Negación Conjunta.
21. (r ↓ q) / (t ≡ p)
/ Incompatibilidad.
22. (p → q) w (r → t)
w Disyunción exclusiva.
23. p Λ (r → t)
Λ Conjunción.
24. ~ (p → q)
~ No, no es cierto que
25. ~ p ≡ s
≡ Bicondicional.
3
0
