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 20 | older 20) (20 | 50 | 100 | 250 | 500)- 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...")
- 21:22, 25 August 2020 Jmarcos talk contribs deleted page DN para Lógica Clássica Proposicional (content was: "* 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 negação clássica (e o bottom clássico) [VIDEO] * Efeitos das regras clássicas da negação sobre os demais cone...", and the only contributor was "Jmarcos" (talk))
- 21:22, 25 August 2020 Jmarcos talk contribs created page DN para Lógica Proposicional Clássica (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...")
- 23:44, 23 August 2020 User account Patrickterrematte talk contribs was created by Admin talk contribs
- 23:32, 22 August 2020 Admin talk contribs created page Template:Category (Created blank page)
- 22:11, 22 August 2020 Admin talk contribs created page Graphs with Mermaid (Created page with " == Syntax == <pre> {{#mermaid:graph TD; A-->B; A-->C; B-->D; C-->D; click A "https://sandbox.semantic-mediawiki.org/wiki/A" click B "https://sandbox.semantic-m...") Tag: 2017 source edit
- 21:39, 22 August 2020 127.0.0.1 talk created page Property:Owl:differentFrom (Semantic MediaWiki default vocabulary import)
- 21:39, 22 August 2020 127.0.0.1 talk created page Property:Foaf:name (Semantic MediaWiki default vocabulary import)