La negacin

Es una operacin sobre un valor de verdad, tpicamente, el valor de una proposicin, que produce un valor de verdadero cuando su operando es falso, y un valor de falso cuando su operando es verdadero. Por tanto, si el enunciado A es verdadero, entonces A (pronunciado "no A") sera consecuentemente falso; y lo contrario, si A es verdadero, entonces A sera falso.

La conjuncin
Es en lgica y matemticas, un operador lgico que resulta en verdadero si los dos operadores son verdaderos.

La disyuncin

condicional
Es un enunciado compuesto en el que dos preposiciones se relacionan con el conecto s. El condicional es falso solo cuando el antecedente es verdadero y el consecuente es falso. El nexo condicional o conectiva condicional es binaria porque permite relacionar dos proposiciones simples llamadas p y q en una proposicin ms compleja de la forma si p entonces q

Una conjuncin lgica (comnmente simbolizada como Y o ) es, en lgica y matemticas, un operador lgico que El smbolo matemtico para resulta en verdadero si los la conjuncin lgica vara en dos operadores son la literatura. Adems de verdaderos. utilizar "Y", el smbolo en forma de es comnmente Dado un conjunto utilizado para la conjuncin. universal U y una operacin binaria interna conjuncin , Por ejemplo: que representaremos :