Logica

Lógica Matemática
SEMESTRE 2023- I
Mg. Daniel Alfonso Quinto Pazce
1 dquintop@unmsm.edu.pe
Lógica
Matemática
Lógica Matemática
Lógica Matemática (L.M).
Lógico Matemático construyen una teoría a partir de las premisas.
Constituye una herramienta para analizar la validez de los métodos
de razonamiento lógico.
FISI- Daniel Quinto Pazce- Logica M.

La Matemáticas
La Matemática nos sirve para hacer deducciones para demostrar e
inferir resultados que puedan ser aplicados en la computación para
escribir y revisar programas.
La lógica
Estudia la forma del razonamiento, basada en reglas y técnicas
para determinar si un argumento es válido o no.
Mediante las reglas de la lógica matemática podemos determinar

si una proposición es verdadera o no, y mediante reglas de
inferencias nos permitirán que a partir de proposiciones verdaderas
mostrar la validez de los procesos de razonamientos.
2
Lógica
Matemática
Lógica Matemática
 La lógica computacional (LC)

Es el método de las tablas para justificar o hacer
interpretaciones de las salidas verdaderas que se sustentan

en el calculo proposicional.
 Validez
Significa verificar la validez de la conclusión a partir de las
premisas formalizadas del proceso de razonamiento.
 Validez en investigación
Se refiere a lo que los resultados de una investigación es
verdadero o se acerca a la verdad. Se considera son válidos
cuando el estudio está libre de errores.
 Diseño Lógico: Traduce los escenarios de expresiones
creados del esquema conceptual a módulos lógicos.
3
Lógica
Matemática
Lógica Matemática
 Por qué aparece la lógica Computacional (LC)
Mediante las reglas de la lógica matemática podemos

determinar algoritmos, si una proposición es verdadera o
no, y mediante reglas de inferencias que nos permiten a
partir de proposiciones verdaderas mostrar la validez de
razonamientos.
 Razones para usar LC
En general la lógica se aplica en la tarea diaria, ya que
cualquier programa que se realiza tiene un procedimiento
lógico.
Como las abejas construyen el panal o como cualquier
constructor edifica su obra a partir de materiales
apropiados y mediante conocimientos previamente
adquiridos.
4
Lógica
Matemática
Lógica Matemática
Competencias para la solución de problemas

computacionales

Conceptualizar, generalizar y utilizar
información.
Elaboración de modelos personales para
resolver problemas complejos.
Habilidades para aplicar conocimientos y
destrezas en situaciones nuevas.
5
Lógica
Matemática
Lógica Matemática
LOGICA PROPOCISIONAL
Proposición:

Es el enunciado lógico que puede ser verdadero o
falso pero no ambas, a la que se le puede asignar el
valor verdadero v(P) = V o valor Falso v(Q) = F
Estas dos variables se comporta como su (dominio)
Valor de Verdad
Cualidad de una proposición de ser verdadero (V) con
la trabajamos en todos los procesos.
En el álgebra de Boole lo verdadero es V = 1 y lo
Falso es F = 0, estos valores son considerado como
constante, y su salida están sometidos a comparación.
Que puede ser: F < V por eso ( 0 < 1 )
6
Lógica
Matemática
Lógica Matemática
Ejemplo
1. P: Hoy es un día jueves

2. Q: Estoy en la clase de Matemáticas Discretas.
No son Proposiciones
¡ Hola amigo ǃ
¿ Hiciste la tarea del curso?
¿ Quien soy?
¿ Cual es tu fecha de nacimiento?
Proposición Compuesta
“Si Juan toma el Tren (R), luego Juan pierde su
Cita(P), si el tren llega tarde (Q): R  (Q  P).
7
Lógica
Matemática
Lógica Matemática
PROPOSICIÓN CON CONECTORES LÓGICOS

bi
V Significa (P v Q) ˄ ¬ ( P ˄ Q ) = v
8
Lógica
Matemática
Lógica Matemática

EJEMPLO: Si n = 2 variables, entonces 22 = 4 variaciones
v P Q
VARIACIONES
SALIDA
DOMINIO
INTERPRETACIONES
9
Lógica
Matemática
Lógica Matemática
Aplicación de la Tabla de Verdad

Traduzca e Interprete el significado de la
expresión lógica siguiente:
( A y/o B ) y no( A y B ).
 Solución
10
Lógica
Matemática
Lógica Matemática
Veamos del enunciado ( A y/o B ) y no( A y B )

Hacemos la traducción y construimos la tabla.
Traducción
( A v B ) ^ ( ¬( A ^ B) A B ( A v B ) ^ ( ¬( A ^ B)
Interpretación F F F
Los elemento de A y B
No pueden ser verdadero
F V V
ni falsos simultáneamente V F V
V V F
La interpretación genera una formula:
11
Lógica
Matemática
Lógica Matemática
Algebra de BOOL: Compuertas Lógicas

Lógica Simbólica
EXOR= P Q + P Q
EXNOR= P Q + P Q
EXOR= A B + A B = A B XOR
12
Lógica
Matemática
Lógica Matemática
Relaciones con Compuertas Lógicas:
TABLA DE SISTEMAS DIGITALES

13
Lógica
Matemática
Lógica Matemática
 Aplicación: Generar el CHIP del Procesador
Diseñar un sumador completo de 1 bit para ALU de una

Computadora de Von Newmann, dos variables entradas
14
Lógica
Matemática
DISEÑO 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.
15
Lógica
Matemática
DISEÑO 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
16
Lógica
Matemática
DISEÑO DE UN MODELO LOGICO
 Ejercicio:
Diseñar un sumador completo de cuatro bits, de dos

variables de entradas (A, B )
 Ejercicio:
Diseñar un sumador completo de ocho bits, de dos variables
de entradas (A, B ).
 Ejercicio:
Diseñar un sumador completo de cuatro bits, de tres
variables de entrada (A, B, C )
17
Lógica
Matemática
P es condición suficiente para Q

Q es condición necesaria para P
P = antecedente Q = consecuente
Consecuente es V: demostración trivial

Antecedente es V demostración es vacía
Antecedente es F demostración Directa
Consecuente siempre es F demostración es
contradictorio
18
Lógica
Matemática
 Ejemplos:
Si Juan toma el autobús(R), luego Juan pierde su

Cita(P), si el autobús llega tarde (Q). diseñar un modelo
lógico. Formulación lógica es: R  (Q  P), para el diseño
del modelo lógico, debemos eliminar , ↔. etc.
19
Lógica
Matemática Principios Lógicos:
Constituyen formulas validas por sí mismas; a partir de las cuales se

pueden demostrar la valides de otros argumentos (enunciados - apoyo

Doble negación ¬(¬P)≡P
Ley de Contradicción P^¬P≡F
P.P ≡ 0
Ley del tercio excluido P v ¬ P ≡ V P +¬ P ≡ 1
Ley de implicación P→Q ≡ ¬ P v Q
Ley de Morgan ¬ ( P ^ Q) ≡ ¬ P v ¬ Q
¬ ( P v Q) ≡ ¬ P ^ ¬ Q
20
Lógica
Matemática Principios Lógicos:

Ley de Equivalencia P ↔ Q ≡ (P→Q) ^ (Q→P)
Ley de Simplificación P.P ≡ P P+P ≡ P
P.1 ≡ P P+1 ≡ 1
P.0 ≡ 0 P+0 ≡ P
P + P=1
Ley de Absorción P (P + Q) ≡ P Q
P+(PQ)≡PvQ
P + (P Q) ≡ P
21
Ejemplos
22
Matemática
Lógica
Lógica
Matemática
Ejemplo
 ARBOL SINTACTICO
p q
p
23
Lógica
Matemática
INFERENCIAS
Son formas de demostrar o deducir la validez de un proceso de

razonamiento. Para hacer deducciones, existe tres Métodos, llamados
Por reglas de inferencia

Por método del asterisco
por método de las cláusulas
Por el Método de las reglas de inferencias:
Premisa E1
proceso de Premisa E2
.
Razonamiento
.
Premisa En
.·. E
Formalizando: [E1 ^ E2 ^ E3 ... ^ En] → E
24
Lógica
Matemática
TABLAS DE INFERENCIAS
Inducción: Inferencias que va de lo particular a lo general
Heurística: Reglas empíricas 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 Premisa1
2 E2 premisa2
...
N En premisan
... A justificar
... B justificar
X E
25
Lógica
Matemática
Estudio de las Reglas de Inferencias
 I : introducción
 E : eliminación

Conjunción
Disyuncion
26
Lógica
Matemática
Reglas de Inferencia

Negación
Implicación 1,
27
Lógica
Matemática Reglas de Inferencia
(Cont…)
REGLA 5

Equivalencia
E1  E 2 , E 2  E1
 I :
E1  E2
E1  E2
 E :
E1  E 2 , E 2  E1
28
Lógica
Matemática
Aplicación
 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
29
Lógica
Matemática
Aplicación
 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 v - I, 3
5 P  (R  Q)  - I, 2, 4
30
Lógica
Matemática
Aplicación
 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
31
Lógica
Matemática
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 definición , 3
32
Lógica
Matemática
Ejemplo con enunciado
5) Dado el Enunciado Formalizar el segmento, y D.
Si Bernardo se casa, entonces Florida se suicida,. Florida se suicida sólo 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 1
2 S  ¬M Premisa 2
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 definición ,
33
Lógica
Matemática
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 1
2 PR Premisa 2
3 ¬R Premisa 3
¬
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
34
Lógica
Matemática
METODO ASTERISCO F *
El método asterisco consiste e.:
a) Construir la tabla de verdad, de acuerdo al numero de variables
b) Colocar las premisas que tenga mayor salida Fs
c) De izquierda hacia la derecha, con todas la premisa existentes
d) En la ultima columna de la tabla, debe aparecer la formula de la
FISI- Daniel Quinto Pazce- .

conclusión.
e) Para diferenciar las premisas de la conclusión se pone una marca
a la premisas, y dos marcas a la conclusión. Véase el ejemplo.
PROCEDIMIENTO
A) Hallar el valor de verdad de las premisa en la primera columna,
marcamos con asterisco (*) en todas las salidas Falsas. Que debe
ser eliminadas toda esa fila.
B) Se sigue el procedimiento hasta terminar con todas las premisas,
solo en las filas no eliminadas.
C) Final mente se evalúa la conclusión, que debe quedar con filas
verdaderas. Si cumple, entonces el proceso es valido.
35
Lógica
Matemática
METODO DEL ASTERISCO
Deducir o demostrar el siguiente proceso de razonamiento por el
método del asterisco.

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*
36
Lógica
Matemática
Deducir o demostrar el siguiente proceso de razonamiento por el
método del asterisco
P Q R P <> Q ¬p ¬q) ¬ (R  p) RvP ¬Q

F F F V v v *F
F F V V v v v v
F V F *F
F V V *F
V F F *F
V F V *F
V V F V *F
V V V V v 37
*F
Lógica
Matemática
Deducir o demostrar el siguiente proceso de razonamiento por
el método del asterisco, el siguiente enunciado.
“Si Alberto ve la televisión, Carlos también. Puede estar viendo

la televisión Belén o Carlos o Alberto o Carlos ven la televisión
pero no ambos. Carlos ve la televisión si y solo si la ve Belén”
D P  Q, Q  R , P v Q ,Q ↔R ├ P
1 PR Premisa 1
2 QR Premisa 2
3 Pv Q Premisa 3
4 Q↔R Premisa 4
38
Lógica
Matemática
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
39
Lógica
Matemática
SATISFACIBILIDAD LOGICA
Las formulas A y B son satisfacible si y solo si

existe por lo menos una asignación 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

Lógica, 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)
40
Lógica
Matemática
(P v ¬ R)  (¬Q v R v ¬S) es cierta. ¿ P, Q, R?

P Q R PQ P R (P  Q)  (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 atrás
F= (P V Q)  (P R)  (P  Q)  (P R)
Existen valores para P, Q, R, tales que la expression es cierta
41
Lógica
Matemática
Una o mas premisas o formulas (expresiones lógicas) y su
conjunción es satisfacerle si y solo si tiene al menos una
interpretación VERDADERA bajo la conectividad dominante en
una o mas filas.

P Q R PQ (P  Q)  ¬ (P Q)
¬(P Q)
F V F V V V
42
Lógica
Matemática
Revision de algunos principios
Modus Ponens (MP) Modus Tolens (MT)

Q

PRINCIPIO DE LEWIS
43
Lógica
Matemática
Principio contrario y contradictorio
Tautología (T) Contradicción (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
44
Lógica
Matemática
Teorema Recursivo

DIRECTA RECIPROCA
PQ QP
(condición necesaria) (Condición suficiente)
CONTRARIO (inversa) CONTRA RECÍPROCA

¬P  ¬Q ¬Q  ¬P
DE P  Q, Q  R , P v Q , Q↔R P
45
Lógica
Matemática
PRINCIPIO DE LEWIS

A B
ANTECEDENTE CONCECUENTE
V F
F
Es falso pasar de un antecedente verdadero a un
consecuente falso, entonces la formula es
tautológicamente equivalente
46
Lógica
Matemática
Revision de algunos principios
Calcule el valor la expresión:
P  Q  R  Q  P   Q 

V V V F F F V F V F F V
POR EL PRINCIPIO DE LEWIS, SE DETERMINA LOS SIGUIENTES VALORES:
V(Q) = V
V(P) =V
V (R) = F
 P   Q   P  Q  R   R
V F F V F V F V V F V V F
V
Lógica
Matemática
Ejercicios del principio de Lewis

1. “Si 4 es un número primo y 8 es un múltiplo de 2, entonces 4+8=12; o si 8
no es un múltiplo de 2, entonces 4+8=12 y 4 no es un número primo”.
Determinar el valor de verdad de la expresión lógica formalizada.
[ ( P  Q )  R ] v [  Q  (R  ¬ P) ], V(P) = F, V(Q) = V, V(R) = V
2. Admitiendo la falsedad de la expresión (P  Q )  [ (R  S )  T] , (Todas

son V, V(T )= F hallar el valor de verdad de (P V T )  [ (R  S ) V  Q]
3. Cuál de las siguientes premisas es tautológicamente equivalente a
P Q, Q v R, P v Q, Q R .·. ¬P
a) (P V Q )  [ (R  P ) V  Q]
b) [ ( p  q )  r ] v [  q  (r  p) ]
48
Lógica
Matemática

SIGUIENTE
TEMA DE ESTUDIO
PREDICADO
49
Lógica
Matemática
Caracteristicas
PREDICADO

a) Predicado = función(argumento del dominio)
= característica ó propiedad del argumento
= verbo u objeto del argumento
CARACTERISTICAS: FUNCION ( mayúscula) y argumento

(minúscula) P ( x ), Q (x, y), R ( x, y, z, …,n)
CLASES DE PREDICADOS
Predicado Monádico: Tiene un solo argumento

Predicado Diádico : Tiene dos argumentos
Predicado Poliádico: Tiene mas de dos argumentos
50
Lógica
Matemática
Ejemplos

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

x C
51
Lógica
Matemática
Ejemplos
d) Juan ama a Rosario A(j, r) predicado diadico

j A r

e) Juan regala flores a María R(j, f, m) predicado poliadico
j R f m
f) Si a María 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
52
Lógica
Matemática
SUSTITUCION
Si A es una fórmula, x una variable  A(x); t es un término que se
reemplaza a x entonces:

x
t ( A( x))  A( x / t )

Ejemplos:

a) x
y ( P ( y )  Q ( x ))  P (Y )  Q (Y )
x
b)  t (P(x)  Q(x))  P(t )  Q(t ) Variable ligado
c)
 t (P ( a )  Q ( a ))   t ( P (a )  Q ( a ))  P (t )  Q (t )
a a
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.
53
Lógica
Matemática
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
54
Lógica
Matemática
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 )
55
Lógica
Matemática
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); algún x son P
56
Lógica
Matemática
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))
57
Lógica
Matemática
PARTICULARIZACION
Regla:
1) Particularización UNIVERSAL:

UI :  xA ( x ) Eliminación x
x
 a A( x )
2) Generalización Universal:
GU : A ( x ) Introducción x
 xA ( x )
58
Lógica
Matemática
Particularizacion Existencial
3) Particularización Existencial: (EI)

EI :  xA
x
(x)
Eliminación x
 a A( x )
Nota: Para la eliminación requiere de una función

llamado función de Thoralf Skolem.
a)  x A(x)  A(a) x A(x)

a
x E y A( x, y)  A( x, f ( x))
59
Lógica
Matemática FUNCION DE THORALF SKOLEN
x A( x)
ó a

Z
60
Lógica
Matemática
APLICACION
Aplicación:
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
 J A(x), 1, UI
X
3 H(j)  M(j)
4 M(j)  - E, 2, 3
61
Lógica
Matemática
Aplicación
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 A( X ) , 1, UI
X
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
62
Lógica
Matemática
Aplicación
3) De x (a  P(x)) ├ a  x P(x)
1 x (a  P(x)) premisa 1

 A(x), 1, UI
X
2 a  P(x) X
De a ├ x P(x)
3
3.1 a Premisa 1
3.2 P(x)  - E, 2, 3.1
x
3.3 GU, 3.2
P(x)
4 a  x P(x)
63
Lógica
Matemática
PRINCIPIO DE DUALIDAD
DUALIDAD
Permite hallar la negación de una expresión lógica,

cualesquiera, previamente tenemos que eliminar los
conectivos: ↔ de la formula si existiera
REGLAS PARA LA NEGACION POR DUAL

1. Eliminar el conectivo ↔
2. Sustituir el conectivo v por 
ó  por v
3. La negación solo afecta a las variables lógicas.
64
Lógica
Matemática
PRINCIPIO DE DUALIDAD
Ejemplo : negar por DUAL la siguiente expresión log.

1. (P  Q v ¬ R

Sustituir, directamente al estar ausente ↔ en la exp.
 Sustituir (P v Q  ¬ R
 La negación solo afecta a las variables lógicas.
 (¬ P v ¬ Q  R, es la respuesta negada por Dual.
2. Negar por dual (¬ P  ¬ Q  ¬ R,
( Pv¬ Q¬ R
( P¬ Qv¬ R
(¬ P  Q  v R es la respuesta negada por Dual.
65
Lógica
Matemática Razonamiento Clausular:
LITERAL ( L)
Un literal (L) es un predicado que puede ser atómico

(A(x)) y/o su negación (¬ B(x)).
Un literal, No pude contener:  , ↔
Cláusula (C)
Una cláusula es la disyunción de literales,
C = L1 v L2 v L3 v … v Ln
ó C = { L1 , L2 , L3 , … , Ln }, que son equivalentes.
66
Lógica
Matemática
Ejemplos
a) Clausulas disyuncion de literales: ¬P v Q v ¬R v S

o Cláusula: {¬P, Q, ¬R, S}
b) Clausulas disyuncion de literales: P v ¬Q v ¬S v (P v R) , agru-

pando en las Cláusulas: {P, ¬Q, ¬ S}
{P}
{R}
c) (A  B) v ¬C; eliminando  ¬A v B v ¬C
Cláusula: {¬A, B, ¬C}
d) ¬(¬A) ↔ C se tiene (A  C)  (C  A) = (¬A v C)  (¬C v A)

Cláusulas: {¬A, C}
{¬C, A}
67
Lógica
Matemática
DEMOSTRAR POR CONTRADICCION
Demostración por contradicción:

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 contradicción.
Pasos para demostrar por contradictorios o por clausulas:

1. En la premisa eliminar  , ↔ , si existe
2. En la conclusión,  , ↔. eliminarlos si tuviera y ademas
2.1 Negar la conclusión por Dual
3. Obtener las cláusulas
4. Buscar los resolventes
68
Lógica
Matemática
Método buscando Resolvente
a)
C ¬C

Ø
b) ¬P  Q PR
QR ¬R
Q ¬Q
69
Lógica
Matemática
Método del Arbol, buscando R.
{M, P, ¬N} {¬M}
Árbol clausular

{P, ¬N} {¬P, Q}
{¬N, Q} {N}
{Q} {¬Q}
\ Razonamiento Valido
70
Lógica
Matemática
Método de las Tablas, buscando R.
a) De P, P  Q  Q
1 P premisa 1

2 PQ premisa 2
3 Q conclusión
4 ¬P  Q definición , 2
5 ¬Q Por dual, 3
6 {P} cláusula 1, 1
7 {¬P, Q} cláusula 2, 4
8 {¬Q} cláusula 3, 5
9 {Q} resolvente, 6, 7
10 Ø resolvente 8, 9
71
Lógica
Matemática
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 conclusión
4 ¬P  Q definición , 1
5 ¬Q  R definición , 2
6 ¬P  R definición , 3
7 P  ¬R Por dual, dual 6
8 {¬P, Q} cláusula 1, 4
9 {¬Q, R} cláusula 2, 5
10 {P} cláusula 3, 7
11 {¬R} cláusula 4, 7
12 {¬P, R} resolvente, 8, 9
13 {R} resolvente 10, 12
72
Lógica
Matemática
Resolvente: Metodo de las Tablas
De A  B, B  C, C  D ├ AD
c) AB 1 AB premisa 1
BC
CD 2 BC premisa 2

\ AD 3 CD premisa 3
4 A  D, donde ¬A  D conclusión, definición 
5 A  ¬D Por dual, 4
6 ¬A  B definición , 1
7 ¬B  C definición , 2
8 ¬C  D definición , 3
9 {¬A, B} cláusula 1, 6
10 {¬B, C} cláusula 2, 7
11 {¬C, D} cláusula 3, 8
12 {A} cláusula 4, 5
13 {¬D} cláusula 5, 5
14 {¬A, C} resolvente, 9, 10
15 {¬A,D} resolvente 14, 11
16 {D} resolvente 15, 12
73
Lógica
Matemática
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 Válido
74
Lógica
Matemática
Metodo de las Tablas con 
e) De y a(y), y (a(y)  b(y)) ├ x b(x)
1 y a(y) premisa 1

2 y (a(y)  b(y)) premisa 2
3 x b(x) conclusión
 Y A, UI, 1
Y
4 a(x)
a(x)  b(x)  Y A, UI, 2
Y
5
6 b(x)
 X A, UI, 3
X
7 a(X)
 X A, 4
Y
¬a(x)  b(x)  X A, 5
Y
8 Def.  ,
9 {a(X)} cláusula 1, 7
10 {¬a(x), b(x)} cláusula 2, 8
11 {¬b(x)} cláusula 3, negación 6
12 {b(x)} resolvente, 9, 10
13 Ø resolvente, 11, 12
75
76
Lógica
Matemática
EJERCICIOS DE LOGICA
 1.- Escriba una expresión lógica que sea verdadero en todos los casos, salvo

cuando las tres variables p, q y r son falsos.
 2.- Escriba una expresión lógica 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 apática porque ignoraba la alegría de estudiar matemáticas

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 número primo y 8 es un múltiplo de 2, entonces 4+8=12; o si 8 no

es un múltiplo de 2, entonces 4+8=12 y 4 no es un número primo. Determinar
el valor de verdad de la expresión lógica formalizada, que se presenta:
77
Lógica
Matemática
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
 Q
  P 
P
b)
P
 P
 Q
  P 
P Q
 P Q 
c)
P  Q
 P  Q
  P
P Q
d)

P Q P  Q
 P  Q   P   Q   P 
78
Lógica
Matemática
6.- Si P y Q son primitivas distintas ¿cuál de las siguientes proposiciones es tautológicamente 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
79
Lógica
Matemática
8.-Deducir la validez, usando el método de tablas.

a)
CS S  M 
, C  M ├
b)
P Q P R
, ,R ├
c)
P  Q R  Q   R  P 
, ,
├
P  Q 
,
d)
P  Q  Q  R 
, , ,
├
e)
P  Q P  R  S S  T  Q  ├
80
81

Logica

Cargado por

Información del documento

Descripción original:

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

Lógica Matemática

Mg. Daniel Alfonso Quinto Pazce

FISI- Daniel Quinto Pazce- Logica M.

Mediante las reglas de la lógica matemática podemos determinar

 La lógica computacional (LC)

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Competencias para la solución de problemas

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

PROPOSICIÓN CON CONECTORES LÓGICOS

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

Aplicación de la Tabla de Verdad

FISI- Daniel Quinto Pazce- Logica M.

Veamos del enunciado ( A y/o B ) y no( A y B )

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

TABLA DE SISTEMAS DIGITALES

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

En el Sumador de 1 bit :

Carry interno = (0, 1)

REGLAS DE LA SUMA BINARIA

FISI- Daniel Quinto Pazce- Logica M.

FISI- Daniel Quinto Pazce- Logica M.

P es condición suficiente para Q

FISI- Daniel Quinto Pazce- Logica M.

Consecuente es V: demostración trivial

FISI- Daniel Quinto Pazce- Logica M.

Constituyen formulas validas por sí mismas; a partir de las cuales se

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

FISI- Daniel Quinto Pazce- .

FISI- Daniel Quinto Pazce- Logica M.

P Q R P <> Q ¬p ¬q) ¬ (R  p) RvP ¬Q

FISI- Daniel Quinto Pazce- Logica M.

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

(P  Q)  ¬(P R) ^ ¬(Q v ¬Q) ^ (R ¬ P)

FISI- Daniel Quinto Pazce- Logica M.