Please enable JavaScript.
Coggle requires JavaScript to display documents.
UNIDADE 2 CONTEUDO 3 (Programação Orientada a Objetos (Surgimento com a…
UNIDADE 2 CONTEUDO 3
-
Lógica de Primeira Ordem
-
Regras de Inferência
Modus Ponens: Se B, então A. B é verdade. Portanto, A é verdade.
-
Não basta digitar a lógica no Prolog (programa): tem que ter um formalismo, usar linguagem específica, para que o computador possa entender.
-
-
-