Operador lógico
Keywords: Operador lógico, Falsacionismo, Función lógica, Modus ponens, Modus tolendo tollens, Puerta lógica, Silogismo, Tabla de verdad
- 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 ponens o modus tolendo 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, logica 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 logicas
- NOT NEGACION cierto, si la negacion es cierta:no es cierto que sea falso
- a b
- AND CONJUNCION cierto si ambos son ciertos CC C CF F FC F FF F
- OR DISYUNCION 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 IMPLICACION si a o b cierto pero no b falso CC C CF F FC C FF C
Los seis estados logicos y sus conectores, que admite el lenguaje Qbasic de los ordenadores y la prioridad de sus codigos : 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.
Véase también:
- Silogismo
- Lógica formal
- Lógica proposicional
- Función lógica
- Tabla de verdad