Introduccin a la Lgica

Lgica: ciencia de los principios de la deduccin

formalmente vlida
1.1 Introduccin a la Lgica Estudia las leyes de inferencia en razonamientos
Todos los sbados hay mercado en Aranjuez
Hoy no hay mercado en Aranjuez .

Lgica Hoy no es sbado

Razonamiento lgico: aquel que produce
enunciados correctos a partir de premisas ciertas

1.1 Introduccin a la Lgica 2

Oraciones declarativas Razonamiento vlido

Una oracin declarativa es aquella que afirma algo sobre el mundo
Tiene sentido preguntarse si es cierta o falsa
Argumentacin lgica
Ejemplos: Premisas y conclusin
Declarativas:
Estamos en Aranjuez
Una argumentacin es vlida si la verdad de las
Madrid es la capital de Andaluca premisas conlleva necesariamente la verdad de
Maana viene a comer tu hermana
No declarativas:
la conclusin
Qu hora es?
Cmete todo
Observacin:
Ay Dios mo! No nos importa si las premisas son ciertas o no en el
Las oraciones declarativas se llaman tambin enunciados o mundo real
proposiciones
Nosotros trabajaremos nicamente con oraciones declarativas

1.1 Introduccin a la Lgica 3 1.1 Introduccin a la Lgica 4

1
 Ejemplos Lgica matemtica

Todos los zopiloides son pombiformes El lenguaje natural es ambiguo e impreciso

Arturo es un zopiloide .
Esquematizacin del lenguaje lenguajes formales
Arturo es pombiforme Sintaxis: reglas de formacin
Razonamiento vlido Cmo se escribe
Semntica: relacin entre lenguaje y significado
Qu significa
Si Cuenca est en Francia, Aranjuez es de Madrid Distintas clases de Lgicas segn los aspectos del
Cuenca est en Alemania .
razonamiento que reflejan
Estudiaremos Lgica Clsica
Aranjuez es de Madrid
Lgica proposicional
Razonamiento falaz
Lgica de predicados o de primer orden

1.1 Introduccin a la Lgica 5 1.1 Introduccin a la Lgica 6

Lgica matemtica (2) Lgica e Informtica

Si llueve, llevo paraguas pq Fundamentacin matemtica de algunas reas

Llueve
Llevo paraguas
p
q
de la informtica
Formalizacin
Lgica proposicional diseo lgico de circuitos
Deduccin
Fundamentos de computadores
formal Lgica de predicados
Programacin lgica
p llueve pq Especificacin y verificacin de programas
q llevo paraguas p Inteligencia Artificial
q
p q Sistemas Basados en Conocimiento
Interpretacin # # Compiladores

1.1 Introduccin a la Lgica 7 1.1 Introduccin a la Lgica 8