Logica

Prueba de Lógica

I) Verifique si son proposiciones, y si lo son simbolícelas
Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.
p: Ir devacaciones
q: No hscer nada
r: Tener tiempo
s: Ir a trabajar
( r ˄ ¬s ) → ( p ˅ q )

Si tuvieran que justificarse ciertos hechos por su enorme contradicción entonces, di estos hechos soninofensivos y respetan a todo ser viviente y al medio ambiente, no habría ningún problema. Pero si los hechos son barbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habría quedejar de justificarlos o no podríamos considerarnos dignos de nuestro tiempo

p: justificar hechos por su tradición.
q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso conel medio ambiente.
t: tener problemas.
¬q: ser bárbaro. (= no ser inofensivo)
u: ser digno de nuestro tiempo.
p → [ ( q ˄ r ˄ s) → ¬t ] ˄ [ (¬q ˅ ¬( r ˅ s ) → ( ¬p ˅ ¬u ) ]


Si latormenta continúa o anochece, nos quedaremos a cenar o a dormir. Si nos
quedamos a cenar o a dormir, no iremos mañana al concierto. Pero sí iremos
mañana al concierto. Así pues, la tormenta no continúa.{ [ ( p ∨ q) → ( r ∨ s ) ] ∧ [ ( r ∨ s ) → ¬ t ] ∧ t } → ¬ p


II) Utilizando tablas de verdad compruebe si son Tautologías, contingencia o contradicción.

{p→[ q ˄ ¬ p]} → ¬ p
p
q
¬ p
¬ qq˄ ¬ p
p→q˄¬ p
{p→[ q ˄ ¬ p]} → ¬ p

V
V
F
F
F
F
V

V
F
F
V
F
F
V

F
V
V
F
F
V
V

F
F
V
V
F
V
V



[p ˅ (q↔r) ↔(¬[p→(r˄q)] ˅ [(q˄¬r)→p])
p
q
r
(q↔r)p˅(q↔r)
(r˄q)
¬[p→(r˄q)]
¬r
q˄¬r
(q˄¬r)→p
V
V
V
V
V
V
F
F
V
V
V
V
F
F
V
F
V
V
F
V
V
F
V
F
V
F
V
F
F
V
V
F
F
F
V
F
V
V
F
V
F
V
V
V
V
V
F
F
V
F
F
V
F
FF
F
F
V
F
V
F
F
V
F
F
F
F
F
F
V
F
F
F
f
F
F
F
V
F
V











(¬[p→(r˄q)] ˅ [(q˄¬r)→p])
[p ˅ (q↔r) ↔(¬[p→(r˄q)] ˅ [(q˄¬r)→p])

V

V

V

V

F...