Operador lógico
De Wikipedia, la enciclopedia libre
Este artículo o sección necesita ser wikificado con un formato adecuado a las convenciones de estilo de Wikipedia.
Por favor, edítalo para cumplir con ellas. No elimines este aviso hasta que lo hayas hecho. ¡Colabora wikificando!
El contenido de esta página es un esbozo sobre programación. Ampliándolo ayudarás a mejorar Wikipedia.
Puedes ayudarte con las wikipedias en otras lenguas.
- Para ver tablas de verdad y esquemas de los operadores lógicos en electrónica ver: Puerta lógica
La lógica proposicional utiliza los operadores lógicos para admitir o rechazar proposiciones. Un operador lógico es un estado en la lógica proposicional que puede tomar solamente dos estados: verdadero y falso. Es el Álgebra de Boole para el razonamiento lógico aristotélico moderno. Los operadores de proximidad: cerca y junto, trabajan con los operadores lógicos para motores de búsqueda en bases de datos.
El principio de falsacionismo del método científico es una aserción lógica del tipo modus ponendo ponens o modus tollendo tollens u operador de implicación, la regla aritmética de los signos (+ -) es el operador de equivalencia, la hipótesis nula es el operador de negación, la dialéctica hegeliana de tesis-antítesis y síntesis es lógica formal, el método en sociología es la lógica formal, lógica difusa (si no posible), etc.
La Tabla de verdad de un operador establece todos los estados posibles y condiciones necesarias y suficientes para todos los valores posibles:
-
- a estado aserciones lógicas
- NOT (negación)
- Si negamos algo cierto (C), decimos que es falso (F). Si negamos algo que es falso, estamos afirmando que es cierto.
- NOT true = false; NOT false = True
-
- a b
- AND CONJUNCIÓN cierto si ambos son ciertos CC = C CF = F FC = F FF = F
- OR DISYUNCIÓN cierto si a o b es cierto CC = C CF = C FC = C FF = F
- XOR EXCLUSION cierto si a o b es falso CC = F CF = C FC = C FF = F
- EQV EQUIVALENCIA cierto si ab ciertos falsos CC = C CF = F FC = F FF = C
- IMP IMPLICACIÓN si a o b cierto pero no b falso CC = C CF = F FC = C FF = C
Los seis estados lógicos y sus conectores, que admite el lenguaje Qbasic de los ordenadores y la prioridad de sus códigos: NOT, AND, OR, XOR, EQV, IMP; los operadores se pueden combinar para construir más estados. Algunos estados tienen también estas denominaciones: Conditional, Biconditional y Unconventional Translations.
