Question

Determine fórmulas Φ1, Φ2 e Φ3 formadas pelas proposições p e q que satisfazem as seguintes restrições.

* |= Φ3 ∨ p. * Φ1 possui apenas operadores de implicação e negação.
* |= Φ2 ∧ q é falsificável. * Φ2 não possui operadores de disjunção.
* |= Φ1, q |= ⊥. * Φ3 não possui operadores de implicação.
* Φ2 ∨ Φ3 é tautologia. * Φ1 tem árvore sintática com pelo menos 10 nodos.
* |= Φ1 → Φ2. * Φ2 tem árvore sintática com pelo menos 8 nodos.
* Φ1 é contingente. * Φ3 tem árvore sintática com pelo menos 6 nodos.

Para Φ1, Φ2 e Φ3 apresente fórmulas, árvore sintáticas e tabelas-verdade. Fórmulas com estrutura repetitiva receberão baixa avaliação.

Answer 1

Resposta:

não sei mas deve ser legal

Explicação:

não sei mas deve ser legal