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!
- Para ver tablas de verdad y esquemas de los operadores lógicos en electrónica ver: Puerta lógica
Los Operadores Lógicos son utilizados por la lógica proposicional 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.
[editar] Tablas de Verdad
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
[editar] Operadores Lógicos en Qbasic
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.
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.
