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.
Anexos:
Soluções para a tarefa
Respondido por
0
Resposta:
não sei mas deve ser legal
Explicação:
não sei mas deve ser legal
Perguntas interessantes
Português,
5 meses atrás
História,
5 meses atrás
Matemática,
6 meses atrás
Matemática,
6 meses atrás
Matemática,
10 meses atrás
História,
10 meses atrás
Português,
10 meses atrás