Lógica formal da lógica aristotélica ao cálculo sentencial bivalente
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...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Portugués |
| Publicado: |
Marília, São Paulo, Brazil :
Editora Oficina Universitária
2023.
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009752703106719 |
