La expresión formal P→Q significado lógico P es una condición suficiente de la regla de inferencia Q: P→Q, después de no, que antes de no: no Q→ no -PP →Q, Q→R, P→R se pueden obtener.
Si P, entonces Q | todo P es Q | para P, Q | P requiere Q | P → Q | → Q | No es mejor que antes: no Q → no P → Q, Q → R puede obtener P → no P y Q como premisa.
Producción
Boolean utilizó métodos matemáticos para estudiar problemas lógicos y estableció con éxito cálculos lógicos. Expresó juicios en términos de ecuaciones y vio el razonamiento como transformaciones de ecuaciones. La eficacia de esta transformación no depende de la interpretación que las personas hagan de los símbolos, sino sólo de las reglas de combinación de los símbolos. Esta teoría de la lógica a menudo se denomina álgebra de Boole. En la década de 1930, el álgebra lógica se aplicó a los sistemas de circuitos. Posteriormente, debido al desarrollo de la tecnología electrónica y las computadoras, aparecieron varios sistemas grandes y complejos, y sus leyes de transformación también siguieron las leyes booleanas.
Enciclopedia Baidu-Operaciones lógicas