Logica

Lgica Matemtica
SEMESTRE 2017 I
Prof. Daniel Alfonso Quinto Pazce
daniel.quinto.pazce@gmail.com
Lgica
Matemtica
Lgica Matemtica
Lgica:
Es un modelo matemtico del pensamiento deductivo.
que permite derivar conocimiento a partir de hechos
FISI- Daniel Quinto Pazce- Logica M.

comprobados llamados proposiciones.
Razonamiento lgico
Conjunto de proposiciones ordenada en premisas y
conclusin, y nos permite deducir.
Lgica proposicional (LP)
Estudia la validez del proceso de razonamiento. Un
razonamiento es valido. Una proposicin es verdadero.
LP esta basado en smbolos, reglas y anlisis, desde el
punto de vista de su lenguaje, se puede interpretar, y
demostrar.
Lgica
Matemtica
Lgica Matemtica
La lgica computacional (LC)

La Lgica computacional es el mtodo de las tablas de
verdad para refutar afirmaciones vlidas, que se

sustentan fundamentalmente en las salidas iguales a 1.
para cada asignacin. El mayor computador construido
hasta ahora lo tiene Japn, con capacidad terica de
hasta 41 teraflops, con 38 billones de op. X segundo.
U. Ica. Supracomputadora.
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 de la computacin, en la que ayudan para la
transferencia de informacin.
Lgica
Matemtica
Lgica Matemtica
Por qu aparece la lgica Computacional (LC)

Como una necesidad de utilizar en la estructura de datos,. En
las hiptesis de satisfaccin y en la construccin de algoritmos
eficientes
Razones para usar LC
Los agentes necesitan razonar sobre cambios ocurridos en su
entorno y cmo realizarlos esos cambios deseados.
En el preprocesamiento de instancias, se hace con la intencin de
disminuir el esfuerzo computacional.
La instancias, se refiere a solucionar el problema buscando la
asignacin de la verdad que satisface a todas las clusulas.
Lgica
Matemtica
Lgica Matemtica
Contribuciones de la LC a los Sistemas de Agentes

y Sistemas Multiagentes
razonamiento temporal
razonamiento deductivo
razonamiento inductivo
razonamiento sobre acciones y planificacin
razonamiento con prioridades y preferencias
Optimizacin Global Paralela.
Lgica
Matemtica
Lgica Matemtica
Proposicin:
Es una afirmacin verdadera, una P. puede ser V o

F, estas variables se comporta como su (dominio)
En el lgebra de Boole se representa : F = 0 V = 1,
estos valores son considerados como una constante
Que puede ser: F < V
Toda Afirmacin: Pueden ser:
Declarativo.
Imperativo.
Afirmaciones abiertas.
Lgica
Matemtica
Lgica Matemtica
Proposicin Compuesta (Afirmacion compuesta)

bi
Tablas: n= # variables = v
Lgica
Matemtica
Lgica Matemtica
En la Tabla Lgica (Binaria): para N variables, la formula es:

N

2 :
Si N = 2 variables, entonces 22 = 4 variaciones
v P Q
VARIACIONES
SALIDA
DOMINIO
INTERPRETACIONES
Lgica
Matemtica
Lgica Matemtica
Aplicacin

Traduzca e Interprete el significado de la
expresin lgica siguiente
( A y/o B ) y no( A y B ).
Lgica
Matemtica
Lgica Matemtica
Solucion
( A y/o B ) y no( A y B )

Traduccin A B ( A v B ) ^ ( ( A ^ B)
( A v B ) ^ ( ( A ^ B) F F F
F V V
Interpretacin V F V
Los elemento de A y B
No pueden ser verdadero
V V F
ni falsos simultneamente
Lgica
Matemtica
Lgica Matemtica
Relaciones con Compuertas Lgicas:

Lgica Simblica
EXOR= A B + A B
Lgica
Matemtica
Lgica Matemtica
Relaciones con Compuertas Lgicas:
Lgica Simblica

Lgica
Matemtica
Lgica Matemtica
Aplicacin:
Disear un sumador completo de 1 bit para ALU de una

Computadora de Von Newmann con dos v. de entradas
EXOR= A B + A B = A B
Lgica
Matemtica
DISEO DE UN CHIP
Encapsulamiento :
Es el ocultamiento del

estado miembro de las
compuertas.
En el Sumador de 1 bit :
Carry interno = (0, 1)

Carry =
Carry externo = (0) es nico,
al inicio.
Lgica
Matemtica
DISEO DE UN CHIP
REGLAS DE LA SUMA BINARIA

1+ 1+ 0+ 0+
1 0 1 0
1 0 1 1 0
CARRYS 1 0 0 0
Lgica
Matemtica
DISEO DE UN MODELO LOGICA
Ejercicio:
Disear un sumador completo de cuatro bits, de dos variables

de entradas (A, B ).
Ejercicio:
Disear un sumador completo de ocho bits, de dos variables
de entradas (A, B ).
Ejercicio:
Disear un sumador completo de cuatro bits, de tres
variables de entrada (A, B, C )
Lgica
Matemtica
DISEO DE UN MODELO LOGICO
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 diseo
del modelo lgico, debemos eliminar , . etc.
Lgica
Matemtica Principios Lgicos:
Son procesos de razonamiento que se considera como valido, y a partir

de este principio lgico se prueba la valides de otras expresiones.

Doble negacin (P)P
Ley de Contradiccin P^PF
P.P 0
Ley del tercio excluido P v P V P + P 1
Ley de implicacin PQ P v Q
Ley de Morgan ( P ^ Q) P v Q
( P v Q) P ^ Q
Lgica
Matemtica Principios Lgicos:

Ley de Equivalencia P Q (PQ) ^ (QP)
Ley de Simplificacin P.P P P+P P
P.1 P P+1 1
P.0 0 P+0 P
Ley de Absorcin P (P + Q) P
P + ( PQ ) P
P + PQ P + Q
Ejemplos
Matemtica
Lgica
Lgica
Matemtica
DEDUCCIONES
Son formas de demostrar o deducir la validez de un proceso de

razonamiento. Para hacer deducciones, existe tres Mtodos, llamados

Por reglas de inferencia
Por mtodo del asterisco
por mtodo de las clusulas
Por el Mtodo de las reglas de inferencias:
Premisa E1
proceso de Premisa E2
.
Razonamiento
.
Premisa En
.. E
Formalizando: [E1 ^ E2 ^ E3 ... ^ En] E

Lgica
Matemtica
INDUCCION VS HEURISTICA-DED.
Induccin: Inferencias que va de lo particular a lo general
Heurstica: Reglas empricas basadas en la experiencia.

Deducciones: Inferencias que va de lo general a lo particular
TABLA, para hacer deducciones por Reglas de inferencias
De E1 E2 E3 ... En E
1 E1 Premisa
2 E2 premisa
...
N En premisa
... A justificar
... B justificar
X E
Lgica
Matemtica
Estudio de las Reglas de Inferencias
I : introduccin
E : eliminacin

Conjuncin
Disyuncion
Lgica
Matemtica
Reglas de Inferencia

Negacin
Implicacin 1,
Lgica
Matemtica Reglas de Inferencia
(Cont)
REGLA 5

Equivalencia
E1 E2 , E2 E1
I:
E1 E2
E1 E2
E:
E1 E2 , E2 E1
Lgica
Matemtica
Aplicacin
Demostrar por las reglas de inferencia:

1)
De P Q Q P
1 P Q premisa
2 P - E, 1
3 Q - E, 1
4 Q P - I, 2, 3
Lgica
Matemtica
Aplicacin
Deducir por las reglas de inferencia:

2)

De P Q P (R Q)
1 P Q Premisa
2 P - E, 1
3 Q - E, 1
4 R Q - I, 3
5 P (R Q) - I, 2, 4
Lgica
Matemtica
Aplicacin
Demostrar por las reglas de inferencia:

3) De P (P)
1 P Premisa
2 De P P P
2.1 P Premisa
2.2 P P - I, 1, 2.1
3 (P) - I, 2
Lgica
Matemtica
Ejemplo:
De P Q,Q R P R
4)
1 P Q premisa1

2 Q R premisa2
De P R
3
3.1 P premisa
3.2 Q - E, 3.1, 1
3.3 R - E, 3.2, 2
4 P R definicin ,3
Lgica
Matemtica
Ejemplo con enunciado
5) Dado el Enunciado Formalizar el segmento, y D.
Si Bernardo se casa, entonces Florida se suicida,. Florida se suicida slo si Bernardo no se
hace monje luego si Bernardo se casa, entonces no se hace monje.

C : Bernardo se casa
S : Florida se suicida De C S,S M C M
M : Bernardo se hace monje 1 C S premisa
2 S M premisa
De C M
3
3.1 C premisa
3.2 S - E, 3.1, 1
- E, 3.2,
3.3
M 2
4 C - I, 3
5 C M - I, 4
6 C M definicin ,
Lgica
Matemtica
Ejemplo con enunciado
6) Juan esta enfermo o esta cansado, Juan esta cansado y entonces se
queda en casa. No se queda en casa. Luego esta enfermo.
P : Juan esta cansado Q : Juan esta enfermo
R : Juan se queda en casa D P Q , P R, R Q
FISI- Daniel Quinto Pazce- .

1 P Q premisa
2 P R premisa
3 R premisa

De R R
Q
4

4.1 Premisa
Q
4.2 R - E, 1, 2
R
4.3 - I, 4.2, 3

R
5 Q - E, 4
Lgica
Matemtica
METODO DEL ASTERISCO
Deducir el razonamiento siguiente

P Q R P Q R Q
P R
V V V V V F*
V V F V F*
V F V V V F*
V F F V F*
F V V V V F*
F V F V V V V
F F V F*
F F F F*
Lgica
Matemtica
Deducir el siguiente razonamiento

1. Si Alberto ve la televisin, Carlos tambin. Puede estar

viendo la televisin Beln o Carlos o Alberto o Carlos ven la
televisin pero no ambos. Carlos ve la televisin si y solo si la ve
Beln
D P Q, Q R, Pv Q ,Q R P
1 P R Premisa 1
2 Q R Premisa 2
3 Pv Q Premisa 3
4 QR Premisa 4
Lgica
Matemtica
Demuestre usando el principio del asterisco, el segmento dado

D Q R , R Q , (R P ) Q
1 Premisa 1
2 Premisa 2
3 Premisa 3
Lgica
Matemtica
SATISFACIBILIDAD LOGICA
Las formulas A y B son satisfacible si y solo si

existe por lo menos una asignacin de valores a

las variables para las cuales el resultado final es
verdadero., bajo la conectividad dominante (^).
Las formulas A y B son de satisfacibilidad

Lgica, cuando todas las formulas de la salida (V)
se puede expresar bajo la forma normal
conjuntiva (FNC).
(P Q) (P R) ^ (Q v Q) ^ (R P)
Lgica
Matemtica

P Q R P Q (P Q) (P R)
P R
F V F V V V
Analizar el algoritmo DPLL por Davis-Putnam-Logemann-

Lovelandes, un algoritmo completo basado en la vuelta hacia atrs
F= (p V q) (P R) (P Q) (P R)
Lgica
Matemtica

P Q R P Q (P Q) (P Q)
(P Q)
F V F V V V
2. Genere una formula lgica satisfacible si y solo si tiene al

menos una interpretacin verdadera, bajo la conectividad
dominante. Caso del algoritmo DPLL.
Lgica
Matemtica
Revision de algunos principios
Modus Ponens (MP) Modus Tolens (MT)

Principio de Lewis
Lgica
Matemtica
Revision de algunos principios
Calcule el valor la expresin:
P Q R Q P Q

V V V F F F V F V F F V
entonces
P= V
Q= V
R = F podemos calcular el valor de la expresin como sigue:
P Q P Q R R
V F F V F F F V F F V V F
Lgica
Matemtica
Principio contrario y contradictorio
Tautologa (T) Contradiccin (F)

A B S A B S
F F V F F F
F V V F V F
V F V V F F
V V V
V V F
Lgica
Matemtica
Teorema Recursivo

DIRECTA RECIPROCA
P Q Q P
(condicin necesaria) (Condicin suficiente)
CONTRARIO CONTRA RECPROCA

P Q Q P
DE P Q, Q R, Pv Q , QR P
Lgica
Matemtica
Ejercicios del principio de Lewis

1. Si 4 es un nmero primo y 8 es un mltiplo de 2, entonces 4+8=12; o si 8
no es un mltiplo de 2, entonces 4+8=12 y 4 no es un nmero primo.
Determinar el valor de verdad de la expresin lgica formalizada.
[(p q) r ] v[ q (r p) ]
2. Admitiendo la falsedad de la expresin (P Q ) [ (R S ) T] , (Todas

son V, T es F hallar el valor de verdad de (P V T ) [ (R S ) V Q]
3. Cul de las siguientes premisas es tautolgicamente equivalente a . Si Fido

tiene hambre, entonces Fido ladra. Fido ladra o es un perro. o Fido tiene
hambre o ladra pero no ambos. Fido ladra si y solo si Fido es un perro, en
consecuencia Fido no tiene hambre. Sea P = Fido tiene hambre,Q = Fido
ladra, R = Fido es un perro. A la proposicin: a) (P V Q ) [ (R P ) V Q]
b) [ ( p q ) r ] v[ q (r p) ]
Fido (a) por ejemplo
Lgica
Matemtica
PREDICADO
Un predicado es una funcin definida sobre uno o mas argumentos
Del dominio, que corresponde a cada letra del predicado.

Funcin (Objeto o argumento del dominio)
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 del dominio)
= caracterstica propiedad del argumento
= verbo u objeto del argumento
CARACTERISTICAS: funcin ( mayscula) y argumento

(minuscula)
CLASES DE PREDICADOS
Predicado Mondico: Tiene un solo argumento

Predicado Didico : Tiene dos argumentos
Predicado Polidico: Tiene mas de dos argumentos
Lgica
Matemtica
Ejemplos

a) Mara es una mujer: M(m) predicado mondico
m M
b) Si X N = {0, 1, 2, ...}
X es un numero par P(x) predicado mondico
Si X = 1, P(1) es F
Si X = 2, P(2) es V
c) Alguien me conoce C(x) predicado mondico

x C
Lgica
Matemtica
Ejemplos
d) Juan ama a Rosario A(j, r) predicado diadico

j A r

e) Juan regala flores a Mara R(j, f, m) predicado poliadico
j R f m
f) Si a Mara le gusta escribir y a Carlos le gusta leer entonces

a Pedro le gusta jugar.
G(m , e) G(c , l) G(p , j) predicado poliadico

Lgica
Matemtica
SUSTITUCION
Si A es una frmula, x una variable A(x); t es un trmino que se
reemplaza a x entonces:
x

Ejemplos: t ( A( x)) A( x / t )
a) x
y ( P( y ) Q( x)) P(Y ) Q(Y )
x
t ( P( x ) Q( x )) P(t ) Q(t )
b) Variable ligado
c) a a
t ( P(a ) Q(a)) t ( P(a ) Q(a)) P(t ) Q(t )
x puede ser variable libre o ligado, si x es una variable

ligado, entonces el argumento del predicado es x. En otros
casos se comporta como una constante.
Lgica
Matemtica
SUSTITUCION - Ejemplos
H(x) M(x)
H(j)
d)

M(j)
H(x) M(x), H(j) M(j)

De
1 H(x) M(x) premisa 1
2 H(j) premisa 2
3 H(j) M(j) X A(x), 1

J
4 M(j) - E, 2, 3
Lgica
Matemtica
CUANTIFICADORES
Cuantificador Universal:

xP( x), para todos los predicados
( x : a x m : P( x)) P(a1) P(a2 ) P(a3 ) ... P(an )
Cuantificador Existencial:
xP( x) Existe algunos predicados

( x : a x m : P( x)) P(a1) P(a2 ) P(a3 ) ... P(an )
Lgica
Matemtica
CUANTIFICADORES
Propiedades:
1) ( xP( x )) x P(x)

2) ( xP( x )) x P( x )
3) x(P( x ) Q( x )) xP( x ) xQ( x )
4) x(P ( x ) Q( x )) xP( x ) xQ( x )
Algunos Significados:
1) x(P(x) Q(x)); para todo x, los P son Q
2) x(P(x) Q(x)); para todo x, los P no son Q
3) xP(x); algn x son P
Lgica
Matemtica
CUANTIFICADORES
Ejemplos:
a) x P(x) x Q(x) x z (P(x) Q(z))

b) x P(x) x Q(x) x x (P(x) Q(z))
Lgica
Matemtica
PARTICULARIZACION
Regla:
1) Particularizacin UNIVERSAL:

UI : xA( x ) Eliminacin x
x
a A( x )
2) Generalizacin Universal:
GU : A( x ) Introduccin x
xA( x )
Lgica
Matemtica
Particularizacion Existencial
3) Particularizacin Existencial: (EI)

xA( x)
EI : x
Eliminacin x
a A( x )
Nota: Para la generalizacin requiere de una funcin

llamado Skolen.
a) x A(x) A(a) x A(x)

a
Vx E y A( x, y) A( x, f ( x))
Lgica
Matemtica FUNCION DE THORALF SKOLEN
x A( x)
a

Z
Lgica
Matemtica
APLICACION
Aplicacin:
1) x H(x) M(x)
FISI- Daniel Quinto Pazce- lLogica M.

H(j)
M(j)
De x H(x) M(x), H(j) M(j)
1 x (H(x) M(x)) Premisa 1
2 H(j) Premisa 2
X
3 H(j) M(j) J A(x), 1, UI
4 M(j) - E, 2, 3
Lgica
Matemtica
Aplicacin
2) De x y P(x, y) y x P(x, y)

1 x y P(x, y) premisa 1
2 y P(x, y) X
X
A( X ) , 1, UI
3 P(x, y) Y
Y
A( y ) , 2, UI
4 x P(x, y) GU , 3
5 y x P(x, y) GU , 4
Lgica
Matemtica
Aplicacin
3) De x( P(x)) x P(x)
1 x( P(x)) premisa 1

X
2 P(x) X A(x), 1, UI
De x P(x)
3
3.1 Premisa 1
3.2 P(x) - E, 2, 3.1
x
3.3 GU, 3.2
P(x)
4 x P(x)
Lgica
Matemtica
PRINCIPIO DE DUALIDAD
DUALIDAD
Permite hallar la negacin de una expresin lgica,

cualesquiera, previamente tenemos que eliminar los
conectivos: de la formula.
REGLAS PARA ELIMINAR POR DUAL

1. Eliminar el conectivo
2. Sustituir el conectivo v por
por v
3. La negacin solo afecta a las variables lgicas.
Lgica
Matemtica
PRINCIPIO DE DUALIDAD
Ejemplo : negar por DUAL la siguiente expresin log.

(P Q v R

Sustituir, directamente al estar ausente en la exp.
Sustituir (P v Q R
La negacin solo afecta a las variables lgicas.
( P v Q R, es la respuesta negada por Dual.
Negar por dual ( P Q R,
( Pv Q R
( P Q v R
( P Q v R es la respuesta negada por Dual.
Lgica
Matemtica Razonamiento Clausular:
LITERAL ( L)
Un literal (L) es un predicado que puede ser atmico

(A(x)) y/o su negacin ( B(x)).
Un literal, No pude contener: ,
Clusula:
Una clusula es la disyuncin de literales,
C = L1 v L2 v L3 v v Ln
C = { L1 , L2 , L3 , , Ln }, que son equivalentes.
Lgica
Matemtica
Ejemplos
a) Clausulas disyuncion de literales: P v Q v R v S

o Clusula: {P, Q, R, S}

b) Clausulas disyuncion de literales: P v Q v S v (P v R)
o 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) (C v A)
Clusulas: {A, C}
{C, A}
Lgica
Matemtica
DEMOSTRAR POR CONTRADICCION
Demostracin por contradiccin:

E1 E2 ... En C Formalizo (1)

(E1 E2 ... En) C defino (2)
[E1 E2 ... En C] reemplazo (3)
[(E1 E2 ... En) C ] negamos (2) en (3)
( E1 E2 ... En ) C es una contradiccin.
Pasos para demostrar por contradictorios o por clausulas:

1. En la premisa eliminar , , si existe
2. En la conclusin, eliminarlos si tuviera , .
2.1 Negar la conclusin por Dual
3. Obtener las clusulas
4. Buscar los resolventes
Lgica
Matemtica
Mtodo del Arbol, buscando R.
a)
C C

b) P Q P R
Q R R
Q Q

Lgica
Matemtica
Mtodo del Arbol, buscando R.
{M, P, N} {M}
rbol clausular

{P, N} {P, Q}
{N, Q} {N}
{Q} {Q}
Razonamiento Valido
Lgica
Matemtica
Mtodo de las Tablas, buscando R.
a) De P, P Q Q
1 P premisa 1

2 P Q premisa 2
3 Q conclusin
4 P Q definicin ,2
5 Q Por dual, 3
6 {P} clusula 1, 1
7 {P, Q} clusula 2, 4
8 {Q} clusula 3, 5
9 {Q} resolvente, 6, 7
10 resolvente 8, 9
Lgica
Matemtica
Resolvente: Metodo de las Tablas
De P Q, Q R P R
b)
1 P Q premisa 1
2 Q R premisa 2

3 P R conclusin
4 P Q definicin ,1
5 Q R definicin ,2
6 P R definicin ,3
7 P R Por dual, dual 6
8 {P, Q} clusula 1, 4
9 {Q, R} clusula 2, 5
10 {P} clusula 3, 7
11 {R} clusula 4, 7
12 {P, R} resolvente, 8, 9
13 {R} resolvente 10, 12
14 resolvente 11, 13
Lgica
Matemtica
Resolvente: Metodo de las Tablas
De A B, B C, C D A D
c) A B 1 A B premisa 1
B C
2 B C premisa 2
C D

A D 3 C D premisa 3
4 A D, donde A D conclusin, definicin
5 A D Por dual, 4
6 A B definicin ,1
7 B C definicin ,2
8 C D definicin ,3
9 {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
Lgica
Matemtica
Resolver por el met. de las tablas
d) P Q {P, Q}
Demostrar por contradictorio.
P R {P, R}
R {R} ( Se muestra su rbol clausular)
Q {Q}
FISI- Daniel Quinto Pazce- Logca M

{P, Q} {P, R}
{Q, R} {R}
{Q} {Q}
Razonamiento Vlido
Lgica
Matemtica
Metodo de las Tablas con
e) De y (y), y ( (y) (y)) x (x)
1 y (y) premisa 1

2 y ( (y) (y)) premisa 2
3 x (x) conclusin
Y
4 (y) Y A, UI, 1
5 (y) (y) Y
Y
A, UI, 2
6 (x) X A, UI, 3
X
7 (X) Y A, 4
X
8 (x) (x) Def. ,
Y
X
A, 5
9 { (X)} clusula 1, 7
10 { (x), (x)} clusula 2, 8
11 { (x)} clusula 3, negacin 6
12 { (x)} resolvente, 9, 10
13 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 :
a) verdadera cuando exactamente una de las variables P, Q y
R sean exactamente verdadero.
b) verdadero cuando exactamente dos de las tres variables
sean exactamente verdaderas.
3.- De la persona aptica porque ignoraba la alegra de estudiar matemticas

Discretas. Dar el significado formal equivalente y traducir a un lenguaje
corriente del enunciado (A y/o B) y (no (A y B))
4.- Si 4 es un nmero primo y 8 es un mltiplo de 2, entonces 4+8=12; o si 8 no

es un mltiplo de 2, entonces 4+8=12 y 4 no es un nmero primo. Determinar
el valor de verdad de la expresin lgica formalizada, que se presenta:
Lgica
Matemtica
a) P Q P Q R R
b) P Q R Q R P
c) P Q Q R R S S Q S

d) P P R P Q R P S S
5.-Diga cual es la validez de las siguientes expresiones:

P
a) P P
P Q
P
b) P P
P Q
P Q
c) P Q P
P Q P Q
P Q
d) P Q P Q P
P QP Q
Lgica
Matemtica
6.- Si P y Q son primitivas distintas cul de las siguientes proposiciones es tautolgicamente equivalentes a
P Q ?
a) Q P

b) Q P
c) P Q Q
d) P Q Q P
7.- Preparar el algoritmo de
a) P Q P R
b) P Q R P R
9.- Simplificar por propiedades:
a) P Q R Q
b) P Q P R
Lgica
Matemtica
8.-Deducir la validez, usando el mtodo de tablas.
a) C S , S M C M

b) P Q , P R , R
c) P Q , R Q , R P
d) P Q , Q R , P Q ,
e) P Q P R S S T Q

Logica

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Logica

Diunggah oleh

Hak Cipta:

Format Tersedia

Lgica Matemtica

Prof. Daniel Alfonso Quinto Pazce

FISI- Daniel Quinto Pazce- Logica M.

La lgica computacional (LC)

FISI- Daniel Quinto Pazce- Logica M.

Por qu aparece la lgica Computacional (LC)

FISI- Daniel Quinto Pazce- Logica M.

Contribuciones de la LC a los Sistemas de Agentes

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Proposicin Compuesta (Afirmacion compuesta)

FISI- Daniel Quinto Pazce- Logica M.

En la Tabla Lgica (Binaria): para N variables, la formula es:

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Carry interno = (0, 1)

REGLAS DE LA SUMA BINARIA

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Son procesos de razonamiento que se considera como valido, y a partir

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Son formas de demostrar o deducir la validez de un proceso de

FISI- Daniel Quinto Pazce- Logica M.

Formalizando: [E1 ^ E2 ^ E3 ... ^ En] E

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Demostrar por las reglas de inferencia:

FISI- Daniel Quinto Pazce- Logica M.

Deducir por las reglas de inferencia:

FISI- Daniel Quinto Pazce- Logica M.

Demostrar por las reglas de inferencia:

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- .

Deducir el razonamiento siguiente

FISI- Daniel Quinto Pazce- Logica M.

Deducir el siguiente razonamiento

FISI- Daniel Quinto Pazce- Logica M.

Demuestre usando el principio del asterisco, el segmento dado

FISI- Daniel Quinto Pazce- Logica M.

Las formulas A y B son satisfacible si y solo si

FISI- Daniel Quinto Pazce- Logica M.

Las formulas A y B son de satisfacibilidad

FISI- Daniel Quinto Pazce- Logica M.

Analizar el algoritmo DPLL por Davis-Putnam-Logemann-

FISI- Daniel Quinto Pazce- Logica M.

2. Genere una formula lgica satisfacible si y solo si tiene al

Modus Ponens (MP) Modus Tolens (MT)

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Tautologa (T) Contradiccin (F)

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

CONTRARIO CONTRA RECPROCA