User contributions
Jump to navigation
Jump to search
- 21:19, 3 September 2020 diff hist +156 m Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 21:17, 3 September 2020 diff hist +25 m Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 21:16, 3 September 2020 diff hist +38 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:09, 3 September 2020 diff hist +42 m Relação de consequência Tag: 2017 source edit
- 21:08, 3 September 2020 diff hist +29 m Formalismos dedutivos Tag: 2017 source edit
- 21:08, 3 September 2020 diff hist +382 m Formalismos dedutivos Tag: 2017 source edit
- 21:03, 3 September 2020 diff hist +56 Acarretamento Tag: 2017 source edit
- 21:02, 3 September 2020 diff hist +67 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:00, 3 September 2020 diff hist +61 m Dedução Natural Tag: 2017 source edit
- 20:59, 3 September 2020 diff hist +112 m Dedução Natural Tag: 2017 source edit
- 20:58, 3 September 2020 diff hist +91 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:56, 3 September 2020 diff hist +117 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 20:55, 3 September 2020 diff hist +15 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:54, 3 September 2020 diff hist +28 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:54, 3 September 2020 diff hist +28 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:52, 3 September 2020 diff hist +14 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 20:51, 3 September 2020 diff hist +16 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 20:50, 3 September 2020 diff hist +188 m Correção e completude para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:21, 3 September 2020 diff hist -2 m Relação de consequência Tag: 2017 source edit
- 20:20, 3 September 2020 diff hist +32 m Relação de consequência Tag: 2017 source edit
- 20:20, 3 September 2020 diff hist +30 m Dedução Natural Tag: 2017 source edit
- 20:18, 3 September 2020 diff hist +205 N Correção e completude para a Lógica Proposicional Clássica criando verbete
- 20:17, 3 September 2020 diff hist -61 m Correção e completude Tag: 2017 source edit
- 23:19, 2 September 2020 diff hist +176 m Correção e completude Tag: 2017 source edit
- 23:16, 2 September 2020 diff hist +128 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 23:13, 2 September 2020 diff hist -38 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 23:12, 2 September 2020 diff hist +127 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 02:00, 2 September 2020 diff hist +61 m Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:58, 2 September 2020 diff hist +77 N Exercícios de semântica formal para a Lógica Proposicional Clássica esqueleto da página
- 01:57, 2 September 2020 diff hist -70 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:57, 2 September 2020 diff hist +13 Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 01:57, 2 September 2020 diff hist +319 N Poder expressivo dos operadores clássicos criando boneco do verbete para o futuro
- 01:54, 2 September 2020 diff hist +78 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:53, 2 September 2020 diff hist -39 Exercícios de Dedução Natural Tag: 2017 source edit
- 01:47, 2 September 2020 diff hist +77 N Correção e completude esqueleto do verbete
- 01:46, 2 September 2020 diff hist +30 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:44, 2 September 2020 diff hist +29 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:42, 2 September 2020 diff hist +152 m Acarretamento Tag: 2017 source edit
- 00:48, 1 September 2020 diff hist +193 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 00:44, 1 September 2020 diff hist +74 m Acarretamento Tag: 2017 source edit
- 00:41, 1 September 2020 diff hist +67 m Acarretamento Tag: 2017 source edit
- 00:40, 1 September 2020 diff hist +212 m Acarretamento Tag: 2017 source edit
- 23:53, 31 August 2020 diff hist +45 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:12, 31 August 2020 diff hist +8 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:11, 31 August 2020 diff hist +68 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:36, 31 August 2020 diff hist +4 Modelos (lógica) Tag: 2017 source edit
- 01:30, 31 August 2020 diff hist +73 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:01, 30 August 2020 diff hist -142 m Modelos (lógica) Tag: 2017 source edit
- 20:31, 30 August 2020 diff hist +77 N Acarretamento Created page with "* == Para reflexão == * == Veja também == * == Links externos == *"
- 20:30, 30 August 2020 diff hist +205 N Semântica formal para a Lógica Proposicional Clássica Created page with "* == Para reflexão == * == Veja também == * Acarretamento (consequência semântica, entailment) == Links externos == * [https://pt.wikipedia.org/wiki/%C3%81lgeb..."
