Introduccin a la lgica .
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
Abstraccin
Concisin
Precisin
Razonamiento
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)
Lgica
Resumiendo:
Axioma: es verdadero sobre una estructura propuesta
Metodos de
demostracin
Como mtodo de
demostracin
utilizar los
principios de
razonamiento
vlidos que
suministra la
lgica
Ejemplos de proposiciones.
El cuadrado es una figura geomtrica con tres lados.
F= m*a
F= m/a
Voy al supermercado.
Si es falsa
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)
Proposicin cierta
valor de verdad
Proposicin falsa
valor de verdad F
Representacin.
Proposiciones
letras maysculas
A, B, C, . . . , P, Q, . . .
Variables proposicionales
Constantes proposicionales
valores F y V.
Operadores Lgicos.
NOTA:
Proposicin atmica
(sin conectores)
Proposicin molecular
(con conectores)
V
F
F
V
Ejemplos:
P: Est lloviendo
Q: Hace fro.
P: No esta lloviendo.
Q: No hace fro.
P^Q
V
V
F
F
V
F
V
F
V
F
F
F
Ejemplo.
P: Est lloviendo.
Q: Hace fro.
P Q
V
V
V
F
V
V
F
F
V
F
V
F
Ejemplo.
P: Est lloviendo.
^
P Q: Hace fro o
est lloviendo.
Q: Hace fro.
V
V
F
F
V
F
V
F
Q
V
F
V
V
Ejemplo.
P: Est lloviendo
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
V
V
F
F
V
F
V
F
Q
V
F
F
V
Ejemplo.
P: Est lloviendo.
P
Q: Hace fro.
Q: Hace fro s, y
slo si llueve.
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.
^
Ejemplos:
(P ^ Q)
P^
(R^S
^ ( ) .
T).
Q.
No tienen sentido.
4. No hay ms FBF.
Depender de:
los valores de verdad de cada una de las
variables proposicionales y
del comportamientode los operadores con stos.
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.
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.
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.
Reglas de Equivalencia.
Reglas de Inferencia.
Son de la forma:
{ 1 , 2 , . . . , }
donde y son FBF.
Regla de inferencia
{ 1 , 2 , . . . , }
FBF asociada
1 ^ 2 ^ . . . ^
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
Mtodos de Demostracin.
Demostracin trivial.
{}
Para que
sea una tautologa, basta con que lo sea .
Demostracin Vaca.
{ }
Para el caso
Demostracin Directa.
partir de la verdad de ,
hemos de inferir la de .
Demostracin Indirecta.
Demostracin indirecta
Demostracin directa
Asumimos
frmula es falsa.
Llegar a
una contradiccin.
Frmula
llegamos a
P es una variable
demostrar
P y P
son ciertas
P ^ P }