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

• Yazar: Soares, Edvaldo (auth)
• Materyal Türü: Elektronik Kitap Bölümü
• Dil: Portekizce
• Baskı/Yayın Bilgisi: Marília, São Paulo, Brazil. Editora Oficina Universitária 2023
• Konular: P; Lógica, Silogismo, Lógica simbólica e matemática.
• Online Erişim: 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...