INFERENCIAS

LÓGICAS
 INFERENCIAS LOGICAS

INFERENCIAS LOGICAS Y
ESQUEMAS MOLECULARES

LOGRO DEL APRENDIZAJE: Al finalizar la unidad, el participante

identifica las proposiciones y las reglas básicas de la lógica
matemática que permitan crear soluciones en el campo donde se
desarrolle.
 INFERENCIAS LOGICAS

INFERENCIAS LOGICAS
1. DEFINICIONES PREVIAS

1.1. LÓGICA
La ______es una _______ que estudia los métodos o procedimientos
que aplican definiciones y leyes o reglas con el propósito de
determinar la _______________de las proposiciones

1.2. PROPOSICIÓN
Es una expresión lingüística(informativa) libre _____________, que
tiene la propiedad de ser verdadera o falsa, pero nunca ambas
______________________
 INFERENCIAS LOGICAS

INFERENCIAS LOGICAS

Expresión que puede

ser ________

INFERENCIAS
 CONECTORES LÓGICOS
CONECTOR SÍMBOLO ESQUEMA SIGNIFICADO VALOR DE VERDAD

CONJUNCIÓN

DISYUNCIÓN
INCLUSIVA

DISYUNCIÓN
EXCLUSIVA

CONDICIONAL

NEGACIÓN
 CONECTORES LÓGICOS
CONECTOR EXPRESIONES EQUIVALENTES

CONJUNCIÓN

CONDICIONAL

NEGACIÓN
 INFERENCIAS LOGICAS

ESQUEMAS MOLECULARES
De acuerdo al resultado obtenido, una fórmula
proposicional recibe un nombre especial, así tenemos que:
TAUTOLOGÍA.- Cuando los valores del operador principal son
___________________________________________
Ejemplo: La proposición “p ( p  q )” es una tautología, tal como
lo puedes comprobar en su tabla de verdad.
p q p  (p  q)
V V
V F
F V
F F
 INFERENCIAS LOGICAS

CONTRADICCIÓN.- Cuando los valores del operador principal son

____________________________________
Ejemplo: La proposición “( p  q )  ~ q” es una contradicción, tal
como lo puedes comprobar en su tabla de verdad.

p q (p  q)  ~q
V V
V F
F V
F F
 INFERENCIAS LOGICAS

CONTINGENCIA o CONSISTENCIA.-
Cuando los valores del operador principal tiene
______________________________________________________

Ejemplo: La proposición “( p  q )  ~p” es una contingencia, tal como

lo puedes comprobar en su tabla de verdad.

p q (p  q) ~p
V V
V F
F V
F F
 ALGEBRA PROPOSICIONAL
LEYES DEL ALGEBRA DE PROPOSISIONES
Las proposiciones, bajo la ley de equivalencia lógica (≡), cumplen
las siguientes leyes:
1. LEYES DE IDEMPOTENCIA 3. LEYES CONMUTATIVAS
𝒑 ∨ 𝒑≡ 𝒑 ∨𝒒≡

𝒑 ∧ 𝒑≡ 𝒑 ∧𝒒≡

2. LEYES ASOCIATIVAS 4. LEYES DE IDENTIDAD

𝒑 ∨𝒒 ∨𝒓≡ 𝒑 ∨𝒇≡ 𝒑 ∨𝒗≡

𝒑 ∧𝒒 ∧𝒓≡ 𝒑 ∧𝒇≡ 𝒑 ∧𝒗≡

5. LEYES DE COMPLEMENTACIÓN 8. LEYES DE ABSORCIÓN
𝒑 ∨∼ 𝒑 ≡ 𝒑 ∧ (𝒑 ∨ 𝒒) ≡
∼𝒇≡
𝒑 ∧∼ 𝒑 ≡ 𝒑 ∨ (𝒑 ∧ 𝒒) ≡
∼𝒗≡
∼∼ 𝒑 ≡ 9. DEFINICIÓN DE CONDICIONAL Y
BICONDICIONAL
6. LEYES DE MORGAN
𝑝 →𝑞≡
∼ (𝒑 ∧ 𝒒) ≡
𝑝 ↔𝑞≡
∼ (𝒑 ∨ 𝒒) ≡
𝑝 ↔𝑞≡
7. LEYES DISTRIBUTIVAS 10. DOBLE NEGACION
𝒑 ∧ (𝒒 ∨ 𝒓) ≡ ~(~𝑝) ≡
𝒑 ∨ (𝒒 ∧ 𝒓) ≡
11. CONMUTATIVA 14. LEYES DE ABSORCION

a) ( p  q ) ≡ a) p  ( p  q ) ≡
b) ( p  q) ≡ b) p  ( p q ) ≡
c) p  ( ~ p  q ) ≡
c) ( p ↔ q) ≡
d) p  ( ~ p  q ) ≡
12. DISYUNCION FUERTE
p △q ≡ 15. LEYES DE IDENTIDAD
p △q ≡ (p  V ) ≡
(pV)≡
13.IDEMPOTENCIA
(pF)≡
( p  p) ≡
(pF)≡
( p  p)≡
16. PRINCIPIO DE IDENTIDAD 18. PRINCIPIO DEL TERCIO
EXCLUIDO
a) ( p → q ) ≡

b) ( p ↔ q) ≡ p∨∼ p ≡

DONDE: DONDE:
T: Tautológico T: Tautológico
17. PRINCIPIO DE NO
CONTRADICCION
∼(p∧∼q)≡

DONDE:
T: Tautológico