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...
Kaydedildi:
Yazar: | |
---|---|
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: | |
Online Erişim: | DOAB: download the publication DOAB: description of the publication |
Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
İlk yorumlayan siz olun!