User contributions
23 July 2021
Exercícios de Dedução Natural
Dedução Natural para a Lógica de Primeira Ordem Clássica
-11
Exercícios de Dedução Natural
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
m-11
Introdução Computacional à Lógica Matemática
no edit summary
m-43
Main Page
no edit summary
m+57
30 June 2021
23 August 2020
22 August 2020
Graphs with Mermaid
no edit summary
-50
Template:Category
Created blank page
Graphs with Mermaid
no edit summary
+19
Definição recursiva da linguagem proposicional
no edit summary
+58
Graphs with Mermaid
Result
-1
Graphs with Mermaid
Result
+32
Graphs with Mermaid
Result
-69
Graphs with Mermaid
no edit summary
-12
Graphs with Mermaid
no edit summary
+14
Graphs with Mermaid
no edit summary
-47
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..."
Definição recursiva da linguagem proposicional
no edit summary
-68
Definição recursiva da linguagem proposicional
no edit summary
+100
21 August 2020
Editing tricks
no edit summary
+6
Editing tricks
no edit summary
-6
Editing tricks
no edit summary
+4
Editing tricks
Images Editing tricks
+24
Editing tricks
no edit summary
+104
Editing tricks
no edit summary
+1
Editing tricks
no edit summary
+130
File:Negate-conditional-equivalent-with-truth-table.png
no edit summary
Editing tricks
no edit summary
+1
Editing tricks
Images Editing tricks
-3
Editing tricks
no edit summary
-21
Editing tricks
no edit summary
+11
Editing tricks
no edit summary
+547
Editing tricks
no edit summary
+49
Editing tricks
no edit summary
+89
Editing tricks
no edit summary
+77
Editing tricks
no edit summary
+22
Editing tricks
no edit summary
+33
20 August 2020
1 June 2013
Ferramenta Externa (IMS LTI)
no edit summary
-4
Ferramenta Externa (IMS LTI)
no edit summary
+4
Ferramenta Externa (IMS LTI)
no edit summary
+70
Ferramenta Externa (IMS LTI)
no edit summary
+164
File:Ferramenta-externa-2.png
MsUpload
File:Ferramenta-externa-1.png
MsUpload
File:Ferramenta-externa-3.png
MsUpload
File:Ferramenta-externa-4.png
MsUpload
27 May 2013
Uma lista de Ferramentas para o Ensino de Lógica
no edit summary
+2
Uma lista de Ferramentas para o Ensino de Lógica
Modal Logic Playground
+58