Las conectivas lógicas.

La negación

La negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.

Ejemplos:

Mi padre no sufrió la pérdida de su mascota, al tiempo encontró otra mascota.

Nunca voy a entender cómo hiciste para superarlo.

Ve a saludar a tu padre, nadie te conoce desde antes que ella.

Conectivas: No, Nunca, nadie.

La conjunción

Es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.

Ejemplos:

Hoy es domingo y mañana lunes.

Hoy es domingo y la luna es de queso.

Me llamo José y soy doctor.

Conectiva: Y.

Disyunción

Una disyunción lógica entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.

Ejemplos:

Los perros son cuadrúpedos o bípedos.

El domingo fui a comer o a la playa.

El domingo fui o a comer o a la playa.

Conectiva: O.

Condicional

En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.

Ejemplos

Si no llueve entonces iremos a comer helado.

Si no estudio entonces no aprobaré física.

Si me gano ese dinero entonces te invito a cenar.

Conectiva: Entonces.