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

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

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

Matemtica discreta. Lgica

Enunciados atmicos

p, q , r , s ,K

Falsedad

Verdad
6

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

Smbolos auxiliares ( , )
Matemtica discreta. Lgica

para evitar ambigedades

7

Clculo proposicional

Regla de formacin de frmulas

P, P1 , P2 L

P ::= p T (P1) (P1 P2 ) (P1 P2 ) (P1P2 ) (P1 P2 ) (P1 P2 )

Para abreviar se siguen las siguientes directrices:
Omisin de parntesis externos
Prioridad entre conectivas:

, , , , ,

Asociatividad de la implicacin: asocia a la derecha

Matemtica discreta. Lgica

Clculo proposicional

ejemplos
( p (q r )) lo escribimos p (q r )
p q r

es

p ((q) r )

p q r es distinto de
pqr

Matemtica discreta. Lgica

es

p (q r )

( p (q r ))

Clculo proposicional

Semntica del clculo proposicional

Valoracin

Valor veritativo

: L

= {0,1}

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 q p q p q pq pq p q

0
0
1
1

0
1
0
1

1
1
0
0

Matemtica discreta. Lgica

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

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

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

Matemtica discreta. Lgica

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

Matemtica discreta. Lgica

qr

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.

Matemtica discreta. Lgica

15

Clculo proposicional

ejemplo

p
0

q
0

r q r p (q r)
0
1
0

0
0
0
1
1
1
1

0
1
1
0
0
1
1

1
0
1
0
1
0
1

Matemtica discreta. Lgica

1
0
1
1
1
0
1

0
0
0
1
1
0
1
16

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

Matemtica discreta. Lgica

1
1
1
1
1
1
1

0
0
0
1
1
0
1

0
0
0
0
0
0
0

tautologa

contingencia

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

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.

Matemtica discreta. Lgica

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.

Matemtica discreta. Lgica

22

Clculo proposicional

Leyes de equivalencia lgica 1

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

Conmutativa:

Matemtica discreta. Lgica

23

Clculo proposicional

Leyes de equivalencia lgica 2

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)

Acotacin:

Matemtica discreta. Lgica

24

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

Matemtica discreta. Lgica

25

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

qr p(rq)

pqr

qr

0 0 0

0 0

0 0 1

0 1

0 1 0

1 0

0 1 1

1 1

1 0 0

0 0

1 0 1

0 1

1 1 0

1 0

1 1 1

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 vlida,

razonamiento correcto:
{pq, p}= q
premisas

Consecuencia lgica no vlida,

razonamiento incorrecto:
{pq, p} q
premisas

conclusin

conclusin

pq

0 0

0 1

1 0

1 1

p q

pq

p q

0 0

0 1

1 0

1 1

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.

Matemtica discreta. Lgica

43

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