Matemtica Discreta

Lgica de Proposiciones
Dpto. Matemtica Aplicada. E.U.I. - U.P.M.
1

Tema: LGICA

DE

PROPOSICIONES

1. Introduccin. Lgica proposicional. 2. Sintaxis de la lgica proposicional. 3. Semntica de la lgica proposicional.

4. Estructuras deductivas:

Mtodo del tableau.

Reglas de inferencia.
2

Tema: LGICA

DE

PROPOSICIONES

1 Introduccin. 2 Lgica proposicional. 2.1 Enunciados proposicionales. 2.2 Frmulas proposionales bsicas. 3 Sintaxis en Lgica Proposicional. 3.1 Smbolos primitivos del lenguaje. 3.2 Reglas de formacin de frmulas. 3.3 Convenio de precedencia. 3.4 Principio de Recursin Estructural. 4 Semntica de la Lgica Proposional. 4.1 Valor veritativo de una frmula. 4.2 Equivalencias lgicas. 5 Conjuntos de frmulas. 6

Tableaux Semnticos.
3

7 Estructuras deductivas y mtodos de demostracin. Reglas de inferencia.

Bibliografa para Lgica

[1] MD."Notas de la asignatura" : Cap. 1. Apartados 1.1. a 1.7.

[6] HORTAL; LEACH; RODRGUEZ: [4] ROSEN:

Cap. 7 Tableaux.

Cap. 1. Reglas de inferencia. (Cap. 3. Mtodos de demostracin.) Cap. 2. Reglas de inferencia.

[2] GRIMALDI:

Relaciones del tema con otras asignaturas

Con todas las de matemticas. Lgica (Optativa de 2).

Inteligencia Artificial (Obligatoria de 2). Programacin Declarativa (Optativa de 3). Sistemas expertos (Optativa de 3).
5

1.1 Introduccin. Aplicaciones de la Lgica

En matemticas:
1. Fundamenta las matemticas. 2. Rama de las matemticas. 3. Mecanizacin del razonamiento matemtico.

Aplicaciones de la Lgica
En informtica:
1.Base de partes de la informtica con mayor futuro: I.A., Sistemas expertos, Programacin Lgica. 2.Primer ejemplo de construccin de un lenguaje formal o artificial. 3.Paradigma de programacin. 4.Otras aplicaciones: Especificacin y verificacin de programas. Deduccin automtica. Diseo de circuitos electrnicos.

Historia de la Lgica
Nace en la civilizacin griega para las discusiones filosficas (Aristteles 384-322 a.d.C.).

Lgica formal o matemtica, en la segunda

mitad del siglo XIX.
Se sirve de mtodos matemticos (G. Boole 1815-1864). Pretende ser fundamento de las matemticas (Fregge 1848-1925).

A partir de los aos 50 se usa en Informtica.

Lgica de Proposiciones
Parte de las matemticas que estudia qu razonamientos son vlidos. Estudia las leyes de inferencia de los razonamientos. Se sirve de lenguajes formales, que evitan las ambigedades del lenguaje natural, para reconocer los razonamientos lgicamente vlidos.
9

Lgica de Proposiciones
Lenguaje natural
Fo rm al iz ac i n

Lenguaje formal

Lgica formal

No se considera todo el lenguaje natural. Solo Enunciados: frase declarativa o afirmativa con
significado completo de la que se puede determinar si es verdadera o falsa.

No son enunciados las frases: interrogativas,

exclamativas, imperativas, desiderativas, incompletas, autorreferentes.
10