Lógica formal da lógica aristotélica ao cálculo sentencial bivalente

• मुख्य लेखक: Soares, Edvaldo (auth)
• स्वरूप: इलेक्ट्रोनिक पुस्तक अध्याय
• भाषा: पुर्तगाली
• प्रकाशित: Marília, São Paulo, Brazil. Editora Oficina Universitária 2023
• विषय: P; Lógica, Silogismo, Lógica simbólica e matemática.
• ऑनलाइन पहुंच: DOAB: download the publication; DOAB: description of the publication

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...