Lógica

1. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. Porconsiguiente, María no se queda en Venecia.
Juan Japón: p
María Venecia: q
Rosa Luxemburgo: r
((q -> p) & (r v ¬p)) & (¬q v ¬r) -> ¬q
( ( q -> p ) & ( r v ¬ p ) ) & ( ¬ q v ¬r ) -> ¬ q
V V V V V V F V F F V F F V V F V
V V V F F F F V F F V V V F V F V
F V V V V V F V V V F V F V V V F
F V V F F F F V F V F V V F V VF
V F F F V V V F F F V F F V V F V
V F F F F V V F F F V V V F V F V
F V F V V V V F V V F V F V V V F
F V F V F V V F V V F V V F V V FTAUTOLOGÍA
2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que laTierra, Júpiter es mayor que Plutón.
Luna mayor: p
Tierra mayor: q
Júpiter mayor: r
(p -> q) & (q -> r) -> (p -> r)
( p -> q ) & ( q -> r ) -> ( p -> r )
V V V V V V V V V V VV V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F VV V F V F V F V F
TAUTOLOGÍA
3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre que me entra un hambre atroz, viajo.
Viajo: pMareo: q
Hambre: r
((p -> q) & (q -> r)) ->(r -> p)
( ( p -> q ) & ( q -> r ) ) -> ( r -> p )
V V V V V V V V V V V
V V V F V F F V F V V
V F F F F V V V VV V
V F F F F V F V F V V
F V V V V V V F V F F
F V V F V F F V F V F
F V F V F V V F V F F
F V F V F V F V F V F
INDETERMINACIÓN