Question

Considere as fórmulas a seguir:Considere as fórmulas a seguir:
a) p ^ q v r ^ s
b) (p ^ q) -> r
c) (¬p ^ p) <-> (p v q)
d) ((¬p ^ p) <-> (p v q)) ^ (¬p ^ p)
e) p v q ^ r ¬ r
f) v -> P Q <-> R -> v P Q ¬ S (notação polonesa)
g) -> ^ <-> P Q v -> P Q -> ¬ R R R (notação polonesa)
h) (¬¬¬p v p) v q
i) (q ^ ¬q) ^ (p v r)
j) (p v p) ¬q v q
Para cada fórmula, responda/faça o que segue:
- É uma fórmula válida?
- Construa a tabela verdade.
- Identifique as tautologias, contradições, contingências e fórmulas satisfatíveis
existentes em cada tabela.
- Indique quais consequências e/ou equivalências lógicas existem (se
houverem).

Answer 1

olá essa parte e bem fácil de se aprender primeiro você precisa decorar as regras dos conectivos lógicos e depois decorar a sequência para ópera las

Answer 2

Resposta:

Explicação:primeira coisa voce deve saber quantas preposições havera na formula depois ver o numero de linhas e fazer a tabela

^= E

V=ou

→ Se Então P^Q

↔Se somente se

primeira regra  resolver quando tem esses simbolos

1- ()parenteses

2- ¬ Simbolo de Negação (não)

3 -^  E

4 v

5 →

6-↔

outra regra vc vai ver quantas letras tem nas questoes pra vc saber o numero de linhas para fazer, a construção da tabela verdade