Lógica formal : : da lógica aristotélica ao cálculo sentencial bivalente / / Edvaldo Soares.
O objetivo da obra é abordar os temas centrais da Lógica Clássica, desde a silogística de Aristóteles até o cálculo dos predicados de primeira ordem. A ênfase será dada na construção de estruturas formalmente válidas e, na determinação da validade de argumentos. Para tanto será seguid...
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | Marília, São Paulo, Brazil : : Editora Oficina Universitária,, 2023. ©2023 |
Year of Publication: | 2023 |
Language: | Portuguese |
Physical Description: | 1 online resource (312 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
DOAB Directory of Open Access Books | Available |