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...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Elektronisch Hoofdstuk |
| Taal: | Portugees |
| Gepubliceerd in: |
Marília, São Paulo, Brazil.
Editora Oficina Universitária
2023
|
| Onderwerpen: | |
| Online toegang: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|