User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 16:58, 1 March 2021 diff hist +63‎ m Dedução Natural para a Lógica Proposicional Intuicionista ‎ adding links current Tag: 2017 source edit
• 19:15, 28 October 2020 diff hist -2‎ m Semântica formal para a Lógica Proposicional Clássica ‎ current Tag: 2017 source edit
• 19:13, 28 October 2020 diff hist +260‎ m Semântica formal para a Lógica Proposicional Clássica ‎ Tag: 2017 source edit
• 19:07, 28 October 2020 diff hist +160‎ m Semântica formal para a Lógica Proposicional Clássica ‎ Tag: 2017 source edit
• 15:45, 22 October 2020 diff hist -24‎ m Semântica formal para a Lógica de Primeira Ordem Clássica ‎ current Tag: 2017 source edit
• 15:37, 22 October 2020 diff hist +32‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 15:34, 22 October 2020 diff hist -2‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 15:24, 22 October 2020 diff hist +162‎ m Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 02:14, 16 October 2020 diff hist +20‎ Correção e completude para a Lógica de Primeira Ordem Clássica ‎ vídeo adicionado current Tag: 2017 source edit
• 15:57, 14 October 2020 diff hist +20‎ Dedução Natural para a Lógica de Primeira Ordem Intuicionista ‎ vídeo adicionado Tag: 2017 source edit
• 23:14, 13 October 2020 diff hist +5‎ m Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica ‎ →‎Validade de sequentes em uma interpretação fixa Tag: 2017 source edit
• 23:13, 13 October 2020 diff hist +45‎ m Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica ‎ →‎Validade de sequentes em uma interpretação fixa Tag: 2017 source edit
• 23:09, 13 October 2020 diff hist +20‎ m Dedução Natural para a Lógica de Primeira Ordem Clássica ‎ vídeo adicionado Tag: 2017 source edit
• 23:42, 12 October 2020 diff hist +27‎ m Dedução Natural ‎ →‎Para reflexão Tag: 2017 source edit
• 23:27, 12 October 2020 diff hist +163‎ m Introdução Computacional à Lógica Matemática ‎ Tag: 2017 source edit
• 17:58, 12 October 2020 diff hist +2‎ m Correção e completude ‎ current Tag: 2017 source edit
• 10:09, 12 October 2020 diff hist +20‎ Dedução Natural para a Lógica de Primeira Ordem Intuicionista ‎ vídeo adicionado Tag: 2017 source edit
• 21:25, 10 October 2020 diff hist +324‎ m Exercícios de Dedução Natural ‎ →‎Para reflexão Tag: 2017 source edit
• 16:58, 10 October 2020 diff hist +20‎ Dedução Natural para a Lógica de Primeira Ordem Intuicionista ‎ vídeo adicionado Tag: 2017 source edit
• 21:11, 8 October 2020 diff hist +66‎ Sintaxe da lógica de primeira ordem ‎ current Tag: 2017 source edit
• 21:09, 8 October 2020 diff hist +272‎ Sintaxe da lógica de primeira ordem ‎ Tag: 2017 source edit
• 17:59, 7 October 2020 diff hist -30‎ Lógica de primeira ordem ‎ current Tag: 2017 source edit
• 17:53, 7 October 2020 diff hist +188‎ Dedução Natural ‎ →‎Para reflexão Tag: 2017 source edit
• 17:34, 7 October 2020 diff hist +1‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 17:19, 7 October 2020 diff hist +14‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 17:17, 7 October 2020 diff hist +49‎ Semântica formal para a lógica de primeira ordem ‎ Tag: 2017 source edit
• 17:10, 7 October 2020 diff hist +17‎ Acarretamento ‎ current Tag: 2017 source edit
• 17:10, 7 October 2020 diff hist +180‎ Acarretamento ‎ Tag: 2017 source edit
• 15:36, 7 October 2020 diff hist +20‎ Acarretamento ‎ Tag: 2017 source edit
• 19:28, 6 October 2020 diff hist +193‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 16:59, 6 October 2020 diff hist 0‎ Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica ‎ →‎(\forall x : P)\varphi ◁▷ \neg(\exists x : P) \neg\varphi Tag: 2017 source edit
• 16:42, 6 October 2020 diff hist +8‎ Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 16:41, 6 October 2020 diff hist -26‎ Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 16:37, 6 October 2020 diff hist +14‎ Semântica formal para a lógica de primeira ordem ‎ Tag: 2017 source edit
• 16:35, 6 October 2020 diff hist +132‎ Semântica formal para a lógica de primeira ordem ‎ Tag: 2017 source edit
• 15:17, 6 October 2020 diff hist +2‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 15:16, 6 October 2020 diff hist +6‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 15:15, 6 October 2020 diff hist +159‎ Semântica formal para a Lógica de Primeira Ordem Clássica ‎ Tag: 2017 source edit
• 14:59, 6 October 2020 diff hist -44‎ Quantificadores ‎ Tag: 2017 source edit
• 14:54, 6 October 2020 diff hist -10‎ Acarretamento ‎ Tag: 2017 source edit
• 14:16, 6 October 2020 diff hist +9‎ Semântica formal para a Lógica Proposicional Clássica ‎ Tag: 2017 source edit
• 14:08, 6 October 2020 diff hist +8‎ Dedução Natural ‎ Tag: 2017 source edit
• 14:08, 6 October 2020 diff hist +1‎ Dedução Natural ‎ Tag: 2017 source edit
• 14:05, 6 October 2020 diff hist +4‎ Acarretamento ‎ Tag: 2017 source edit
• 13:51, 6 October 2020 diff hist -9‎ Acarretamento ‎ Tag: 2017 source edit
• 13:48, 6 October 2020 diff hist +53‎ Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica ‎ →‎Veja também Tag: 2017 source edit
• 13:47, 6 October 2020 diff hist +56‎ Exercícios de semântica formal para a Lógica Proposicional Clássica ‎ current Tag: 2017 source edit
• 13:47, 6 October 2020 diff hist +2‎ Exercícios de Dedução Natural ‎ Tag: 2017 source edit
• 13:46, 6 October 2020 diff hist +56‎ Exercícios de Dedução Natural ‎ Tag: 2017 source edit
• 13:45, 6 October 2020 diff hist +56‎ Estratégias de demonstração ‎ current Tag: 2017 source edit

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)