Lógica formal

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 formalmnte válidas e, na determinação da validade de argumentos. Para tanto será seguido o seguinte pla...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Soares, Edvaldo
Format: Online
Langue:portugais
Publié: Editora Oficina Universitária 2024
Sujets:
Accès en ligne:https://directory.doabooks.org/handle/20.500.12854/143121
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!