Logica 1

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 40

Lógica Matemática

Reglas de
inferencias
SEMESTRE 2021- 1

Mg. Daniel Alfonso Quinto Pazce

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.

FISI- Daniel Quinto Pazce- Logica M.


 Lógica Matemática.
Constituye una herramienta para analizar la validez de los procesos de
razonamiento lógico basados en un lenguaje simbólico llamado
conocimiento.
 Razonamiento Lógico.
Es el conjunto ordenado de premisas E1, E2, E3, …En y una
conclusión (C), o consecuencia lógica, que nos permite hacer en primer
lugar la formalización para luego hacer las deducciones que permite
demostrar su validez.
 Calculo proposicional (CP). Sentencias lógicas o formulas
que expresan relaciones entre variables y/o cualidades de los
conectores.

2
Lógica
Matemática
Lógica Matemática

 La lógica computacional (LC)


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

FISI- Daniel Quinto Pazce- Logica M.


sustentan básicamente en el calculo proposicional.
 Validez
Significa verificar la validez de la conclusión a partir
de las premisas formalizadas de este proceso de
razonamiento lógico.
 Diseño.
Son procesos divisibles en etapas o componentes, cada etapa
puede involucrarse a diferentes métodos que responda
a las preguntas del problema y que verifica al objetivo.

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

FISI- Daniel Quinto Pazce- Logica M.


aprendizaje de su experiencia pasada. Son formas de la
inteligencia artificial, así como la hipótesis que son
respuestas a las preguntas del problema que se encuentra
en el objetivo de la investigación
 Razones para usar LC
Los agentes inteligentes necesitan “razonar” sobre
cambios ocurridos en su entorno y cómo realizarlos esos
cambios deseados, en su proceso para solucionar todo el
problema buscando la asignación de la verdad que
satisface a todas los objetivos. Se hace con la intención de
disminuir el esfuerzo computacional. (procesamiento de
instancias)
4
Lógica
Matemática
Lógica Matemática

Lógica
Estudia la estructura o formas del pensamiento, tales

FISI- Daniel Quinto Pazce- Logica M.


como conceptos, proposiciones, razonamientos con el
objetivo de establecer argumentos validos.
Arte
Es como la superación lógica conceptual y como una
aproximación al sentido mas profundo de las cosa. Ejemplo
“Divide y Venceras”.
 Viabilidad. Significa probar sus resultados , teorías o
métodos por demostración lógica o por contrastación
empírica de sus variables.

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.

FISI- Daniel Quinto Pazce- Logica M.


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, y sometidos a comparación.
 Que puede ser: F < V ( 0 < 1 )
Toda Afirmación Lógica: Es la representación de
una proposición o predicado como verdadero.
 En lo relativo al conocimiento va unido al tema
de la evivencia y de la certeza.

6
Lógica
Matemática
Lógica Matemática

Proposición Compuesta (Afirmación compuesta)

FISI- Daniel Quinto Pazce- Logica M.


bi

Tablas: n= # variables de 2 a la n = v

7
Lógica
Matemática
Lógica Matemática

Para la Tabla Lógica: Con N variables, se consigue 2ª variaciones.


N

FISI- Daniel Quinto Pazce- Logica M.


2 :
Si N = 2 variables, entonces 22 = 4 variaciones
v P Q

VARIACIONES

SALIDA
DOMINIO
INTERPRETACIONES

8
Lógica
Matemática
Lógica Matemática

Aplicación

FISI- Daniel Quinto Pazce- Logica M.


Traduzca e Interprete el significado de la
expresión lógica siguiente:
( A y/o B ) y no( A y B ).
 Demostrar la tautología de
P = antecedente Consecuente es V: demostración trivial o I.
Antecedente es F demostración Directa
Antecedente es V demostración es vacía
Q = consecuente Consecuente siempre es F demostración es
contradictorio

9
Lógica
Matemática
Lógica Matemática

Solucion
( A y/o B ) y no( A y B )

FISI- Daniel Quinto Pazce- Logica M.


Traducción A B ( A v B ) ^ ( ¬( A ^ B)
( A v B ) ^ ( ¬( A ^ B) F F F
F V V
Interpretación V F V
Los elemento de A y B
No pueden ser verdadero
V V F
ni falsos simultáneamente
10
Lógica
Matemática
Lógica Matemática
Relaciones con Compuertas Lógicas:

FISI- Daniel Quinto Pazce- Logica M.


Lógica Simbólica

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

FISI- Daniel Quinto Pazce- Logica M.


12
Lógica
Matemática
Lógica Matemática
 Aplicación:
Diseñar un sumador completo de 1 bit para ALU de una

FISI- Daniel Quinto Pazce- Logica M.


Computadora de Von Newmann con dos v. de entradas

EXOR= A B + A B = A B XSOR

13
Lógica
Matemática
DISEÑO DE UN CHIP

Encapsulamiento :
Es el ocultamiento del

FISI- Daniel Quinto Pazce- Logica M.


estado miembro de las
compuertas.

En el Sumador de 1 bit :

Carry interno = (0, 1)


Carry =
Carry externo = (0) es único,
al inicio.

14
Lógica
Matemática
DISEÑO DE UN CHIP

REGLAS DE LA SUMA BINARIA

FISI- Daniel Quinto Pazce- Logica M.


1+ 1+ 0+ 0+
1 0 1 0
1 0 1 1 0

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

FISI- Daniel Quinto Pazce- Logica M.


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 )

16
Lógica
Matemática
DISEÑO DE UN MODELO LOGICO
 Ejemplos:
Si Juan toma el autobús(R), luego Juan pierde su

FISI- Daniel Quinto Pazce- Logica M.


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.

17
Lógica
Matemática Principios Lógicos:

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


de este principio lógico se prueba la valides de otras expresiones.

FISI- Daniel Quinto Pazce- Logica M.


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

18
Lógica
Matemática Principios Lógicos:

FISI- Daniel Quinto Pazce- Logica M.


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
P + ( PQ ) ≡ P
P + PQ ≡ P + Q

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

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

FISI- Daniel Quinto Pazce- Logica M.


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

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.

FISI- Daniel Quinto Pazce- Logica M.


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
23
Lógica
Matemática
Estudio de las Reglas de Inferencias

 I : introducción
 E : eliminación

FISI- Daniel Quinto Pazce- Logica M.


Conjunción

Disyuncion

24
Lógica
Matemática
Reglas de Inferencia

FISI- Daniel Quinto Pazce- Logica M.


Negación

Implicación 1,

25
Lógica
Matemática Reglas de Inferencia
(Cont…)
REGLA 5

FISI- Daniel Quinto Pazce- Logica M.


Equivalencia
E1  E 2 , E 2  E1
 I :
E1  E2
E1  E2
 E :
E1  E 2 , E 2  E1

26
Lógica
Matemática
Aplicación

 Demostrar por las reglas de inferencia:

FISI- Daniel Quinto Pazce- Logica M.


1) ├
De PQ QP
1 PQ premisa
2 P  - E, 1
3 Q  - E, 1
4 QP  - I, 2, 3

27
Lógica
Matemática
Aplicación

 Deducir por las reglas de inferencia:


2)

FISI- Daniel Quinto Pazce- Logica M.


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

28
Lógica
Matemática
Aplicación

 Demostrar por las reglas de inferencia:

FISI- Daniel Quinto Pazce- Logica M.


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
29
Lógica
Matemática
Ejemplo:

De PQ,QR PR
4)
1 PQ premisa1

FISI- Daniel Quinto Pazce- Logica M.


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

FISI- Daniel Quinto Pazce- Logica M.


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 ,
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

FISI- Daniel Quinto Pazce- .


1 PQ Premisa 1
2 PR Premisa 2
3 ¬R Premisa 3

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

FISI- Daniel Quinto Pazce- Logica M.


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) verdadera 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:

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

FISI- Daniel Quinto Pazce- Logica M.


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

FISI- Daniel Quinto Pazce- Logica M.


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

36
Lógica
Matemática
EJERCICIOS DE LOGICA

8.-Deducir la validez, usando el método de tablas.

FISI- Daniel Quinto Pazce- Logica M.


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  ├

37
Lógica
Matemática
EJERCICIOS DE LOGICA

FISI- Daniel Quinto Pazce- Logica M.


38
Lógica
Matemática
EJERCICIOS DE LOGICA

FISI- Daniel Quinto Pazce- Logica M.


39
FISI- Daniel Quinto Pazce- Logica M.
40

También podría gustarte