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. CONJUNCIÓN Se denomina conjunción de p y q a la proposición p ^ q. DISYUNCIÓN Se denomina p v q, y se lee "p o q". 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. 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").