Professional Documents
Culture Documents
Matemtica discreta
Lgica:
rama de las matemticas
instrumento para representar el lenguaje natural proporciona un mecanismo de deduccin
ejemplo
"si el dato es de entrada o de salida y el dato no es de entrada, entonces es de salida" p = el dato es de salida q = el dato es de entrada {p V q , p} q "si x es de entrada, entonces x se graba en la memoria" Px = x es un dato de entrada Qx = x se graba en la memoria Px Qx
Matemtica discreta. Lgica 4
Clculo proposicional
Clculo proposcional
Proposicin o enunciado: es toda afirmacin u oracin declarativa que expresa algo sobre lo que se pueda decir si es verdadero o falso.
Todos los procedimientos se han ejecutado correctamente. Qu hora es?. (x-y)2=x2-2xy+y2. Menudo rollo de pelcula!. Esta frase es falsa.
Clculo proposicional
p, q , r , s ,K
Falsedad Verdad
6
Clculo proposicional
L = {P, Q, R, S ,K} Negacin Conjuncin Disyuncin (o inclusivo) Conectivas Disyuncin (o exclusivo) Implicacin Doble implicacin
para evitar ambigedades
7
Smbolos auxiliares ( , )
Matemtica discreta. Lgica
Clculo proposicional
P ::= p T (P 1) (P 1 P 2 ) (P 1P 2 ) (P 1P 2 ) (P 1 P 2 ) (P 1 P 2)
Para abreviar se siguen las siguientes directrices: Omisin de parntesis externos Prioridad entre conectivas:
, , , , ,
Clculo proposicional
ejemplos
( p (q r )) lo escribimos p (q r ) p q r
es
p ((q) r ) p (q r )
p q r es distinto de
pqr
es
( p (q r ))
Clculo proposicional
: : L
= {0,1}
Valor veritativo
A cada smbolo primitivo se le asigna un valor booleano de verdad o falsedad: 0 falso, 1 verdad. A cada frmula se le asigna un valor veritativo dependiendo de los valores de verdad de los smbolos primitivos que la componen.
En general, y abusando de la notacin, hablaremos de valoracin y de valor veritativo indistintamente.
Matemtica discreta. Lgica 10
Clculo proposicional
Tablas de verdad
Representan todos los posibles valores veritativos de las frmulas bsicas.
p 0 0 1 1
q 0 1 0 1
p q p q p q pq p q p q
1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 0 1
11
Clculo proposicional
f : f (0) =1 f (1) = 0
Clculo proposicional
Valores veritativos
(p)= (p) ()=0 (T)=1 P)= f ( (P)) ( (P Q)= f ( (P), (Q)) (P Q)= f ( (P), (Q)) ( PQ )= f ( (P), (Q)) (P Q )= f ( (P), (Q)) (P Q)= f ( (P), (Q))
Matemtica discreta. Lgica 13
Clculo proposicional
ejemplo
Si (p)=1, (q)=0, (r)=1 ( p (q r) ) = f ( (p), (q r)) =
qr
1
p (q r)
1
14
Clculo proposicional
Satisfactibilidad
Una frmula P es satisfactible, si existe alguna valoracin que verifique (P)=1, se dice entonces que satisface P (= P), o que es un modelo de P [ Mod(P)]. En caso contrario, se dice que P es insatisfactible.
15
Clculo proposicional
ejemplo
p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r q r p (q r) 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1
16
Clculo proposicional
Clculo proposicional
ejemplo
p q r p (p q) p (q r) (p (p q)) 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1
tautologa
Matemtica discreta. Lgica
0 0 0 1 1 0 1
contingencia
0 0 0 0 0 0 0
contradiccin
18
Clculo proposicional
Equivalencia lgica 1
Cuando los valores veritativos de dos frmulas P y Q son iguales en cualquier valoracin, es decir, (P)=(Q), se dice que P y Q son lgicamente equivalentes y se denota PQ. PQ Mod(P) = Mod(Q).
19
Clculo proposicional
ejemplo
pq
y
p q p q p q 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1
p q p q
Matemtica discreta. Lgica 20
Clculo proposicional
Equivalencia lgica 2
PP. Si PQ, entonces QP. PT si y slo si P PT si y slo si P es tautologa. P Q T si y slo si todo modelo de P lo es de Q. PQ T si y slo si P Q. P P. Si PQ y QR, entonces PR. T y T P si y slo si P es contradiccin. P Q T si y slo si toda valoracin que no es modelo de Q, tampoco lo es de P.
21
Clculo proposicional
Teorema de reemplazamiento
Si PQ y F(P) es una frmula que contiene a P como
subfrmula, reemplazando una o varias apariciones de P por Q en F(P), se obtiene una frmula F(Q) que verifica F(P)F(Q). Lo utilizaremos para simplificar frmulas complejas.
22
Clculo proposicional
Clculo proposicional
Clculo proposicional
Clculo proposicional
caso contrario, es insatisfactible. Si AB, {Pi, A} y {Pi, B} tienen los mismos modelos.
26
Clculo proposicional
ejemplo
{qr, p(rq)} y {pqr, qr} tienen los mismos modelos.
p q r qr p(rq) 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 p 0 0 0 0 1 1 1 1 q r pqr 1 1 1 1 0 1 1 1 qr 1 1 0 1 1 1 0 1
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1
0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1
27
Clculo proposicional
Razonamiento lgico 3
Q es consecuencia lgica de {Pi}, {Pi}= Q, si todo modelo de {Pi}, lo es tambin de Q. Decir que una consecuencia lgica es vlida, {Pi}= Q, es lo mismo que P1P2..PnQ es una tautologa, o que {Pi, Q} es insatisfactible. Para probar la validez de un argumento se pueden utilizar tablas de verdad, leyes de equivalencia lgica o reglas de inferencia.
28
Clculo proposicional
ejemplo
Consecuencia lgica no vlida, razonamiento incorrecto: {pq, p} q
premisas p q 0 0 0 1 1 0 1 1 pq 1 1 0 1 conclusin
p
1 1 0 0
q
1 0 1 0
29
Clculo proposicional
Reglas de inferencia
Modus ponens:{PQ,P}= Q Modus tolens:{PQ, Q}= P Silogismo: {PQ,QR}= PR Silogismo disyuntivo: {PQ, Q}= P Simplificacin: {PQ}= P
{P}= PQ {P,Q}= PQ
30
Clculo de predicados
Clculo de predicados
Introduce los elementos necesarios para manejar razonamientos en los que intervienen propiedades de individuos y relacione entre ellos. Estas relaciones son los predicados que pueden ser verdaderos o falsos en funcin de sus argumentos. Alfabeto A. Trminos y frmulas L .
Matemtica discreta. Lgica 31
Clculo de predicados
Alfabeto 1
smbolos de constante: C={c, t, ...}A smbolos de predicado: P={P, Q, ...}A
de aridad 1: propiedad de un individuo. Px x es par P4 4 es par de aridad 2: relacin entre individuos. Pxy x es ms alto que y P Ana Juan Ana es ms alta que Juan.
32
Clculo de predicados
Alfabeto 2
constantes lgicas: { ,}A conectivas: {, , , , }A cuantificadores: {, }A.
Se usan acompaados de variables y con ellos se cierran los enunciados. El radio de accin de la cuantificacin K en KxF es F. Tienen ms prioridad que cualquier conectiva.
Clculo de predicados
Alfabeto 3
variables: V={x, y, z, ...}A
Representan individuos annimos, generales. Una variable est ligada si est en el radio de accin de algn cuantificador, Kx F[x], y est libre en otro caso. Una frmula est abierta si tiene variables libres. Si no tiene variables libres est cerrada.
34
Clculo de predicados
ejemplo
x y (Mx Q(x,y)) Frmula cerrada.
La variable y est ligada por el cuantificador existencial y la variable x por el cuantificador universal.
35
Clculo de predicados
Frmulas y trminos
Trminos: T=CVA. Frmulas: palabra formada a partir del alfabeto aplicando las reglas: L conjunto de frmulas del alfabeto A. F, F1, F2 L xlib(F1) t1,..., tnT F::=| |P(t1,...,tn) |(F1#F2), #{ , , , } |F1 | (x F1) | (x F1).
36
Clculo de predicados
Clculo de predicados
Interpretacin
I={D, ci , Pi} Dominio D. A cada smbolo de constante c se le asigna un elemento del dominio D: c A cada smbolo de predicado P de aridad n se le asigna una funcin booleana P:Dn{0,1}. Dn ={(x1 ,...,xn) / xi D}
Matemtica discreta. Lgica 38
ejemplo
I={N, c0, c2, c3, c5, P, Q, R, S, }
c0 0 c33 P(x,y) y=x+1 Q(x,y,z) z=x+y c2 2 c55 R(x,y,z) z=xy S(x,y) x y x R(x,x,y) y es un cuadrado perfecto. x y P(x,y) todo natural tiene un sucesor. todos los naturales son mayores o x S(x,c0) iguales que 0. Q(c2,c3,c5) 5=2+3
Matemtica discreta. Lgica 39
Clculo de predicados
Valores veritativos
(T)=1 ()=0 (F)=f(F) (F1#F2)= f# ((F1), (F2)) #{ , , , } (P(t1,...,tn))= P(t1,..., tn) (x F)=1 si cD / (F[x/c])=1 (x F)=1 si cD / (F[x/c])=1
40
Clculo de predicados
Satisfactibilidad
Una frmula F es satisfactible, si existe alguna interpretacin I en la que el valor veritativo de F sea 1. Se dice que I es un modelo de F (I= F). En caso contrario, se dice que F es insatisfactible.
41
Clculo de predicados
Equivalencia lgica
Cuando los valores veritativos de dos frmulas F1 y F2 son iguales en cualquier interpretacin, se dice que F1 y F2 son lgicamente equivalentes y se denota F1F2 F1F2 Mod(F1) = Mod(F2).
Matemtica discreta. Lgica 42
Clculo de predicados
Clculo proposicional
Tautologa, contradiccin
Un frmula F es una tautologa si cualquier interpretacin es modelo de ella. Un frmula F es una contradiccin si no tiene modelos
44