LGICA PROPOSICIONAL Temario:

CONCEPTOS Y TIPOS La idea no es abarcar los temas

PROPOSICIONES propuestos en este orden, sino retomar
PROPOSICIONES SIMPLES Y un poco de cada tema en cada sesin.
COMPUESTAS
CONECTIVIDADES LGICAS Y TABLAS DE I Aspectos tericos de la lgica
VERDAD Historia de la disciplina
CONCEPTO Y TIPOS Lgica aristotlica vs. lgica
CONSTRUCCIN DE TABLAS DE proposicional
VERDAD Lgica y matemticas
VALIDEZ DE ARGUMENTOS POR Lgica y filosofa
TABLAS DE VERDAD
DIAGRAMAS
II Conceptos de LPC (lgica
DIAGRAMA DE FLUJO proposicional clsica)
Proposicin
DIAGRAMA DE VENN
LGICAS DEL SIGLO XX E INTELIGENCIA Constantes lgicas
ARTIFICIAL Tablas de verdad
TIPO DE LGICAS DEL SIGLO XX Argumento
INTELIGENCIA ARTIFICIAL Reglas de inferencia
Inferencia lgica
III Correcin, validez, verdad
Simbolizacin e interpretacin
Mtodos de verificacin
Inferencia lgica
IV Clculo de predicados
Cuantificadores
Teora de conjuntos
Simbolizacin e interpretacin
De Covematic
Lgica proporcional
Proposicin. Conectivos Lgicos
Proposicin compuesta
Proposiciones y valores de
verdad
Proposiciones compuestas
bsicas
Esquemas moleculares
Proposiciones equivalentes.
Leyes lgicas
Cuantificadores universal y
existencial.