Difference between revisions of "Semântica formal para a lógica de primeira ordem"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| Line 3: | Line 3: | ||
* Da '''validade''' global ''de um sequente'', e da validade de um sequente em uma estrutura de interpretação específica<!-- | * Da '''validade''' global ''de um sequente'', e da validade de um sequente em uma estrutura de interpretação específica<!-- | ||
| − | --><p> | + | --><p>{{#ev:youtube|8LKRvIX3KkY|||||start=145&end=258&loop=1}}</p> |
== Para reflexão == | == Para reflexão == | ||
Revision as of 17:17, 7 October 2020
- Da verdade e da falsidade de fórmulas em uma estrutura de interpretação específica
- Da validade global de um sequente, e da validade de um sequente em uma estrutura de interpretação específica
Para reflexão
Veja também
- Semântica formal para a lógica proposicional
- Semântica formal para a Lógica de Primeira Ordem Clássica
- Semântica formal para a Lógica de Primeira Ordem Intuicionista
- Acarretamento
- Correção e completude
- Introdução Computacional à Lógica Matemática
