|
|
| Line 44: |
Line 44: |
| | ===Derivabilidade de regras=== | | ===Derivabilidade de regras=== |
| | | | |
| − | Nenhum exemplo ainda para esta seção.
| + | ==== <math>\mathrm{(DNE)}</math> a partir de <math>\mathrm{DN_{int}}</math> + (<math>\mathrm{\bot E_{cls}}</math>) ==== |
| | + | <!---->{{#ev:youtube|0RiYJ5EinRE|||||start=312}} |
| | + | ==== <math>(\mathrm{\bot E_{cls}})</math> a partir de <math>\mathrm{DN_{int}}</math> + <math>\mathrm{(DNE)}</math> ==== |
| | + | <!---->{{#ev:youtube|0RiYJ5EinRE|||||start=402}} |
| | | | |
| | ==Dedução Natural para a Lógica Proposicional Clássica== | | ==Dedução Natural para a Lógica Proposicional Clássica== |
| Line 62: |
Line 65: |
| | | | |
| | ===Derivabilidade de regras=== | | ===Derivabilidade de regras=== |
| − | ==== <math>\mathrm{(DNE)}</math> a partir de <math>\mathrm{DN_{int}}</math> + (<math>\mathrm{\bot E_{cls}}</math>) ====
| + | |
| − | <!---->{{#ev:youtube|0RiYJ5EinRE|||||start=312}}
| + | Nenhum exemplo ainda para esta seção. |
| − | ==== <math>(\mathrm{\bot E_{cls}})</math> a partir de <math>\mathrm{DN_{int}}</math> + <math>\mathrm{(DNE)}</math> ====
| |
| − | <!---->{{#ev:youtube|0RiYJ5EinRE|||||start=402}}
| |
| | | | |
| | ==Veja também== | | ==Veja também== |
Revision as of 02:53, 16 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
a partir de 
+ (
)
a partir de +
Dedução Natural para a Lógica Proposicional Clássica
Derivabilidade de sequentes
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
Nenhum exemplo ainda para esta seção.
Veja também
Links externos
