Professional Documents
Culture Documents
SEMESTRE 2014 I
Lgica
Matemtica
Lgica Matemtica
Lgica:
La lgica computacional :
La lgica computacional utiliza razonamiento lgico para analizar, demostrar o
refutar afirmaciones validas, que se sustentan fundamentalmente en la capacidad
computacional y algortmico para los futuros ingenieros de sistemas.
Desde la publicacin de los trabajos de Herbrand en 1930 la lgica computacional
se ha convertido en un valioso instrumento conceptual al servicio de las ciencias
computacionales, en la que ayudan para representar el conocimiento y para
soportar el diseo de sistemas de informacin, es decir, hoy la lgica
computacional se aborda desde la perspectiva de aplicacin a la computacin.
Es la Ciencia que estudia los principios del razonamiento logico, que ofrece
lenguajes formales para expresar el conocimiento , y operacionalizar
mediante la demostracion , y determinar la validez de un argumento.
Lgica
Matemtica
Lgica Matemtica
Proposicin:
Es una afirmacin que puede ser V o F, esta es una cte. F < V.
En lgebra de Boole se representa : F = 0 y la V = 1
Lgica
Matemtica
Lgica Matemtica
Tablas: n= # variables
= v
Lgica
Matemtica
Lgica Matemtica
N variaciones
VARIACIONES
SALIDA
INTERPRETACIONES
Lgica
Matemtica
Lgica Matemtica
Lgica Simblica
Lgica
Matemtica
Lgica Matemtica
Aplicacin:
Disear un sumador completo de 1 bit para ALU de una
Computadora de Von Newmann de dos v. de entradas
Lgica
Matemtica
DISEO DE UN CHIP
Encapsulamiento :
Carry externo
Al comienzo
siempre es cero C
Sumador de 1 bit :
Lgica
Matemtica
DISEO DE UN CHIP
1+
1
10
Lgica
Matemtica
Ejercicios:
Disear un sumador completo de ocho bits, de tres variables
de entrada (A, B, C )
Ejercicios:
Disear un sumador completo de ocho bits, de dos variables
de entradas (A, B ).
Lgica
Matemtica
Ejemplos:
Si Juan toma el autobs(R), luego Juan pierde su
Cita(P), si el autobs llega tarde (Q). disear un modelo
lgico. Formulacin lgica es: R (Q P), para el modelo
eliminamos
Lgica
Matemtica
Principios Lgicos:
(P)P
P^PF
P.P 0
Ley del tercio excluido P v P V P + P 1
Ley de Contradiccin
Ley de implicacin
Ley de Morgan
PQ P v Q
( P ^ Q) P v Q
( P v Q) P ^ Q
Doble negacin
Lgica
Matemtica
Principios Lgicos:
Ley de Simplificacin
Ley de Absorcin
P Q (PQ) ^ (QP)
P.P P
P+P P
P.1 P
P+1 1
P.0 0
P+0 P
P (P + Q) P
P + ( PQ ) P
P + PQ P + Q
Ley de Equivalencia
Ejemplos
Lgica
Matemtica
Lgica
Matemtica
INFERENCIAS
Mtodos
Lgica
Matemtica
INDUCCION VS HEURISTICA
Induccin:
Heurstica:
De
E1
E2
E3
...
En
E1
Premisa
E2
premisa
En
premisa
...
justificar
...
justificar
...
Lgica
Matemtica
I : introduccin
E : eliminacin
Reglas de Inferencia
Lgica
Matemtica
Reglas de Inferencia
1,
Reglas de Inferencia
(Cont)
Lgica
Matemtica
REGLA 5
E:
E1
E2 , E2
E1 E2
E1 E2
E2 , E2
E1
E1
I:
E1
Lgica
Matemtica
Aplicacin
De
premisa
- E, 1
- E, 1
- I, 2, 3
1)
Lgica
Matemtica
Aplicacin
De
1
2
3
4
5
P
P
Q
Q
P
Q
R Q
P (R Q)
P (R Q)
Premisa
- E, 1
- E, 1
- I, 3
- I, 2, 4
2)
Lgica
Matemtica
Aplicacin
Premisa
De
2.1
2.2
3
(P)
(P)
Premisa
- I, 1, 2.1
- I, 2
3)
Lgica
Matemtica
De
Q,Q
premisa1
premisa2
De
3.1
premisa
3.2
- E, 3.1, 1
3.3
- E, 3.2, 2
definicin
,3
4)
Ejemplo:
Lgica
Matemtica
premisa
De
3.1
premisa
3.2
- E, 3.1, 1
3.3
- E, 3.2,
2
- I, 3
- I, 4
definicin ,
Lgica
Matemtica
6)
premisa
premisa
premisa
De
4.1
4.2
Premisa
- E, 1, 2
R
4.3
5
- I, 4.2, 3
- E, 4
Lgica
Matemtica
F*
F*
F*
F*
F*
F*
F*
Lgica
Matemtica
SATISFACIBILIDAD LOGICA
(P
Q)
(P
R)
(P
R)
(P
Q)
(P
R)
Lgica
Matemtica
Q, Q
R, Pv Q
,Q
Premisa 1
Premisa 2
Pv Q
Premisa 3
QR
Premisa 4
Lgica
Matemtica
R , R
Q , (R
P )
Premisa 1
Premisa 2
Premisa 3
Lgica
Matemtica
Principio de Lewis
Lgica
Matemtica
P Q
Q
F V
F
V
entonces
P=V
Q= V
R = F podemos calcular cualquier expresion
Lgica
Matemtica
Tautologa (T)
Contradiccin (F)
B
V
V
Lgica
Matemtica
DIRECTA
P
Q
(condicin necesaria)
RECIPROCA
Q
P
(Condicin suficiente)
CONTRARIO
P
Q
CONTRA RECPROCA
Q
P
Q, Q
R, Pv Q
, QR
Teorema Recursivo
Lgica
Matemtica
Q)
[ (R
S)
T] , hallar el
Lgica
Matemtica
PREDICADO
F: D1 x D2 x D3 x ... x Dm ---> S
(X1, X2, X3, , Xn) ----> F(X1, X2, X3, , Xn) = Y
argumentos
Dominio:
D = D1x D2x D3x ... x Dm
Todo predicado cumple las mismas propiedades de una
proposicin simple.
Lgica
Matemtica
Caracteristicas
a) Predicado = funcin(argumento)
= caracterstica propiedad(argumento)
= verbo u objeto (argumento)
Lgica
Matemtica
Ejemplos
b) Si X
M(m) P. mondico
N = {0, 1, 2, ...}
X es un numero par
P(x)
Si X = 1, P(1) es F
Si X = 2, P(2) es V
c) Alguien me conoce
x
C
C(x)
Lgica
Matemtica
Ejemplos
A(j, r)
R(j, f, m)
P. polidico
G(c , l)
G(p , j)
P. didico
Lgica
Matemtica
SUSTITUCION
a)
b)
c)
x
t (
P(x)
Q( x))
P(Y ) Q(Y )
Q(x))
a
t ( P( a )
A( x / t )
Q(a))
P(t )
Q(t )
a
t ( P( a )
Q(a))
P(t ) Q(t )
x
t ( A( x))
Lgica
Matemtica
H(x)
H(j)
M(x)
M(j)
De
1
2
3
4
H(x)
M(x), H(j)
H(x)
M(x)
H(j)
H(j)
M(j)
M(j)
M(j)
premisa 1
premisa 2
X A(x), 1
J
- E, 2, 3
d)
SUSTITUCION - Ejemplo
Lgica
Matemtica
CUANTIFICADORES
Cuantificador Universal:
Lgica
Matemtica
CUANTIFICADORES
Propiedades:
( xP( x ))
( xP( x ))
3)
4)
x(P( x )
x(P( x )
x
x
Q( x ))
Q( x ))
P( x )
P(x)
xP( x )
xP( x )
xQ( x )
xQ( x )
Algunos Significados:
1)
2)
x(P(x)
x(P(x)
3)
1)
2)
Lgica
Matemtica
CUANTIFICADORES
Ejemplos:
a) x P(x)
x P(x)
x Q(x)
z (P(x)
x
x (P(x)
Q(z))
Q(z))
b)
x Q(x)
Lgica
Matemtica
PARTICULARIZACION
x
a A( x )
2) Generalizacin Universal:
GU : A( x ) Introduccin
xA( x )
Regla:
1) Particularizacin UNIVERSAL:
UI : xA(x) Eliminacin
Lgica
Matemtica
Particularizacion Existencial
3) Particularizacin Existencial:
xA( x )
x
a A( x )
Eliminacin
x A(x) A(a)
Vx E y A( x, y )
x A(x)
a
A( x, f ( x))
EI :
Lgica
Matemtica
x A( x)
a
FISI- Daniel Quinto Pazce- Logica M.
Lgica
Matemtica
APLICACION
M(x)
M(j)
De
1
2
3
4
x H(x)
M(x), H(j)
x (H(x)
M(x))
H(j)
H(j)
M(j)
M(j)
M(j)
Premisa 1
Premisa 2
X
J A(x),
1, UI
- E, 2, 3
Aplicacin:
1) x H(x)
H(j)
Lgica
Matemtica
De
y P(x, y)
y P(x, y)
y P(x, y)
P(x, y)
x P(x, y)
x P(x, y)
x P(x, y)
premisa 1
X
X
A( X )
Y
A( y )
Y
, 1, UI
, 2, UI
GU , 3
GU , 4
2)
Aplicacin
Lgica
Matemtica
3)
Aplicacin
x(
P(x))
x(
P(x))
P(x)
x P(x)
premisa 1
X
X
De
A(x), 1, UI
3.1
x P(x)
Premisa 1
3.2
P(x)
- E, 2, 3.1
3.3
x
P(x)
GU, 3.2
x P(x)
De
Lgica
Matemtica
PRINCIPIO DE DUALIDAD
DUALIDAD
FISI- Daniel Quinto Pazce- Logica M.
por v
La negacin solo afecta a las variables lgicas.
Lgica
Matemtica
PRINCIPIO DE DUALIDAD
(P Q v R
sustituir
Sustituir (P v Q
R
La negacin solo afecta a las variables lgicas.
( P v Q
R
Lgica
Matemtica
Razonamiento Clausular:
Clusula:
Una clusula es la disyuncin de literales,
L1 v L2 v L3 v v Ln
C = { L1 , L2 , L3 , , Ln }
LITERAL ( L)
Un literal (L) es un predicado que puede ser
atmico (A(x)) y/o su negacin ( A(x)).
Lgica
Matemtica
Ejemplos
a) P v Q v R v S
Clusula: {P, Q, R, S}
b) P v Q v S v (P v R)
Clusulas:
{P, Q, S}
{P}
{R}
c) (A B) v C eliminando A v B v C
Clusula: {A, B, C}
d) (A) C = (A C) (C A) = (A v C)
Clusulas:
{A, C}
{C, A}
(C v A)
Lgica
Matemtica
E2
[E1
En
E2
E2
[(E1
( E1
...
...
E2
E2
Formalizo
En)
En
...
...
defino
C]
reemplazo
En)
C ]
En )
negamos
(1)
(2)
(3)
(2) en (3)
es una contradiccin.
Pasos:
Simplificacin
Negar la conclusin
Obtener el resolvente por clusulas
Si el resolvente es vaco, se ha demostrado la valides por resolvente.
(E1
...
Lgica
Matemtica
Resolvente:
a)
b) P
Lgica
Matemtica
Ejemplo:
{M, P, N}
{M}
{P, Q}
{N, Q}
{N}
{Q}
{Q}
Razonamiento Valido
{P, N}
rbol clausular
Lgica
Matemtica
a)
Aplicacin
De
P, P
Por dual, 3
{P}
clusula 1, 1
{P, Q}
clusula 2, 4
{Q}
clusula 3, 5
{Q}
10
premisa 1
Q
premisa 2
conclusin
definicin
,2
resolvente, 6, 7
resolvente 8, 9
Lgica
Matemtica
b)
Aplicacin
De
Q, Q
premisa 1
premisa 2
conclusin
definicin
,1
definicin
,2
definicin
,3
{P, Q}
clusula 1, 4
{Q, R}
clusula 2, 5
10
{P}
clusula 3, 7
11
{R}
clusula 4, 7
12
{P, R}
13
{R}
resolvente 10, 12
14
resolvente 11, 13
resolvente, 8, 9
Lgica
Matemtica
c)
Aplicacin
De
B
C
D
B, B
C, C
premisa 1
premisa 2
premisa 3
definicin
,1
definicin
,2
definicin
,3
{A, B}
clusula 1, 6
10
{B, C}
clusula 2, 7
11
{C, D}
clusula 3, 8
12
{A}
clusula 4, 5
13
{D}
clusula 5, 5
14
{A, C}
resolvente, 9, 10
15
{A,D}
resolvente 14, 11
16
{D}
resolvente 15, 12
17
resolvente 16, 13
D
D
conclusin, definicin
Por dual, 4
A
B
C
Lgica
Matemtica
d)
P
P
{P, Q}
{P, R}
{R}
{Q}
{P, Q}
{P, R}
{Q, R}
{R}
{Q}
{Q}
Razonamiento Vlido
Q
R
R
Q
Lgica
Matemtica
e)
De
y (y),
y ( (y)
(y))
x (x)
y (y)
premisa 1
y ( (y)
x (x)
conclusin
(y)
Y
Y
A(x), UI, 1
(y)
Y
Y
A(x), UI, 2
(x)
(X)
(x)
{ (X)}
clusula 1, 7
10
{ (x), (x)}
clusula 2, 8
11
{ (x)}
12
{ (x)}
13
(y))
premisa 2
(y)
X
X
A(x), UI, 3
Y
X
(x)
Def.
Y
X
A(x), 4
A(x), 5
clusula 3, negacin 6
resolvente, 9, 10
resolvente, 11, 12
Lgica
Matemtica
EJERCICIOS DE LOGICA
1.- Escriba una expresin lgica que sea verdadero en todos los casos, salvo
cuando las tres variables p, q y r son falsos.
2.- Escriba una expresin lgica compuesta que sea :
Lgica
Matemtica
EJERCICIOS DE LOGICA
b)
P Q
c)
Q
R
R
Q
a)
P Q
P
b)
P Q
c)
P
P Q P
d)
P
P QP Q
d) P
Lgica
Matemtica
EJERCICIOS DE LOGICA
7.- Si P y Q son primitivas distintas cul de las siguientes proposiciones es tautolgicamente equivalentes a
P Q ?
Q
b)
c)
d)
P
P
P Q
P
P
R
R
P
P Q
b)
P Q
R
P
Q
R
a)
Lgica
Matemtica
EJERCICIOS DE LOGICA
S ,
d) P
e) P
Q , Q
Q
R , P Q ,
P R
b) P Q , P
R ,
R
c) P
Q , R
Q , R P