User contributions
6 October 2020
Dedução Natural para a Lógica de Primeira Ordem Clássica
no edit summary
+56
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
no edit summary
+56
Correção e completude para a Lógica de Primeira Ordem Clássica
no edit summary
+53
Quantificadores
no edit summary
+56
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
-310
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
-1
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+56
Semântica formal para a lógica de primeira ordem
no edit summary
-11
Semântica formal para a lógica de primeira ordem
no edit summary
+53
Semântica formal para a lógica de primeira ordem
no edit summary
+148
Acarretamento
no edit summary
-148
Acarretamento
no edit summary
-182
Semântica formal para a lógica proposicional
no edit summary
-11
Semântica formal para a lógica proposicional
no edit summary
+182
Correção e completude
no edit summary
+60
Definição recursiva da linguagem proposicional
no edit summary
+56
Fórmulas de primeira ordem
no edit summary
+56
Termos de primeira ordem
no edit summary
+56
Assinatura de primeira ordem
no edit summary
+56
Sintaxe da lógica de primeira ordem
no edit summary
+39
Correção e completude para a Lógica Proposicional Clássica
no edit summary
+56
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
+56
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
+56
Dedução Natural
no edit summary
+56
Semântica formal para a lógica de primeira ordem
no edit summary
+67
Poder expressivo dos operadores clássicos
no edit summary
+40
Semântica formal para a Lógica Proposicional Clássica
no edit summary
+56
Acarretamento
no edit summary
+56
Semântica formal para a lógica proposicional
no edit summary
+56
Relação de consequência
no edit summary
+4
Formalismos dedutivos
no edit summary
+33
Semântica formal para a lógica proposicional
no edit summary
+11
Modelos (lógica)
no edit summary
+56
Lógica proposicional
no edit summary
Modelos (lógica)
no edit summary
Modelos (lógica)
no edit summary
Lógica proposicional
no edit summary
+53
Lógica proposicional
no edit summary
-26
Formalismos dedutivos
no edit summary
+66
Formalismos dedutivos
no edit summary
+10
Formalismos dedutivos
no edit summary
+177
Formalismos dedutivos
no edit summary
-42
Formalismos dedutivos
no edit summary
+56
Sintaxe da lógica proposicional
no edit summary
+56
Sintaxe (lógica)
no edit summary
+53
Relação de consequência
no edit summary
Lógica proposicional
no edit summary
Lógica proposicional
no edit summary
Sintaxe da lógica proposicional
no edit summary
Sintaxe da lógica proposicional
Created page with "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i2..."