Sei sulla pagina 1di 32

Estructuras Matemticas para la Informtica I

Departamento de Matemtica Aplicada

Introduccin a la lgica .

Estructuras Matemticas para la Informtica I

Introduccin a la lgica
Introduccin.
Algo de historia
Proposiciones.
Operadores Lgicos .
Frmulas Bien Formadas
Valor de verdad de una FBF.
Equivalencia de Frmulas.
Reglas de inferencia.

Lgica de enunciados.
Mtodos de demostracin.
Demostracin trivial.
Demostracin vaca.
Demostracin Directa.
Demostracin Indirecta.
Demostracin por Contradiccin.
Formas Normales.
Forma normal disyuntiva
Forma normal conjuntiva

Estructuras Matemticas para la Informtica I

La lgica es una ciencia que trata de ser la teora del


razonamiento. En informtica es interesante por sus
aplicaciones: anlisis de algoritmos, verificacin de
programas, etc.

Estructuras Matemticas para la Informtica I

La funcin ms importante de la lgica es proporcionar


reglas de inferencia o principios de razonamiento. La teora
asociada a tales reglas se conoce con el nombre de inferencia
lgica ya que consiste en obtener o inferir conclusiones a
partir de ciertas premisas. El proceso que nos permite hacer esto,
utilizando una reglas de razonamiento aceptadas se llama
deduccin, derivacin o prueba formal. Este tipo de prueba
ser necesario a la hora de demostrar lemas, proposiciones,
teoremas o corolarios.

Estructuras Matemticas para la Informtica I

Abstraccin
Concisin
Precisin
Razonamiento

Estructuras Matemticas para la Informtica I

Lgica clsica:
400 aos A. C. Aristteles -> Formas del razonamiento humano
S XIII, S. Tomas de Aquino-> vehculo de discusiones
Lgica como ciencia
S XVII Leibniz -> aplicarlo a las matemticas
S XIX Boole, Fregge, Morgan,
S XX Russell,Whitehead, Robinson
Recientemente
S XX-XXI.
Elaboracin de estrategias de programacin
Desarrollo de sistemas expertos de modelos computables del
conocimiento
Extensin hacia interpretaciones probabilsticas (lgica borrosa)

Estructuras Matemticas para la Informtica I

Un axioma es una afirmacin verdadera


sobre las propiedades de una estructura
matemtica.

Estructuras Matemticas para la Informtica I

Los teoremas son otras afirmaciones ciertas


que pueden ser obtenidas a partir de los axiomas.

Estructuras Matemticas para la Informtica I

Una demostracin de un teorema es un argumento


que nos permite determinar si un teorema es cierto
para una determinada estructura.

Estructuras Matemticas para la Informtica I

Los principios de razonamiento vlidos


los utilizaremos para establecer que una afirmacin
se sigue de otra u otras.

Estructuras Matemticas para la Informtica I

Lgica

suministrar reglas vlidas


para determinar cuando un
cierto razonamiento es vlido.

Estructuras Matemticas para la Informtica I

Resumiendo:
Axioma: es verdadero sobre una estructura propuesta

Teorema: tengo que demostrar para utilizarlo como verdadero

Metodos de
demostracin

Como mtodo de
demostracin
utilizar los
principios de
razonamiento
vlidos que
suministra la
lgica

Estructuras Matemticas para la Informtica I

Definicin. Llamaremos enunciados o sentencia a toda


expresin susceptible de ser cierta o falsa.

Estructuras Matemticas para la Informtica I

Definicin. Llamaremos proposiciones a aquellos enunciados


que pueden ser ciertos o falsos, pero
no ambas cosas a la vez.

Estructuras Matemticas para la Informtica I

Ejemplos de proposiciones.
El cuadrado es una figura geomtrica con tres lados.
F= m*a
F= m/a
Voy al supermercado.

Estructuras Matemticas para la Informtica I

Esta afirmacin es falsa

Nunca puede ser cierta.


Si es cierta

afirma que es falsa.

Si es falsa

debera ser cierta.

Estructuras Matemticas para la Informtica I

Axioma del Clculo Proposicional.


Toda proposicin es cierta o falsa
pero no ambas cosas a la vez.

Estructuras Matemticas para la Informtica I

Resumiendo:

Enunciados:
expresiones del lenguaje coloquial

Proposiciones:
Aquellos enunciados con los
que se puede trabajar en lgica
(se pueden trasladar a un
programa por ejemplo)

Estructuras Matemticas para la Informtica I

Definicin. Definimos el valor de verdad de una proposicin


como una aplicacin del conjunto de todas las proposiciones P
en el conjunto { Verdadero, Falso } que asigna el valor
verdadero V, a una proposicin que es cierta, y falso F,
en caso contrario.

Estructuras Matemticas para la Informtica I

Proposicin cierta

valor de verdad

Proposicin falsa

valor de verdad F

Estructuras Matemticas para la Informtica I

Representacin.
Proposiciones

letras maysculas
A, B, C, . . . , P, Q, . . .

Variables proposicionales

proposiciones cuyo valor


de verdad no est
especificado.

Constantes proposicionales

valores F y V.

Estructuras Matemticas para la Informtica I

Operadores Lgicos.

Definicin. Llamaremos conectores a aquellos smbolos


lgicos que representan las partculas que niegan o unen
proposiciones para dar lugar a otras proposiciones
ms complejas.
Les llamaremos operadores lgicos.

Estructuras Matemticas para la Informtica I

NOTA:
Proposicin atmica
(sin conectores)

slo puede ser cierta


o falsa.

Proposicin molecular
(con conectores)

Su valor de verdad depender


de los valores de verdad de
cada una de las proposiciones
atmicas y del comportamiento
de los conectores que las enlacen.

Estructuras Matemticas para la Informtica I

Definicin. OPERADOR NEGADOR.


Se denota por . Si P es una proposicin, entonces
P es su negacin.
La negacin de una proposicin P es otra proposicin
que es cierta cuando P es falsa, y falsa cuando P es cierto.

Estructuras Matemticas para la Informtica I

Tabla de verdad del negador.


P

V
F

F
V

Estructuras Matemticas para la Informtica I

Ejemplos:
P: Est lloviendo
Q: Hace fro.

P: No esta lloviendo.
Q: No hace fro.

Estructuras Matemticas para la Informtica I

Definicin. OPERADOR CONJUNTOR.


La conjuncin de dos proposiciones P y Q,
y lo representamos por PQ , o por P and Q, o P ^ Q ,
slamente tiene el valor de verdad V cuando las dos proposiciones
tienen el valor de verdad V, y el valor de verdad F, en otro caso.

Estructuras Matemticas para la Informtica I

Tabla de verdad del conjuntor.


P

P^Q

V
V
F
F

V
F
V
F

V
F
F
F

Estructuras Matemticas para la Informtica I

Ejemplo.
P: Est lloviendo.

P ^ Q : Hace fro y est


lloviendo

Q: Hace fro.

Estructuras Matemticas para la Informtica I

Definicin. OPERADOR DISYUNTOR.


La disyuncin de dos proposiciones P y Q, la
representaremos por P Q ( o por P+Q).
Esta proposicin slo tiene el valor de verdad F
cuando lo tienen uno y cada uno de sus componentes, y
para que tenga valor de verdad V, basta con que lo tenga
uno cualquiera de sus componentes.
^

Estructuras Matemticas para la Informtica I

Tabla de verdad del disyuntor.


^

P Q

V
V

V
F

V
V

F
F

V
F

V
F

Estructuras Matemticas para la Informtica I

Ejemplo.
P: Est lloviendo.
^

P Q: Hace fro o
est lloviendo.
Q: Hace fro.

Estructuras Matemticas para la Informtica I

Definicin. OPERADOR IMPLICADOR.


Se representa por P
Q, donde a P se le llama
antecedente y a Q consecuente. Se lee P implica Q,
si P entonces Q.
Significa que tendr el valor de verdad F cuando P
tiene valor de verdad V y Q tiene el valor de verdad F.

Estructuras Matemticas para la Informtica I

Tabla de verdad del implicador.


P

V
V
F
F

V
F
V
F

Q
V
F
V
V

Estructuras Matemticas para la Informtica I

Ejemplo.
P: Est lloviendo

R :Si est lloviendo.


entonces Mara
lleva paraguas.

R: Mara lleva paraguas.

Estructuras Matemticas para la Informtica I

Ejemplo de mal interpretaciones.


Si no te tomas la leche no juegas con la play
le esta asegurando la madre al nio que si se la toma juega?
solo le esta diciendo que si juega llega a jugar, ser porque se
ha tomado la leche antes

Estructuras Matemticas para la Informtica I

Ejemplo vlidos P

Q:

Si P entonces Q
P implica Q
P solo si Q
P es suficiente para Q
Q es necesario para P
Siempre que P se tiene Q
Se tiene Q siempre que P
Una vez que P es verdadero,entonces Q tambien es verdadero
Para que sea vlido Q, basta con que se tenga P
Matemticas Discretas. E. Scheinerman. Ed Thomson, pag 10

Estructuras Matemticas para la Informtica I

Definicin. OPERADOR COIMPLICADOR.


Se representa por P
Q , y es equivalente a
la proposicin
(P
Q) ^ (Q
P).
Para que tomen el valor de verdad V, deben tener P y Q
el mismo valor de verdad.

Estructuras Matemticas para la Informtica I

Tabla de verdad del coimplicador.


P

V
V
F
F

V
F
V
F

Q
V
F
F
V

Estructuras Matemticas para la Informtica I

Ejemplo.
P: Est lloviendo.
P
Q: Hace fro.

Q: Hace fro s, y
slo si llueve.

Estructuras Matemticas para la Informtica I

Reglas de precedencia.
1. Primero trabajaremos con el negador
2. A continuacin los conjuntores y disyuntores .
La alternancia de conjuntores y disyuntores precisan
parntesis
3. Finalmente con el implicador y el coimplicador.
La alternancia de implicadores y coimplicadores precisan
parntesis.
4. Expresiones del tipo
P^Q^R

P Q R
no precisan parntesis.
^

Estructuras Matemticas para la Informtica I

Frmulas Bien Formadas.

Estructuras Matemticas para la Informtica I

Definicin. Llamaremos Frmula a cualquier secuencia ordenada


de smbolos lgicos.

Ejemplos:
(P ^ Q)
P^

(R^S

^ ( ) .

T).
Q.

No tienen sentido.

Estructuras Matemticas para la Informtica I

Definicin. Una Frmula Bien Formada es aquella que es generada


por las siguientes reglas:

1. Todas las variables y constantes proposicionales, verdaderas y


falsas, son FBF.

2. Una FBF precedida de un negador es una FBF.


3. Una FBF seguida de un conector y de otra FBF haciendo uso correcto
de los parntesis es otra FBF.

4. No hay ms FBF.

Estructuras Matemticas para la Informtica I

Valor de verdad de una FBF.

Depender de:
los valores de verdad de cada una de las
variables proposicionales y
del comportamientode los operadores con stos.

Estructuras Matemticas para la Informtica I

Tipos de FBF:
1. Tautologa (o teorema): FBF que evala con valor
de verdad V cada una de las asignaciones de sus variables.
2. Contingencia : FBF que toma valores de verdad distintos
para distintas asignaciones de sus variables.
3. Contradiccin : FBF que evala con valor de verdad F
cada una de las asignaciones e sus variables.
Una frmula que no es contradiccin se dice que es aceptable.

Estructuras Matemticas para la Informtica I

Equivalencia de frmulas.
Dos frmulas bien formadas y decimos que
son equivalentes, y lo denotamos por
si y slo si
la FBF es una tautologa.

Estructuras Matemticas para la Informtica I

NOTAS:
Para que dos FBF sean equivalentes no es necesario que contengan
las mismas variables.
Cuando dos FBF son equivalentes y una determinada variable ocurre
solo en una de ellas, decimos que el valor de verdad de esa frmula
es independiente de esa variable.
Cuando dos frmulas son equivalentes, podemos susituir unas por
otras.

Estructuras Matemticas para la Informtica I

Reglas de Equivalencia.

Estructuras Matemticas para la Informtica I

Reglas de Inferencia.
Son de la forma:
{ 1 , 2 , . . . , }
donde y son FBF.

Estructuras Matemticas para la Informtica I

Regla de inferencia
{ 1 , 2 , . . . , }

FBF asociada
1 ^ 2 ^ . . . ^

Una regla de inferencia ser vlida si y slo si


su FBF asociada es una tautologa

Estructuras Matemticas para la Informtica I

Reglas de Inferencia.

Estructuras Matemticas para la Informtica I

Lgica de enunciados.
Mtodos de demostracin.
Demostracin trivial.
Demostracin vaca.
Demostracin Directa.
Demostracin Indirecta.
Demostracin por Contradiccin.
Formas Normales.
Forma normal disyuntiva
Forma normal conjuntiva

Estructuras Matemticas para la Informtica I

Mtodos de Demostracin.

Estructuras Matemticas para la Informtica I

Hay varios mtodos vlidos para ver si una FBF


es una tautologa:
demostracin trivial.
demostracin vaca.
demostracin directa.
demostracin indirecta.

Aplicables a FBF del tipo

(tabla de verdad del


implicador)

demostracin por contradiccin

Estructuras Matemticas para la Informtica I

Demostracin trivial.
{}

Para el caso en que

Para que
sea una tautologa, basta con que lo sea .

Estructuras Matemticas para la Informtica I

Demostracin Vaca.
{ }

Para el caso

Basta con demostrar que es una contradiccin.

Estructuras Matemticas para la Informtica I

Demostracin Directa.
partir de la verdad de ,
hemos de inferir la de .

Estructuras Matemticas para la Informtica I

Demostracin Indirecta.

Suponemos que es falso.


Tendremos que ver que esto implica que tambin es falso.
Tenemos que:

Demostracin indirecta

Demostracin directa

Estructuras Matemticas para la Informtica I

Demostracin Por Contradiccin.

Asumimos
frmula es falsa.

Llegar a
una contradiccin.

Estructuras Matemticas para la Informtica I

Frmula

llegamos a

P es una variable

demostrar

P y P
son ciertas

Por la regla E-1, P ^ P es falso.


La suposicin de que es V no puede hacerse, por lo tanto
debe ser verdadera.

Estructuras Matemticas para la Informtica I

Mtodo conocido como Mtodo de reduccin al absurdo.


Regla de inferencia:

P ^ P }

Estructuras Matemticas para la Informtica I

Bibliografa del tema:


A. Hervas, R. Villanueva, M. J. Rodriguez Alvarez. Apuntes de
Matemtica Discreta para la ingeniera Informtica, SPUPV-2002.419
E. Paniagua, J. L. Snchez, Lgica computacional, Thomsom, 2003.
F. Garca Merayo, Matemtica Discreta, Thomson-Paraninfo, 2000.
C. Alegre, A. Martnez, M.C. Pedraza. Problemas de matemtica
discreta y lgica, SPUV, 1997. 250
P. Suppes y S. Hill. Introduccin a la lgica matemtica. Revert,
1976
S. Sahni. Concepts in Discrete Mathematics. The Camelot Pub. Co.
A. Antn, P. Casa. Lgica Matemtica I. Teora y prctica. Lgica de
enunciados. Au llibres, 1987
E. Scheinerman. Matemticas Discretas.. Ed Thomson, 2000.
Kenneth H. Rosen. Matemticas Discretas y sus aplicaciones. Ed Mc
Graw Hill 2004