Soluciones a ejercicios de formalización

1 p 26 [(p → q ) ⋀ (q → r)] → (p → r)

2 p 27 p → (q ⋁ r)

3 p⋀q 28 p→q

4 ¬p ⋀ q 29 (p ⋀ q ) → r

5 p 30 (p ⋁ q ) → r

6 p→q 31 (¬p ⋀ ¬q) → (r ⋁ s)

7 p→q 32 p → q (​ Pues en realidad lo que se está queriendo decir

es que “si piensas mal, entonces acertarás”)

8 p⋀q⋀r 33 p→q

9 p→q 34 p ⋁ q (aunque si entendemos que la paz es la negación

de la guerra podríamos formalizarlo como​ p ⋁ ¬p )

10 p→q 35 p↔q

11 ¬p (fíjate en que lo que en realidad se está queriendo decir 36 p ⋀ ¬q

es que “No saldré contigo”)

12 p 37 p → (q ⋀ r)

13 (p ⋀ ¬q) → r 38 p→q

14 p→q 39 p → (q ⋀ r)

15 Literalmente dice “ p ⋁ ¬q ”, pero puede entenderse como 40 p→q

“Si no me dices que te pasa, yo no sabré qué hacer y
entonces sería: “​ ¬p → ¬q ”.

16 p ⋁ ¬p 41 p → (q ⋀ r)

17 ¬p → ¬q 42 p↔q

18 (p → q ) ⋀ (¬p → ¬q) 43 p↔q

19 p⋁q⋁r 44 p

20 p→q 45 p

21 (p ⋀ q ) → r 46 p ⋁ q (pues hay más posibilidades, como ser bisexual)

22 p⋀q⋀r 47 p → ¬q

23 p → (q ⋁ ¬r) 48 p

24 p↔q 49 p↔q

25 p↔q