En la lógica proposicional, las conectivas lógicas juegan un papel crucial para determinar el valor de verdad de las proposiciones. La negación invierte el valor de verdad de una proposición:
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.