Día 17 - Conectivos Lógicos

En la clase pasada vimos que son las proposiciones, y hoy vimos en clase como relacionarlas a través de los conectivos lógicos para formar tablas de verdad más complejas, o simplemente unir varios enunciados.

Tipos de Conectivos Lógicos:

NEGACIÓN
Dada una proposición p, se denomina la negación de p a otra proposición denotada por ¬p (se lee "no p"), que le asigna el valor de verdad opuesto al de p.
Por ejemplo:
P: "La compu es azul."
¬P: "La compu no es azul."

CONJUNCIÓN
Se denomina conjunción de p y q a la proposición p ^ q.
Por ejemplo:
P: "La compu es azul."
Q: "La mesa es café."
P^Q: "La compu es azul y la mesa es café."

DISYUNCIÓN
Se denomina p v q, y se lee "p o q". Por ejemplo:
P v Q: "La compu es azul y la mesa es café."

CONDICIONAL O IMPLICACIÓN
La condicional de las proposiciones p y q es la proposición p→q (si p entonces q). A la proposición P, se le llama antecedente, y a la Q se le llama consecuente. Por ejemplo:
P→Q: "Si la compu es azul, entonces la mesa es café."

BICONDICIONAL O DOBLE IMPLICACIÓN
La bicondicional de las proposiciones p y q es la proposición p ↔ q (se lee "p si y solo si q"). Por ejemplo:
P ↔ Q: "La compu es azul, si y solo si la mesa es café."