SEMANA 1

LÓGICA PROPOSICIONAL CONECTORES LÓGICOS

El estudio de la lógica proposicional te
proporciona una serie de habilidades y PROPOSICIÓN LÓGICA:
conocimientos que son valiosos. Por ejemplo: En resumen una proposición lógica es una oración que
1. Desarrollo del pensamiento crítico tiene un valor de verdad bien definido.
2. Habilidades de resolución de problemas PRINCIPIOS
3. Aplicaciones prácticas P. NO CONTRADICCIÓN: Es imposible que una
4. Comprensión de los fundamentos de la informática proposición sea verdadera y falsa a la misma vez.
5. Satisfacción intelectual P. DEL TERCIO EXCLUIDO: Toda proposición o es
verdadera o es falsa
UTILIDAD P.COMPUESTA
P.SIMPLE Si puede ser
1. Medicina: La lógica proposicional puede ser útil No puede ser
descompuesta en dos
para el diagnóstico médico, ya que si ciertos descompuesta en
o más proposiciones
síntomas llevan a una cierta enfermedad, los médicos otras proposiciones
simples.
pueden usar la lógica proposicional para determinar simples. 1) SI JUAN TRABAJA ENTONCES
1) CÉSAR VALLEJO FUE UN NO VE TELEVISIÓN.
la enfermedad basándose en los síntomas presentes. TELETUBBIE. A: JUAN TRABAJA.
B: JUAN NO VE TELEVISIÓN

ENUCIADO: En resumen un enunciado es toda expresión

EXPRESIONES QUE NO REPRESENTAN UNA PROPOSICIÓN LÓGICA
del lenguaje común, este puede ser una frase, oración o • Oraciones que no representan proposiciones lógicas.
expresión matemática cualquiera. • Oraciones interrogativas, exclamativas, dubitativas, deseos.
• Oraciones que utilizan personajes ficticios.
Ejemplo: • Oraciones donde no se hace el uso correcto del lenguaje
1) El triángulo tiene 5 lados. 2) ¡Buenos días! • Enunciados abiertos, Opiniones personales.
• Refranes, proverbios.
Matemático: Oraciones, frases, ideas, etc. • Creencias populares.
Español: Fórmulas, ecuaciones, cualquier expresión • Oraciones sin sentido.
• Oraciones que encierren ambigüedades
matemática.

VARIABLE: cualquier palabra o símbolo que puede asumir

más de un valor dentro de un conjunto o universo
determinado.
EJEMPLO:
1) Él fue al parque. 2) x² − y = 4 , x = 1 3) x + 4 = 15.
 SEMANA 2 SEMANA 3
IMPLICACIONES Y CUANTIFICADORES LÓGICOS Y
EQUIVALENCIAS LÓGICAS LEYES DE INFERENCIA
UTILIDAD UTILIDAD
1. Medicina: La lógica es una herramienta fundamental, su correcta 1. Medicina(Investigación clínica): El conocimiento de
aplicación permite ayudar al paciente, para obtener un diagnóstico cuantificadores lógicos y leyes de inferencia puede ser útil en la
adecuado. Por ejemplo, los médicos utilizan la lógica para interpretación y análisis de estudios clínicos y epidemiológicos.
desarrollar hipótesis y explorar diferentes vías de tratamiento Ayuda a evaluar la validez de los resultados y a realizar inferencias
basadas en los síntomas que presenta un paciente. lógicas basadas en los datos recopilados.

TAUTOLOGIA: todos los valores de la MP. son INFERENCIA LÓGICA

verdaderos Es un proceso de razonamiento o
CONTADICCIÓN: todos los valores de la MP.son falsos argumentación que se obtiene (infiere) una
CONTINGENCIA: si MP. presenta por lo menos un valor Conclusión legítima, mediante proposiciones
verdadero y un falso. iniciales llamadas Premisas.
IMPLICACIÓN
Lógica Sean P y Q un par de proposiciones cualesquiera.
Diremos que la proposición P, implica lógicamente a la
proposición Q, P => Q, si y sólo si, la proposición P → Q
representa una tautología. INFERENCIA POR SIMPLIFICACIÓN
EQUIVALENCIA proposiciones A, B, se tiene:
Lógica Sean P y Q un par de proposiciones cualesquiera.
Diremos que P y Q, son lógicamente equivalentes, P <=> Q, si y
sólo si, la proposición P Q representa una tautología.
INFERENCIA POR ADICIÓN O NUEVO FACTOR
La proposición A, se tiene:

NF: PROPOCIÓN CUALQUIERA

 SEMANA 3
INFERENCIA POR CONJUNCIÓN (ADJUNCIÓN) INFERENCIA POR MODO NEGANDO NIEGO (TOLLENDO TOLLENS)
Dadas las premisas A, B, ……., Z, se tiene: Dadas las proposiciones A y B se tiene:

INFERENCIA POR MODO AFIRMADO NIEGO (PONENDO

INFERENCIA POR SILOGISMO DISYUNTIVO
TOLLENS)
Dadas las proposiciones A, B se tiene:
Dadas las proposiciones A y B se tiene:

INFERENCIA POR SILOGISMO HIPOTÉTICO

PURO INFERENCIA POR MODO NEGANDO AFIRMO (TOLLENDO
Dadas las proposiciones A, B y C se tiene PONENS)
Dadas las proposiciones A y B se tiene:

INFERENCIA POR MODO NEGANDO AFIRMO (TOLLENDO

PONENS)
Dadas las proposiciones A y B se tiene:

INFERENCIA POR MODO AFIRMANDO AFIRMO

(PONENDO PONENS)
Dadas las proposiciones A y B se tiene:
 INFERENCIA POR DILEMAS CUANTIFICADOR LÓGICO
Dadas las proposiciones A, B, C y D se tiene:
PROPOSICIÓN UNIVERSAL
Se llama así a cualquier enunciado en cuya estructura se
presenta el cuantificador universal, y se presentan con los
siguientes formatos:

MÉTODO ABREVIADO PROPOSICIÓN EXISTENCIAL

1º) Para determinar si una inferencia es válida, se coloca el Se llama así a cualquier enunciado en cuya estructura se
esquema inferencial en su formato horizontal. presenta el cuantificador existencial, y se presentan con los
siguientes formatos:

2º) Asumimos que todo el esquema inferencial es falso.

-NEGACIÓN DE UNA PROPOSICIÓN UNIVERSAL Y EXISTENCIAL

3º) Conociendo la informacion anterior, deducir el valor de

cada una de las variables proposicionales (p, q, r, ….) que -EQUIVALENCIAS NOTABLES CON CUANTIFICADORES
se presenten en el esquema, teniendo en cuenta las re
glas de los conectores ∧ , ∨ , ∆ , →. Nota: Se sugiere
iniciar de derecha a izquierda.

CIRCUITO -DISTRIBUCIÓN CON LOS CUANTIFICADORES LÓGICOS

LÓGICO