User contributions
Jump to navigation
Jump to search
- 13:44, 6 October 2020 diff hist +56 Dedução Natural para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:44, 6 October 2020 diff hist +56 Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 13:44, 6 October 2020 diff hist +53 Correção e completude para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:42, 6 October 2020 diff hist +56 Quantificadores Tag: 2017 source edit
- 13:41, 6 October 2020 diff hist -310 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:39, 6 October 2020 diff hist -1 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:39, 6 October 2020 diff hist +56 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:38, 6 October 2020 diff hist -11 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:38, 6 October 2020 diff hist +53 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:37, 6 October 2020 diff hist +148 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:37, 6 October 2020 diff hist -148 Acarretamento Tag: 2017 source edit
- 13:36, 6 October 2020 diff hist -182 Acarretamento Tag: 2017 source edit
- 13:36, 6 October 2020 diff hist -11 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:35, 6 October 2020 diff hist +182 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:28, 6 October 2020 diff hist +60 Correção e completude Tag: 2017 source edit
- 13:28, 6 October 2020 diff hist +56 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 13:26, 6 October 2020 diff hist +56 Fórmulas de primeira ordem current Tag: 2017 source edit
- 13:25, 6 October 2020 diff hist +56 Termos de primeira ordem current Tag: 2017 source edit
- 13:25, 6 October 2020 diff hist +56 Assinatura de primeira ordem current Tag: 2017 source edit
- 13:24, 6 October 2020 diff hist +39 Sintaxe da lógica de primeira ordem Tag: 2017 source edit
- 13:22, 6 October 2020 diff hist +56 Correção e completude para a Lógica Proposicional Clássica current Tag: 2017 source edit
- 13:22, 6 October 2020 diff hist +56 Dedução Natural para a Lógica Proposicional Clássica current Tag: 2017 source edit
- 13:21, 6 October 2020 diff hist +56 Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 13:20, 6 October 2020 diff hist +56 Dedução Natural Tag: 2017 source edit
- 13:20, 6 October 2020 diff hist +67 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:19, 6 October 2020 diff hist +40 Poder expressivo dos operadores clássicos current Tag: 2017 source edit
- 13:18, 6 October 2020 diff hist +56 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:17, 6 October 2020 diff hist +56 Acarretamento Tag: 2017 source edit
- 13:17, 6 October 2020 diff hist +56 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:16, 6 October 2020 diff hist +4 Relação de consequência Tag: 2017 source edit
- 13:15, 6 October 2020 diff hist +33 Formalismos dedutivos Tag: 2017 source edit
- 13:14, 6 October 2020 diff hist +11 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:14, 6 October 2020 diff hist +56 Modelos (lógica) Tag: 2017 source edit
- 13:14, 6 October 2020 diff hist 0 Lógica proposicional current Tag: 2017 source edit
- 13:13, 6 October 2020 diff hist 0 Modelos (lógica) Tag: 2017 source edit
- 13:13, 6 October 2020 diff hist 0 Modelos (lógica) Tag: 2017 source edit
- 13:11, 6 October 2020 diff hist +53 Lógica proposicional Tag: 2017 source edit
- 13:10, 6 October 2020 diff hist -26 Lógica proposicional Tag: 2017 source edit
- 13:09, 6 October 2020 diff hist +66 Formalismos dedutivos Tag: 2017 source edit
- 13:08, 6 October 2020 diff hist +10 Formalismos dedutivos Tag: 2017 source edit
- 13:07, 6 October 2020 diff hist +177 Formalismos dedutivos Tag: 2017 source edit
- 13:04, 6 October 2020 diff hist -42 Formalismos dedutivos Tag: 2017 source edit
- 13:02, 6 October 2020 diff hist +56 Formalismos dedutivos Tag: 2017 source edit
- 13:02, 6 October 2020 diff hist +56 Sintaxe da lógica proposicional Tag: 2017 source edit
- 13:02, 6 October 2020 diff hist +53 Sintaxe (lógica) current Tag: 2017 source edit
- 13:01, 6 October 2020 diff hist 0 Relação de consequência Tag: 2017 source edit
- 13:00, 6 October 2020 diff hist 0 Lógica proposicional Tag: 2017 source edit
- 12:59, 6 October 2020 diff hist 0 Lógica proposicional Tag: 2017 source edit
- 12:58, 6 October 2020 diff hist 0 Sintaxe da lógica proposicional Tag: 2017 source edit
- 12:57, 6 October 2020 diff hist +429 N 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..."
