All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Logic Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 13:43, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a lógica de primeira ordem (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 13:12, 6 October 2020 Jmarcos talk contribs deleted page Semântica formal para a Lógica Proposicional (content was: "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista [AGUARDE!] == Para reflexão == * == Veja também == * Correção e completude * Introdução Computacional à Lógica Matemática == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 13:08, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a lógica proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''Teoria das Demonstrações''' (EN: ''Proof Theory'')? == Veja também == * Formalismos dedutivos * Introdução Computacional à Lógica Matemática == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 13:00, 6 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a lógica proposicional (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''...")
- 13:00, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica Proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''Teoria das Demonstrações''' (EN: ''Proof Theory'')? == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 12:57, 6 October 2020 Jmarcos talk contribs created page 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...")
- 12:57, 6 October 2020 Jmarcos talk contribs deleted page Sintaxe da Lógica Proposicional (content was: "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i25o}}</p> == Para reflexão == * == Veja também == * Definição recursiva da linguagem proposicional * Sintaxe da Lógica de Primeira Ordem == Links externos == * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]")
- 12:55, 6 October 2020 Jmarcos talk contribs created page Lógica de primeira ordem (Created page with "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexã...")
- 12:55, 6 October 2020 Jmarcos talk contribs deleted page Lógica de Primeira Ordem (content was: "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexão == * == Veja também == * == Links externos == * [https://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de primeira ordem]", and the only contributor was "Jmarcos" (talk))
- 12:54, 6 October 2020 Jmarcos talk contribs created page Lógica proposicional (Created page with "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que...")
- 12:53, 6 October 2020 Jmarcos talk contribs deleted page Lógica Proposicional (content was: "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que consequências tem o fato de que as fórmulas atômicas da lógica proposicional ''não possuem estrutura interna''? == Veja também == * == Links externos == * [https://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional Lógica proposicional]")
- 12:52, 6 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a lógica de primeira ordem (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos ==...")
- 12:51, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica de Primeira Ordem (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 12:50, 6 October 2020 Jmarcos talk contribs created page Sintaxe da lógica de primeira ordem (Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==...")
- 12:49, 6 October 2020 Jmarcos talk contribs deleted page Sintaxe da Lógica de Primeira Ordem (content was: "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * == Veja também == * Sistema dedutivo para a Lógica de Primeira Ordem * Semântica formal para a Lógica de Primeira Ordem * Sintaxe da Lógica Proposicional == Links externos == * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]")
- 12:47, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica de primeira ordem (Created page with "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja ta...")
- 12:46, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica proposicional (Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==...")
- 12:45, 6 October 2020 Jmarcos talk contribs deleted page Semântica formal para a Lógica de Primeira Ordem (content was: "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja também == * Correção e completude == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 21:58, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Clássica (criando verbete)
- 21:53, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Intuicionista (criando verbete)
- 21:48, 5 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica de Primeira Ordem (criando verbete)
- 21:44, 5 October 2020 Jmarcos talk contribs created page Correção e completude para a Lógica de Primeira Ordem Clássica (criando verbete)
- 21:43, 5 October 2020 Jmarcos talk contribs created page Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
- 12:58, 26 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem (criando página)
- 02:59, 26 September 2020 Jmarcos talk contribs created page Quantificadores (criando página)
- 20:01, 16 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
- 20:18, 3 September 2020 Jmarcos talk contribs created page Correção e completude para a Lógica Proposicional Clássica (criando verbete)
- 01:58, 2 September 2020 Jmarcos talk contribs created page Exercícios de semântica formal para a Lógica Proposicional Clássica (esqueleto da página)
- 01:57, 2 September 2020 Jmarcos talk contribs created page Poder expressivo dos operadores clássicos (criando boneco do verbete para o futuro)
- 01:47, 2 September 2020 Jmarcos talk contribs created page Correção e completude (esqueleto do verbete)
- 20:31, 30 August 2020 Jmarcos talk contribs created page Acarretamento (Created page with "* == Para reflexão == * == Veja também == * == Links externos == *")
- 20:30, 30 August 2020 Jmarcos talk contribs created page 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...")
- 20:07, 30 August 2020 Jmarcos talk contribs created page Semântica formal para a Lógica Proposicional (Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==...")
- 16:22, 28 August 2020 Jmarcos talk contribs deleted page DN para Lógica Proposicional Clássica (content was: "(Abreviatura: DN = Dedução Natural) * Regras para a conjunção, a disjunção, a implicação intuicionista, o bottom, o top, e a negação intuicionista: ver DN para Lógica Proposicional Intuicionista * Regras para a negação clássica (e o bottom clássico) [VIDEO] * Efeitos das regras clássicas da negação sobre os demais conectivos [VIDEO] == Para reflexão =...", and the only contributor was "Jmarcos" (talk))
- 16:22, 28 August 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica Proposicional Clássica (criando página)
- 16:21, 28 August 2020 Jmarcos talk contribs deleted page DN para Lógica Proposicional Intuicionista (content was: "(Abreviatura: DN = Dedução Natural) * Regras para a conjunção [VIDEO] * Regras para a implicação (intuicionista) [VIDEO] * Regras para a disjunção [VIDEO] * Regras para o bottom e para o top [VIDEO] * Regras para a negação intuicionista (primitivas versus derivadas) [VIDEO] * Regras para a bi-implicação intuicionista (primitivas versus derivadas) [VIDEO] == Para...", and the only contributor was "Jmarcos" (talk))
- 16:21, 28 August 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica Proposicional Intuicionista (criando página)
- 16:15, 28 August 2020 Jmarcos talk contribs deleted page Exercícios de DN (content was: "(Abreviatura: DN = Dedução Natural) == Dedução Natural para a Lógica Proposicional Intuicionista == [AGUARDE!] == Dedução Natural para a Lógica Proposicional Clássica == * ''Derivações na forma de árvores rotuladas com fórmulas'' # Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math></p><!-- --><p>{{#ev:youtube|kNyjuCFUzC8}}</...", and the only contributor was "Jmarcos" (talk))
- 16:14, 28 August 2020 Jmarcos talk contribs created page Exercícios de Dedução Natural (criando página)
- 14:27, 28 August 2020 Jmarcos talk contribs created page Relação de consequência (criando página)
- 14:25, 28 August 2020 Jmarcos talk contribs deleted page Relações de Consequência (content was: "[AGUARDE!] == Para reflexão == * == Veja também == * == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 14:25, 28 August 2020 Jmarcos talk contribs created page Relações de Consequência (criando página)
- 22:14, 26 August 2020 Jmarcos talk contribs created page Fórmulas proposicionais (redirect simples) Tag: New redirect
- 22:09, 26 August 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica Proposicional Clássica (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 22:08, 26 August 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica Proposicional (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos ==...")
- 22:04, 26 August 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica Clássica Proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
- 22:03, 26 August 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica Proposicional Clássica (criando verbete)
- 17:54, 26 August 2020 Jmarcos talk contribs created page Estratégias de demonstração (criando página)
- 17:30, 26 August 2020 Jmarcos talk contribs created page Exercícios de DN (criando página)
- 21:23, 25 August 2020 Jmarcos talk contribs created page DN para Lógica Proposicional Intuicionista (Created page with "* Regras para a conjunção [VIDEO] * Regras para a implicação (intuicionista) [VIDEO] * Regras para a disjunção [VIDEO] * Regras para o bottom e para o top [VIDEO] * Regr...")
