Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Proposicional
Logica Proposicional
Inteligencia Artificial
Luis Villaseñor Pineda
Tarea de la lógica
Determinar la falsedad o verdad de una premisa es
tarea de la ciencia en general
(A1, … An) B
1. (p s) q
2. p
3. s
4. q r
1. (p s) q
2. p
3. s
4. q r
Sintaxis y Semántica
La lógica nos da elementos para manipular los símbolos (sintaxis)
sin importar su significado (semántica).