Logica

Lgica Matemtica
SEMESTRE 2014 I
Prof. Daniel Quinto Pazce
Lgica
Matemtica
Lgica Matemtica
Lgica:
Lgica proposicional Lgica Simblica :

Estudia la validez del proceso de razonamiento lgico, basado en reglas y
anlisis como una herramienta de manejo lgico de los procesos, desde el
punto de vista del lenguaje y de su interpretacin.
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.
FISI- Daniel Quinto Pazce- Logica M.
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
Por qu aparece la lgica en las ciencias computacionales?
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
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 para el ingeniero, ya que le permite elaborar
especificaciones formales y formalizar lneas de razonamiento, diseo y descripcin de sistemas.
Lgica
Matemtica
Lgica Matemtica
Proposicin Compuesta (Afirmacion compuesta)

Tablas: n= # variables
= v
Lgica
Matemtica
Lgica Matemtica
N variaciones
Si N = 2 variables, entonces 2N = 4 variaciones
VARIACIONES
SALIDA
INTERPRETACIONES
Tabla Lgica (Binaria): para dos variables: N = 2

N
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
Encapsulamiento :
Carry externo
Al comienzo
siempre es cero C
Sumador de 1 bit :
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
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
DISEO DE UN MODELO LOGICA
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:
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 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
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 reglas de inferencias.
Inferencia que 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
I : introduccin
E : eliminacin
Reglas de Inferencia
Lgica
Matemtica
1,
(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) Del Enunciado se quiere Formalizar
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
premisa
premisa
premisa
De
4.1
4.2
Premisa
- E, 1, 2
R
4.3
5
- I, 4.2, 3
- E, 4
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
Lgica
Matemtica
METODO DEL ASTERISCO

Deducir el razonamiento siguiente
Q
F*
F*
F*
F*
F*
F*
F*
Lgica
Matemtica
SATISFACIBILIDAD LOGICA
Ejemplo satisfacibilidad Lgica
(P
Q)
(P
R)
Una formula es satisfacible si y solo si tiene al menos una interpretacin

Verdadera (V) , bajo la conectividad dominante.
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.
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
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
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. Fido tiene
hambre o ladra pero no ambas. 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 un objeto o argumento

Llamado 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.
Funcin (Objeto o argumento)
Lgica
Matemtica
Caracteristicas
CARACTERISTICAS: funcin y argumento

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)
= 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)
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)
P. polidico
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)
e) Juan regala flores a Mara
P. didico
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)
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 puede ser variable libre o ligado, si x es una variable

ligado, entonces depende de su variable x del argumento. 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 - Ejemplo
Lgica
Matemtica
CUANTIFICADORES
Cuantificador Universal:
( 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 )
xP( x), para todos los predicados
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)
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)
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
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
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
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
Permite hallar la negacin de una expresin lgica

o formulas proposicionales.
REGLAS
Eliminar el conectivo
Sustituir el conectivo v por
por v
La negacin solo afecta a las variables lgicas.
Lgica
Matemtica
PRINCIPIO DE DUALIDAD
Ejemplo : negar por DUAL

(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:
Un literal, No pude contener:
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
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
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
Por dual, dual 6
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}
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)
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

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica

Cargado por

Copyright:

Formatos disponibles

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?

Afirmacin: Pueden ser:

Declarativo: Un cuadrado tiene sus cuatro lados iguales.( P. simple)

FISI- Daniel Quinto Pazce- Logica M.

Porque los diferentes organismos internacionales como la Association for Computing

Proposicin Compuesta (Afirmacion compuesta)

Si N = 2 variables, entonces 2N = 4 variaciones

FISI- Daniel Quinto Pazce- Logica M.

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

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 LOGICA

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.

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

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) Del Enunciado se quiere Formalizar

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

FISI- Daniel Quinto Pazce- Logica M.

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

METODO DEL ASTERISCO

FISI- Daniel Quinto Pazce- Logica M.

Ejemplo satisfacibilidad Lgica

Una formula es satisfacible si y solo si tiene al menos una interpretacin

FISI- Daniel Quinto Pazce- Logica M.

METODO DEL ASTERISCO

Deducir el siguiente razonamiento

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

FISI- Daniel Quinto Pazce- Logica M.

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

METODO DEL ASTERISCO