2. Proposición: Es un enunciado lingüístico
(generalmente en la forma gramatical de
una oración enunciativa), puede ser
considerado como proposición lógica cuando
es susceptible de poder ser verdadero o
falso. Por ejemplo «Es de noche» puede ser
verdadero o falso.
Aunque existen lógicas polivalentes, en orden
a la claridad del concepto, aquí consideramos
únicamente el valor de verdad o falsedad.
3. Proposición Atómica: Se llama
proposición atómica, o simple,
cuando hace referencia a un
único contenido de verdad o
falsedad; vendría a ser
equivalente a la oración
enunciativa simple en la lengua.
4. Proposición Molecular: Proposición molecular cuando
está constituida por varias proposiciones atómicas
unidas por ciertas partículas llamadas conectivos, que
establecen relaciones sintácticas como función
de coordinación y subordinación determinadas entre
las proposiciones que la integran; tal ocurre en la
función de las conjunciones en las oraciones
compuestas de la lengua.
5. Operadores Lógicos o conectores
lógicos: es un símbolo o palabra que se
utiliza para conectar dos fórmulas
bien formadas o sentencias
(atómicas o moleculares), de modo que
el valor de verdad de la fórmula
compuesta depende del valor de
verdad de las fórmulas componentes.
6. La Negación: también llamada complemento lógico,
es una operación sobre proposiciones, valores de
verdad, o en general, valores semánticos.
Intuitivamente, la negación de una proposición es
verdadera cuando dicha proposición es falsa, y
viceversa. En lógica clásica la negación está
normalmente identificada con la función de
verdad que cambia su valor de verdadero a falso y
viceversa.
7. La Conjunción: Sean p y q dos
proposiciones. La conjunción
de p y q es la proposición p Ù
q, que se lee "p y q"
8. Disyunción: comúnmente conocida
como O, es un operador lógico que
resulta verdadero si cualquiera de
los operadores es también verídico.
9. Disyunción Exclusiva: es un tipo de
disyunción lógica de dos operandos que
es verdad si solo un operando es verdad
pero no ambos.
10. Condicional: función de verdad que
toma dos valores de verdad (por lo
general los valores de proposiciones)
y devuelve falso cuando el primer
valor es verdadero y el segundo
falso, y verdadero en cualquier otro
caso
11. Bicondicional: es una proposición de la forma «P si
y solo si Q» y afirma que la proposición P será
verdadera cuando y exclusivamente Q también lo
sea, así como también P será falsa cuando Q lo
sea. Otra forma de expresar el bicondicional es
decir que Q es una condición necesaria y
suficiente para P.