|
|
| Line 54: |
Line 54: |
| | | | |
| | ===Derivabilidade de regras=== | | ===Derivabilidade de regras=== |
| − | ==== <math>\mathrm{(DNE)}</math> a partir de DNint + (<math>\mathrm{\bot E_{cls}}</math>) ==== | + | ==== <math>\mathrm{(DNE)}</math> a partir de <math>\mathrm{DN_{int}}</math> + (<math>\mathrm{\bot E_{cls}}</math>) ==== |
| | + | <!---->{{#ev:youtube|0RiYJ5EinRE}} |
| | + | ==== <math>(\mathrm{\bot E_{cls}})</math> a partir de <math>\mathrm{DN_{int}}</math> + <math>\mathrm{(DNE)}</math> ==== |
| | <!---->{{#ev:youtube|0RiYJ5EinRE}} | | <!---->{{#ev:youtube|0RiYJ5EinRE}} |
| | | | |
Revision as of 22:48, 15 September 2020
Contents
- 1 Dedução Natural para a Lógica Proposicional Intuicionista
- 1.1 Derivabilidade de sequentes
- 1.1.1
- 1.1.2
- 1.1.3
- 1.1.4
- 1.1.5
- 1.1.6
- 1.1.7
- 1.1.8
- 1.1.9
- 1.1.10
- 1.1.11
- 1.1.12
- 1.1.13
- 1.1.14
- 1.1.15
- 1.1.16
- 1.1.17
- 1.1.18
- 1.1.19
- 1.2 Derivabilidade de regras
- 2 Dedução Natural para a Lógica Proposicional Clássica
- 3 Veja também
- 4 Links externos
Dedução Natural para a Lógica Proposicional Intuicionista
Derivabilidade de sequentes
Derivabilidade de regras
Dedução Natural para a Lógica Proposicional Clássica
Derivabilidade de sequentes
- Derivações na forma de árvores rotuladas com fórmulas
Terceiro Excluído / Tertium Non Datur: 
Tarefa: Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.
Derivabilidade de regras
a partir de 
+ (
)
a partir de +
Veja também
Links externos
