Las conectivas lógicas son elementos esenciales en la lógica proposicional, y se utilizan para construir proposiciones más complejas a partir de otras más simples. La disyunción lógica es un conector que sólo es falso si ambas proposiciones conectadas son falsas; en cualquier otro caso, es verdadero.
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.
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.
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.
La negación
La negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.