Logica 1
Logica 1
Logica 1
Reglas de
inferencias
SEMESTRE 2021- 1
1 claudiopazce@gmail.com,
Lógica
Matemática
Lógica Matemática
Lógica formal
Estudia las leyes del pensamiento lógico y su formalización en lenguajes
naturales para traducirlos e interpretarlos mediante tablas de verdad de una
sentencia lógica.
2
Lógica
Matemática
Lógica Matemática
3
Lógica
Matemática
Lógica Matemática
Por qué aparece la lógica Computacional (LC)
Como una necesidad de utilizar su conocimiento con en el
Lógica
Estudia la estructura o formas del pensamiento, tales
5
Lógica
Matemática
Lógica Matemática
Proposición:
Es cualquier enunciado que se le puede asignar
un valor verdadero V o falso F, pero no ambas.
6
Lógica
Matemática
Lógica Matemática
Tablas: n= # variables de 2 a la n = v
7
Lógica
Matemática
Lógica Matemática
VARIACIONES
SALIDA
DOMINIO
INTERPRETACIONES
8
Lógica
Matemática
Lógica Matemática
Aplicación
9
Lógica
Matemática
Lógica Matemática
Solucion
( A y/o B ) y no( A y B )
EXOR= P Q + P Q
EXNOR= P Q + P Q
11
Lógica
Matemática
Lógica Matemática
Relaciones con Compuertas Lógicas:
Lógica Simbólica
EXOR= A B + A B = A B XSOR
13
Lógica
Matemática
DISEÑO DE UN CHIP
Encapsulamiento :
Es el ocultamiento del
14
Lógica
Matemática
DISEÑO DE UN CHIP
CARRYS 1 0 0 0
15
Lógica
Matemática
DISEÑO DE UN MODELO LOGICA
Ejercicio:
Diseñar un sumador completo de cuatro bits, de dos
16
Lógica
Matemática
DISEÑO DE UN MODELO LOGICO
Ejemplos:
Si Juan toma el autobús(R), luego Juan pierde su
17
Lógica
Matemática Principios Lógicos:
18
Lógica
Matemática Principios Lógicos:
19
FISI- Daniel Quinto Pazce- Logica M.
Ejemplos
20
Matemática
Lógica
Lógica
Matemática
Ejemplo
ARBOL SINTACTICO
p q
p
21
Lógica
Matemática
DEDUCCIONES
22
Lógica
Matemática
INDUCCION VS HEURISTICA-DED.
Inducción: Inferencias que va de lo particular a lo general
Heurística: Reglas empíricas basadas en la experiencia.
De E1 E2 E3 ... En E
1 E1 Premisa
2 E2 premisa
...
N En premisa
... A justificar
... B justificar
X E
23
Lógica
Matemática
Estudio de las Reglas de Inferencias
I : introducción
E : eliminación
Disyuncion
24
Lógica
Matemática
Reglas de Inferencia
Implicación 1,
25
Lógica
Matemática Reglas de Inferencia
(Cont…)
REGLA 5
26
Lógica
Matemática
Aplicación
27
Lógica
Matemática
Aplicación
28
Lógica
Matemática
Aplicación
2 De ¬P P ¬P
2.1 ¬P Premisa
2.2 P ¬P - I, 1, 2.1
3 ¬(¬P) ¬ - I, 2
29
Lógica
Matemática
Ejemplo:
De PQ,QR PR
4)
1 PQ premisa1
De P R
3
3.1 P premisa
3.2 Q - E, 3.1, 1
3.3 R - E, 3.2, 2
4 PR definición , 3
30
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.
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 ,
31
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
¬
De
Q ├ R ¬R
4
¬
4.1 Premisa
Q
4.2 R - E, 1, 2
R
4.3 - I, 4.2, 3
¬
R
5 Q ¬ - E, 4
32
FISI- Daniel Quinto Pazce- Logica M.
33
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.
34
Lógica
Matemática
EJERCICIOS DE LOGICA
a) P Q P Q R R
b) P Q R Q R P
c) P Q Q R R S S Q S
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
35
Lógica
Matemática
DEDUCCIONES
6.- Si P y Q son primitivas distintas ¿cuál de las siguientes proposiciones es tautológicamente equivalentes a
P Q ?
a) Q P
c) P Q Q
d) P Q Q P
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
36
Lógica
Matemática
EJERCICIOS DE LOGICA
CS 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 ├
37
Lógica
Matemática
EJERCICIOS DE LOGICA