¬p (p → q) ⊢p ^ ¬ q
Outro exercício de dedução natural gostaria de saber como fazer
Ensino Superior ⇒ Dedução Natural
Moderador: [ Moderadores TTB ]
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última msg
-
- 0 Respostas
- 541 Exibições
-
Última msg por matrholambda
-
- 0 Respostas
- 881 Exibições
-
Última msg por EinsteinGenio
-
- 1 Respostas
- 846 Exibições
-
Última msg por NigrumCibum
-
- 1 Respostas
- 231 Exibições
-
Última msg por LucasDN684
-
- 1 Respostas
- 522 Exibições
-
Última msg por Carlosft57