Logica de Conjuntos

Lgica Matemtica
SEMESTRE 2015 1
Prof. Daniel Quinto Pazce

daniel.quinto.pazce@gmail.com
Lgica
Matemtica
Lgica Matemtica
Lgica:
Lgica proposicional Lgica Simblica :

Estudia la validez del proceso de razonamiento lgico, basado en simbolos,
reglas y anlisis como una herramienta del modelo lgico de los procesos,
desde el punto de vista del lenguaje, de su interpretacin, y demostracion.
La lgica computacional :
La lgica computacional utiliza razonamiento lgico para analizar, y/o refutar
afirmaciones validas, que se sustentan fundamentalmente en la capacidad
computacional y algortmico de los procesos a resolver.
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 computacin, en la que ayudan para representar el conocimiento de la ciencia, y
para soportar el diseo de sistemas de informacin, es decir, hoy la lgica
computacional se aborda desde la perspectiva de aplicacin y creacin de
tecnologa.
FISI- Daniel Quinto Pazce- Logica M.
Es la Ciencia que estudia los principios del razonamiento logico, que ofrece
parametros formales para expresar el conocimiento , y operacionalizar
mediante la deduction, y verificar la validez de ese argumento.
Lgica
Matemtica
Lgica Matemtica
Por qu aparece la lgica en las ciencias computacionales?
Proposicin:
Es una afirmacin que puede ser V o F, estas variables se comporta; dominio
En lgebra de Boole se representa : F = 0 y la V = 1, esta es una cte.
Que puede ser: F < V
Toda Afirmacin:
Pueden ser:
Declarativo: Un cuadrado tiene sus cuatro lados iguales.( P. simple)
Imperativo: Bate todos los das.
Admirativo: Eso es grandioso !
Interrogativo: Qu es eso?
Afirmaciones abiertas: Las espinacas son ----------------- ---------------
Porque los diferentes organismos internacionales como la Association for Computing

Machinery (ACM-), y el Institute for Electrical and Electronic Engineers (IEEE). Proponen
utilizar la lgica en las Ciencias Computacionales como instrumento de la tarea de
representacin y resolucin de problemas por medio del computador. Adems, reconocen el
carcter fundamental de la lgica como herramienta imprescindible de la ciencia de
computacin, ya que le permite elaborar especificaciones formales y formalizar lneas de
razonamiento, de diseo y descripcin de modelos de sistemas.
Lgica
Matemtica
Lgica Matemtica
Proposicin Compuesta (Afirmacion compuesta)

Tablas: n= # variables
= v
Lgica
Matemtica
Lgica Matemtica
En la Tabla Lgica (Binaria): para dos variables: N = 2
numero de variaciones 4
Si N = 2 variables, entonces 22 = 4 variaciones
v
VARIACIONES
SALIDA
INTERPRETACIONES
Lgica
Matemtica
Lgica Matemtica
Relaciones con Compuertas Lgicas:
Lgica Simblica
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 de dos v. de entradas
Lgica
Matemtica
DISEO DE UN CHIP
En el Sumador de 1 bit :
El Carry externo, se denota como C :
Al comienzo siempre el Carry externo
es cero C
Encapsulamiento :
Es el ocultamiento del
estado miembro de las
compuertas.
Lgica
Matemtica
DISEO DE UN CHIP
REGLAS DE LA SUMA BINARIA

1 + 0 + 0+
0
1
0
1
1
0
1+
1
10
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.
(P)P
P^PF
P.P 0
Ley del tercio excluido P v P V P + P 1

Ley de implicacin
Ley de Morgan
PQ P v Q
( P ^ Q) P v Q
( P v Q) P ^ Q
Doble negacin
Ley de Contradiccin
Lgica
Matemtica
Principios Lgicos:
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
Ley de Simplificacin
Ejemplos
Lgica
Matemtica
Lgica
Matemtica
INFERENCIAS
Mtodos
Por reglas de inferencia

Por mtodo del asterisco
por mtodo de las clusulas

Por el Mtodo de las reglas de inferencias:
Premisa E1
Premisa E2
.
.
Premisa En
.. E
Formalizando: [E1 ^ E2 ^ E3 ... ^ En] E
Son formas de demostrar o deducir la validez de un proceso de

razonamiento basados en cinco reglas de inferencias.
Toda Inferencia generalmente va de lo General a lo Particular.
Lgica
Matemtica
INDUCCION VS HEURISTICA
Induccin:
Inferencias que va de lo particular a lo general
Heurstica:
Reglas empricas basadas en la experiencia.
De
E1
E2
E3
...
En
E1
Premisa
E2
premisa
En
premisa
...
justificar
...
justificar
...
TABLA, para hacer deducciones por Reglas de inferencias
Lgica
Matemtica
Estudio de Reglas de Inferencias
I : introduccin
E : eliminacin
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
Demostrar por las reglas de inferencia:
De
premisa
- E, 1
- E, 1
- I, 2, 3
1)
Lgica
Matemtica
Aplicacin
Deducir por las reglas de inferencia:
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
Demostrar por las reglas de inferencia:
De
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
Ejemplo con enunciado
5) Dado el Enunciado Formalizar el segmento, y D.
premisa
De
3.1
premisa
3.2
- E, 3.1, 1
3.3
- E, 3.2,
2
- I, 3
- I, 4
definicin ,
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
De C
S,S
M
C M
S : Florida se suicida
M : Bernardo se hace monje
1
C
S
premisa
Lgica
Matemtica
6)
Ejemplo con enunciado
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
P
premisa
premisa
premisa
De
4.1
4.2
Premisa
- E, 1, 2
R
4.3
- I, 4.2, 3
- E, 4
FISI- Daniel Quinto Pazce- .
Lgica
Matemtica
METODO DEL ASTERISCO

Deducir el razonamiento siguiente
Q
F*
F*
F*
F*
F*
F*
F*
Lgica
Matemtica
SATISFACIBILIDAD LOGICA
Ejemplo satisfacibilidad Lgica, cuando todas las formulas estn

en la forma normal conjuntiva (FNC),y es parte de la complejidad.
Q
(P
Q)
(P
R)
Es decir Clausulas unidas por conjunciones. Una formula es satisfacible, si y

solo si tiene al menos una interpretacin Verdadera (V) , bajo la conectividad
dominante. Analizar el algoritmo DPLL por Davis-Putnam-LogemannLovelandes, un algoritmo completo basado en la vuelta hacia atrs
F= (p V q)
(P
R)
(P
Q)
(P
R)
Lgica
Matemtica
Deducir el siguiente razonamiento
Q, Q
R, Pv Q
,Q
Premisa 1
Premisa 2
Pv Q
Premisa 3
QR
Premisa 4
2. Genere una formula lgica satisfacible si y solo si tiene al

menos una interpretacin verdadera, bajo la conectividad
dominante. Caso del algoritmo DPLL.
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
Lgica
Matemtica
R , R
Q , (R
P )
Premisa 1
Premisa 2
Premisa 3
Demuestre usando el principio del asterisco, el segmento dado
Lgica
Matemtica
Revision de algunos principios
Modus Ponens (MP)
Principio de Lewis
Modus Tolens (MT)
Lgica
Matemtica
Revision de algunos principios

P
Calcule el valor la expresin:
P Q
Q
F V
F
V
Existe una contradiccin, pues

los valores de P y Q son
verdaderos y las alternativas
posibles no coinciden
entonces
P=V
Q= V
R = F podemos calcular cualquier expresion
Lgica
Matemtica
Principio contrario y contradictorio
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
fido
Teorema Recursivo
Lgica
Matemtica
Ejercicios del principio de Lewis
2. Admitiendo la falsedad de la expresin (P

valor de verdad de (P V T ) [ (R
S)V
Q)
Q]
[ (R
S)
T] , hallar el
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) ]
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) ]
Lgica
Matemtica
PREDICADO
Un predicado es una funcin definida sobre uno o mas argumentos

Del dominio, que corresponde a cada letra del 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.
Funcin (Objeto o argumento del dominio)
Lgica
Matemtica
Caracteristicas
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
a) Predicado = funcin(argumento del dominio)

= caracterstica propiedad del argumento
= verbo u objeto del argumento
Lgica
Matemtica
Ejemplos
b) Si X
M(m)
predicado mondico
P(x)
predicado mondico
C(x)
predicado mondico
N = {0, 1, 2, ...}
X es un numero par
Si X = 1, P(1) es F
Si X = 2, P(2) es V
c) Alguien me conoce
x
C
a) Mara es una mujer:

m
M
Lgica
Matemtica
Ejemplos
d) Juan ama a Rosario

j
A
r
A(j, r)
R(j, f, m) predicado poliadico
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
e) Juan regala flores a Mara
predicado diadico
Lgica
Matemtica
SUSTITUCION
Si A es una frmula, x una variable A(x); t es un trmino que se

reemplaza a x entonces:
Ejemplos:
x
y ( P( y )
a)
b)
c)
x
t (
P(x)
a
t (
Q( x))
Q(x))
P(a)
A( x / t )
P(Y ) Q(Y )
P(t )
Q(a))
Q(t )
a
t ( P( a )
Q(a))
Variable ligado
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.
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 - Ejemplos
Lgica
Matemtica
CUANTIFICADORES
Cuantificador Universal:
Cuantificador Existencial:
xP( x) Existe algunos predicados

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

( x : a x m : P( x)) P(a1) P (a2 ) P (a3 ) ... P (an )
Lgica
Matemtica
CUANTIFICADORES
Propiedades:
( xP ( x ))
x P(x )
( xP ( x ))
x P(x)
x(P ( x )
Q( x ))
xP ( x )
x(P ( x )
Q( x ))
xP ( x )
xQ( x )
xQ( x )
Algunos Significados:
1)
2)
x(P(x)
x(P(x)
Q(x)); para todo x, los P son Q

Q(x)); para todo x, los P no son Q
3)
xP (x); algn x son P
1)
2)
3)
4)
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: (EI)

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

llamado Skolen.
a)
x A(x) A(a)
Vx E y A( x, y)
x A(x)
a
A( x, f ( x))
EI :
Lgica
Matemtica
FUNCION DE THORALF SKOLEN
x A( x)
a
Lgica
Matemtica
APLICACION
M(x)
M(j)
De
1
2
3
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
FISI- Daniel Quinto Pazce- lLogica M.
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
REGLAS
Eliminar el conectivo
Sustituir el conectivo v por
por v
La negacin solo afecta a las variables lgicas.
Permite hallar la negacin de una expresin lgica, teniendo

en cuenta, de eliminar los conectivos:
previamente.
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 de la expresin.
Lgica
Matemtica
Razonamiento Clausular:
Un literal, No pude contener:
Clusula:
Una clusula es la disyuncin de literales,
C = L1 v L2 v L3 v v Ln
o C = { L1 , L2 , L3 , , Ln }, que son equivalentes.
LITERAL ( L)
Un literal (L) es un predicado que puede ser atmico
(A(x)) y/o su negacin ( B(x)).
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)
Clusulas:
{A, C}
{C, A}
(C A) = (A v C)
(C v A)
Lgica
Matemtica
DEMOSTRAR POR CONTRADICCION
Demostracin por contradiccin:

E1
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, y si tuviera
, eliminarlos.
Obtener el resolvente por clusulas
Si el resolvente es vaco, se ha demostrado la valides por resolvente.
(E1
...
Lgica
Matemtica
Resolvente: Metodo del Arbol

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)
Resolvente: Metodo de las Tablas

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)
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
Por dual, dual 6
resolvente, 8, 9
Lgica
Matemtica
c)

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
Resolver por el met. de las tablas

{P, Q}
{P, R}
{R}
{Q}
{P, Q}
Demostrar por contradictorio.

( Se muestra su rbol clausular)
{P, R}
{Q, R}
{R}
{Q}
{Q}
Razonamiento Vlido
FISI- Daniel Quinto Pazce- Logca M
Q
R
R
Q
Lgica
Matemtica
e)
Metodo de las Tablas con
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 :
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.
Lgica
Matemtica
b)
P Q
c)
Q
R
R
Q
6.-Diga cual es la validez de las siguientes expresiones:

P
a)
P Q
P
b)
P Q
c)
P
P Q P
d)
P
P QP Q
d) P
Lgica
Matemtica
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
8.- Preparar el algoritmo de
a)
b)
P Q
P
P
R
R
P
9.- Simplificar por propiedades:

a)
P Q
b)
P Q
R
P
Q
R
a)
Lgica
Matemtica
10.-Deducir la validez, usando el mtodo de tablas.

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

Logica de Conjuntos

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logica de Conjuntos

Enviado por

Direitos autorais:

Formatos disponíveis

Lgica Matemtica

Prof. Daniel Quinto Pazce

Lgica proposicional Lgica Simblica :

FISI- Daniel Quinto Pazce- Logica M.

Por qu aparece la lgica en las ciencias computacionales?

FISI- Daniel Quinto Pazce- Logica M.

Porque los diferentes organismos internacionales como la Association for Computing

Proposicin Compuesta (Afirmacion compuesta)

En la Tabla Lgica (Binaria): para dos variables: N = 2

FISI- Daniel Quinto Pazce- Logica M.

Relaciones con Compuertas Lgicas:

FISI- Daniel Quinto Pazce- Logica M.

Relaciones con Compuertas Lgicas:

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

REGLAS DE LA SUMA BINARIA

FISI- Daniel Quinto Pazce- Logica M.

DISEO DE UN MODELO LOGICA

FISI- Daniel Quinto Pazce- Logica M.

DISEO DE UN MODELO LOGICO

FISI- Daniel Quinto Pazce- Logica M.

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

Ley del tercio excluido P v P V P + P 1

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Por reglas de inferencia

por mtodo de las clusulas

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

FISI- Daniel Quinto Pazce- Logica M.

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

Inferencias que va de lo particular a lo general

Reglas empricas basadas en la experiencia.

FISI- Daniel Quinto Pazce- Logica M.

TABLA, para hacer deducciones por Reglas de inferencias

Estudio de Reglas de Inferencias

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.

Ejemplo con enunciado

5) Dado el Enunciado Formalizar el segmento, y D.

FISI- Daniel Quinto Pazce- Logica M.

Si Bernardo se casa, entonces Florida se suicida,. Florida se suicida slo si Bernardo no se

Ejemplo con enunciado

Juan esta enfermo o esta cansado, Juan esta cansado y entonces se

FISI- Daniel Quinto Pazce- .

METODO DEL ASTERISCO

FISI- Daniel Quinto Pazce- Logica M.

Ejemplo satisfacibilidad Lgica, cuando todas las formulas estn

Es decir Clausulas unidas por conjunciones. Una formula es satisfacible, si y

FISI- Daniel Quinto Pazce- Logica M.

METODO DEL ASTERISCO

Deducir el siguiente razonamiento

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

FISI- Daniel Quinto Pazce- Logica M.