Please enable JavaScript.
Coggle requires JavaScript to display documents.
Provas - Coggle Diagram
Provas
Prova Interativa
Obrigação de prova não provada, mas você está convencido de que ela é verdadeira.
-
-
-
-
Usuário é responsável por adicionar informações ou transformar predicados para completar o processo.
Obrigações de Prova
-
-
-
Não Provada
A obrigação de prova é falsa ou a ferramenta de prova não é inteligente/poderosa o sufiente para provar sozinha.
-
-
Prova Automática
Processo rápido, na maioria das vezes.
-
-
-
-