Las conectivas lógicas son esenciales en la lógica proposicional, permitiendo la construcción de argumentos y proposiciones complejas. El condicional material es un tipo de conectiva que solo se vuelve falso cuando la segunda proposición es falsa y la primera verdadera; en todos los demás casos, 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.
