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: | Soares, Edvaldo (auth) |
---|---|
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!
|
Similar Items
-
Lógica formal y argumentación como disciplinas complementarias
by: Palau, Gladys
Published: (2014) -
Alan Turing: cientista universal
Published: (2019) -
Matemática elemental para estudiantes universitarios
by: Aro, Alex
Published: (2022) -
Esplorazione dei Solidi e Oltre: Fare Geometria con gli Zometool
by: Ornella Robutti
Published: (2016) -
Geometria tra realtà e teoria
by: Ornella Robutti
Published: (2015)