CONECTIVOS LOGICOS

Negación La negaci´on de una proposici´on es la que afirma que la proposición original
no es verdadera. Generalmente se obtiene agregando “no” (o “no es verdad que”)
antes de la proposición original.
Conjunci´on La conjunci´on de dos proposiciones es la que afirma que ambas proposiciones son verdaderas. Se obtiene intercalando “y” entre las dos proposiciones
originales.
Disyunci´on La disyunción de dos proposiciones es la que afirma que al menos una
de las dos proposiciones es verdadera. Se obtiene intercalando “o” entre las dos
proposiciones originales.
Condicional La proposición condicional entre dos proposiciones (el antecedente y el
consecuente) es la que afirma que, cada vez que el antecedente es verdadero, el
consecuente tambi´en lo es. Puede ser obtenido precediendo el antencedente por “si”
e intercalando “entonces” entre el antecedente y el consecuente.
Bicondicional La proposici´on bicondicional entre dos proposiciones es la que afirma
que, o ambas son verdaderas, o ambas son falsas. Puede ser obtenida intercalando la
frase “si y s´olo si”, o bien “siempre y cuando” entre las dos proposiciones originales.