Lógica formal da lógica aristotélica ao cálculo sentencial bivalente
The aim of the work is to address the central themes of Classical Logic, from Aristotle's syllogistic to the calculation of first-order predicates. Emphasis will be placed on the construction of formally valid structures and on the science of validating arguments. For that, the following plan w...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | Portuguese |
| Published: |
Marília, São Paulo, Brazil.
Editora Oficina Universitária
2023
|
| Subjects: | |
| Online Access: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|