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...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Fformat: | Electronig eLyfr |
| Iaith: | Portiwgaleg |
| Cyhoeddwyd: |
[Place of publication not identified]
Grupo de Estudos em Lógica da UFRN
2022.
|
| Cyfres: | Open textbook library.
|
| Pynciau: | |
| Mynediad Ar-lein: | Access online version |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Tabl Cynhwysion:
- 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