Para Todxs Natal
Para Todxs: Natal é um livro didático completo sobre lógica formal. Ele aborda noções fundamentais como consequência lógica e validade de argumentos, a sintaxe da lógica proposicional verofuncional (LVF) e a semântica de tabelas-verdade, a sintaxe da lógica de predicados de primeira ordem (LPO) com...
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | Portuguese |
| Published: |
[Place of publication not identified]
Grupo de Estudos em Lógica da UFRN
2022.
|
| Series: | Open textbook library.
|
| Subjects: | |
| Online Access: | Access online version |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- I Introdução Informal à Lógica
- II Lógica Verofuncional – LVF
- III Tabelas de Verdade
- IV Lógica de Primeira Ordem – LPO
- V Interpretações
- VI Dedução Natural para a LVF
- VII Dedução Natural para a LPO
- VIII Lógica Modal
- IX Metateoria