Difference between revisions of "Dedução Natural para a Lógica de Primeira Ordem Intuicionista"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
m Tag: 2017 source edit |
||
| Line 8: | Line 8: | ||
== Para reflexão == | == Para reflexão == | ||
| − | * | + | * Você seria capaz de propor regras primitivas para os ''quantificadores relativizados''? E de derivar a partir destas últimas as regras dos quantificadores usuais? |
| + | * Você seria capaz de propor regras primitivas para os ''quantificadores de contagem''? | ||
== Veja também == | == Veja também == | ||
Revision as of 12:35, 6 October 2020
- Regras para a quantificação universal intuicionista
[VIDEO]
- Regras para a quantificação existencial intuicionista
[VIDEO]
- Regras para a igualdade
[VIDEO]
Para reflexão
- Você seria capaz de propor regras primitivas para os quantificadores relativizados? E de derivar a partir destas últimas as regras dos quantificadores usuais?
- Você seria capaz de propor regras primitivas para os quantificadores de contagem?
