-
M: Maria estuda
-
P: Pedro trabalha
Uma tautologia é uma proposição que é sempre verdadeira, independentemente dos valores de verdade das proposições simples.
A) Se ¬M → P
Não é sempre verdadeira.
Se Maria não estuda (¬M é verdadeira) e Pedro não trabalha (P é falsa), a proposição fica falsa.
- Não é tautologia.
B) Se M → (M ∧ P)
Se Maria estuda mas Pedro não trabalha, então M é verdadeira e (M ∧ P) é falsa.
Logo a condicional será falsa.
- Não é tautologia.
C) Se (M ∨ P) → P
Se Maria estuda e Pedro não trabalha, então (M ∨ P) é verdadeira e P é falsa.
A condicional será falsa.
- Não é tautologia.
D) Se M → (M ∨ P)
Essa é sempre verdadeira.
Se Maria estuda (M verdadeira), então M ∨ P será necessariamente verdadeira (pois basta uma das partes ser verdadeira).
Se Maria não estuda (M falsa), a condicional já é considerada verdadeira (condicional com antecedente falso é verdadeira).
Portanto, é sempre verdadeira, independentemente dos valores de M e P.
- É uma tautologia.
E) Se (M ∧ P) → (M ∧ ¬P)
Se M e P forem verdadeiros, o antecedente é verdadeiro e o consequente é falso.
Logo a proposição será falsa.
- Não é tautologia.
Nenhum comentário:
Postar um comentário