Simplificar proposiciones utilizando tablas de verdad:
Si el tiempo está agradable y el cielo despejado, saldremos a navegar y nos daremos un baño. Es falso que el cielo no esté despejado o que nos bañemos. Por lo tanto el tiempo no está agradable.
Respuestas
Simplificar proposiciones utilizando tablas de verdad:
Definición de preposiciones simples:
p: el tiempo está agradable
q: el cielo despejado
r: saldremos a navegar
s: nos daremos un baño
Lenguaje natural de la exposición formal
p∧q → r∧s: Si el tiempo está agradable y el cielo despejado, saldremos a navegar y nos daremos un baño
¬q∨s →¬p:El cielo no esté despejado o que nos bañemos. Por lo tanto el tiempo no está agradable.
Generar Tabla de la Verdad.
p q r s (p^q) (r^s) ((p^q)→(r^s))
F F F F F F V
F F F V F F V
F F V F F F V
F F V V F V V
F V F F F F V
F V F V F F V
F V V F F F V
F V V V F V V
V F F F F F V
V F F V F F V
V F V F F F V
V F V V F V V
V V F F V F F
V V F V V F F
V V V F V F F
V V V V V V V
q s p (~q) ((~q)vs) (~p) (((~q)vs)→(~p))
F F F V V V V
F F V V V F F
F V F V V V V
F V V V V F F
V F F F F V V
V F V F F F V
V V F F V V V
V V V F V F F