Lgica

Matemtica discreta

Matemtica discreta. Lgica

Lgica:
rama de las matemticas
instrumento para representar el lenguaje natural proporciona un mecanismo de deduccin

Matemtica discreta. Lgica

Clculo proposicional y de predicados

Razonamientos Clculo Sentencias que expresan relaciones entre proposicional atributos y cualidades de los objetos Clculo de predicados Establecen propiedades de individuos y relaciones entre estos

Matemtica discreta. Lgica

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.

Proposiciones simples o atmicas. Proposiciones compuestas o frmulas.

Matemtica discreta. Lgica 5

Clculo proposicional

Proposiciones simples o atmicas

No pueden reducirse a otras ms sencillas Smbolos primitivos = {T, , p, q, r , s,K}
Smbolos de proposicin Constantes lgicas
Enunciados atmicos

p, q , r , s ,K

Falsedad Verdad
6

Matemtica discreta. Lgica

Clculo proposicional

Proposiciones compuestas o frmulas

Enunciados bien formados a partir de smbolos primitivos unidos mediante conectivas.

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

Regla de formacin de frmulas

P, P1 , P2 L
p

P ::= p T (P ) (P P ) (P P ) (P P ) (P P ) (P P ) 1 1 2 1 2 1 2 1 2 1 2
Para abreviar se siguen las siguientes directrices: Omisin de parntesis externos Prioridad entre conectivas:

, , , , ,

Asociatividad de la implicacin: asocia a la derecha

8

Matemtica discreta. Lgica

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 ))

Matemtica discreta. Lgica

Clculo proposicional

Semntica del clculo proposicional

Valoracin

: : 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 pq 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

Matemtica discreta. Lgica

11

Clculo proposicional

Las tablas de verdad son una representacin de las funciones

f : f (0) =1 f (1) = 0

f : f (0,0) = 0 f (0,1) = 0 f (1,0) = 0 f (1,1) =1

f : f (0,0) = 0 f (0,1) =1 f (1,0) =1 f (1,1) =1

f : f (0,0) = 0 f (0,1) =1 f (1,0) =1 f (1,1) = 0

Matemtica discreta. Lgica

f : f (0,0) =1 f (0,1) =1 f (1,0) = 0 f (1,1) =1

f : f (0,0) =1 f (0,1) = 0 f (1,0) = 0 f (1,1) =1

12

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)) =

= f ( (p), f ( (q), (r))) = f (1, f (0,1)) = = f (1,1) = 1

p 1 q 0 r 1

qr
1

p (q r)
1
14

Matemtica discreta. Lgica

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.

Matemtica discreta. Lgica

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

Matemtica discreta. Lgica

Clculo proposicional

Tautologa, contingencia, contradiccin

Un frmula P es una tautologa si toda valoracin es modelo de ella. (Si P es tautologa, entonces es satisfactible). Un frmula P es una contingencia si existen algunas valoraciones que son modelos de P y otras que no lo son. Un frmula P es una contradiccin si no tiene modelos. (P es contradiccin si y slo si es insatisfactible).
Matemtica discreta. Lgica 17

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).

Matemtica discreta. Lgica

19

Clculo proposicional

ejemplo
pq
y

p q son lgicamente equivalentes

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.

Matemtica discreta. Lgica

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.

Matemtica discreta. Lgica

22

Clculo proposicional

Leyes de equivalencia lgica 1

Conmutativa: PQ QP PQ QP Distributiva: P(QR)(PQ)(PR) P(QR)(PQ)(PR) De identidad: PT P P P Tercio excluso: P P T Contradiccin: P P Idempotencia: PP P P P P
23

Matemtica discreta. Lgica

Clculo proposicional

Leyes de equivalencia lgica 2

Acotacin: P P T T Absorcin: P(PQ) P P(PQ) P Asociativa: P(QR) (PQ)R P(QR) (PQ)R (PQ) P Q De Morgan: (PQ) P Q Relacin entre conectivas: P Q PQ PQ (P Q) (QP)
24

Matemtica discreta. Lgica

Clculo proposicional

Razonamiento lgico deductivo 1

Razonamiento inductivo: se generaliza una situacin, a partir de un nmero relativamente pequeo de hechos particulares u observaciones. Razonamiento deductivo: consiste en obtener una conclusin a partir de ciertas sentencias ciertas. Un argumento es un conjunto de proposiciones en las que hay una, la conclusin Q, que se justifica a partir de las otras, las premisas {Pi}.
25

Matemtica discreta. Lgica

Clculo proposicional

Razonamiento lgico deductivo 2

Dado un conjunto de frmulas {Pi}

es un modelo de {Pi} si (Pi)=1 i. {Pi}es satisfactible si que sea modelo de {Pi}. En

caso contrario, es insatisfactible. Si AB, {Pi, A} y {Pi, B} tienen los mismos modelos.

Matemtica discreta. Lgica

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

Matemtica discreta. Lgica

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.

Matemtica discreta. Lgica

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

Consecuencia lgica vlida, razonamiento correcto: {pq, p}= q

premisas p q 0 0 0 1 1 0 1 1 pq 1 1 0 1 p 0 0 1 1 conclusin q 0 1 0 1

p
1 1 0 0

q
1 0 1 0

Matemtica discreta. Lgica

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

Regla de la cadena: si {Pi}= Q1 y {Pi ,Q1}= Q son

vlidas, tambin lo es {Pi}= Q

Matemtica discreta. Lgica

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.

Matemtica discreta. Lgica

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.

smbolos auxiliares: {'(', ')'}A

Matemtica discreta. Lgica 33

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.

Matemtica discreta. Lgica

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.

F x (Mx Q(x,y)) Frmula abierta.

La variable y est libre [ylib(F)] y la variable x est ligada por el cuantificador universal.

Matemtica discreta. Lgica

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).

Matemtica discreta. Lgica

36

Clculo de predicados

Semntica del clculo de predicados

Un dominio o universo de discurso es un conjunto formado por personas, ideas, smbolos, datos, o cualquier otra opcin que afecte al argumento lgico que se est considerando. A los elementos del dominio se les llama individuos. Las constantes identifican de modo nico a individuos particulares.
Matemtica discreta. Lgica 37

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

Matemtica discreta. Lgica

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.

Matemtica discreta. Lgica

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

Leyes de equivalencia lgica 1

x F[x] y F[y] x F[x] y F[y] x F[x] x F[x] x F[x] x F[x] x F[x] x G[x] x [F[x] G[x]] x F[x] x G[x] x [F[x] G[x]] Las de la lgica de proposiciones si no interfieren los cuantificadores.
43

Matemtica discreta. Lgica

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

Matemtica discreta. Lgica

44