REPASO DE LÓGICA PROPOSICIONAL

Mag. Jenny L. Callo Huayna

 CONECTIVOS LÓGICOS
Los conectivos lógicos son palabras que vinculan las ideas expresadas en dos o más
proposiciones simples, para comunicar algo más complejo. Los conectivos lógicos
están identificados con un símbolo especial y un nombre que representan la función
que cumplen
OPERACIONES LÓGICAS Y TABLAS DE VERDAD

1. CONJUNCIÓN: Vincula dos proposiciones mediante el conectivo lógico “y”,

cuyo símbolo es “∧” y se llama conjuntor.

Ejemplo: “Johnson viajó a Cajamarca y Louis viajó a Trujillo”

p q

Simbología: “p ∧ q”

Es verdadera cuando las dos

proposiciones son verdaderas
2. DISYUNCIÓN DÉBIL: Vincula dos proposiciones mediante el conectivo lógico “o”,
cuyo símbolo es “∨” y se llama disyuntor.

Ejemplo: “Rosiany viajó a Loreto o a Cajamarca”

p q

Simbología: “p ∨ q”

Es falso cuando las dos

proposiciones son falsas
3. DISYUNCIÓN FUERTE: Vincula dos proposiciones mediante el conectivo lógico: “o…o…”,
cuyo símbolo es “△” y se llama disyuntor fuerte.

Ejemplo: “O Ricardo radica en el Cercado o en Cayma”

p q

Simbología: “p △ q”

Es falsa si ambas proposiciones

tienen idénticos valores de
Verdad.
4. CONDICIONAL: Vincula dos proposiciones mediante el conectivo lógico: “Si…entonces…”,
cuyo símbolo es “→” y se llama implicador.

Ejemplo: “Si 28 es número par entonces es divisible por 2”

p q

Simbología: “p → q”

Es falso cuando el antecedente

es verdadero y el consecuente
es falso.
5. BICONDICIONAL: Vincula dos proposiciones mediante el conectivo lógico: “…si y sólo si…”,
cuyo símbolo es “↔” llamado doble implicador.

Ejemplo: “Sicilia es una isla si y solo si está rodeada de agua”

p q

Simbología: “p ↔ q”

Es verdadero solo si ambas proposiciones

tienen idénticos valores de verdad.
6. NEGACIÓN: Afecta a una sola proposición. Es un operador que cambia el valor
de verdad de una proposición. Su símbolo es “∼”, y se llama negador.

Ejemplo: “Todo número multiplicado por dos es par”

q
(Negación): “No todo número multiplicado por dos es par”
Simbología: “∼ 𝐪”