La historia de la lógica en Wiki podría ser un buen lugar para establecer en qué contexto está pidiendo las reglas.
Cuatro posibilidades son inmediatamente obvias:
En filosofía o disputa: Comienza con el silogismo.
Un silogismo (en griego: συλλογισμός syllogismos , “conclusión, inferencia”) es un tipo de argumento lógico que aplica el razonamiento deductivo para llegar a una conclusión basada en dos o más proposiciones que se afirma o se asume que son ciertas.
En su forma más temprana, definida por Aristóteles, a partir de la combinación de una declaración general (la premisa mayor) y una declaración específica (la premisa menor), se deduce una conclusión. Por ejemplo, sabiendo que todos los hombres son mortales (premisa mayor) y que Sócrates es un hombre (premisa menor), podemos concluir válidamente que Sócrates es mortal. Los argumentos silogísticos generalmente se representan en forma de tres líneas (sin puntos que terminan la oración) [ citación necesaria ]:
Todos los hombres son mortales.
Sócrates es un hombre
Por lo tanto, Sócrates es mortal.
y
Existen infinitos silogismos posibles, pero solo 256 tipos lógicamente distintos y solo 24 tipos válidos (enumerados a continuación).
En diseño de hardware electrónico
George Boole, un ministro del siglo dieciocho, estableció el escenario aquí: en el álgebra de Boole, los valores de las variables son los valores de verdad verdaderos y falsos , generalmente denotados como 1 y 0 respectivamente. En lugar del álgebra elemental, donde los valores de las variables son números y las operaciones principales son la suma y la multiplicación, las operaciones principales del álgebra de Boole son la conjunción y , denotado ∧, la disyunción o , denotado y la negación no , denotado ¬ . Por lo tanto, es un formalismo para describir relaciones lógicas de la misma manera que el álgebra ordinaria describe relaciones numéricas.
En el diseño lógico para la electrónica, la lógica booleana se reduce a una sola puerta, la puerta lógica que no se puede utilizar como un elemento universal.
Como base para la Inteligencia Artificial.
La lógica deóntica es el campo de la lógica filosófica que se ocupa de la obligación, el permiso y los conceptos relacionados. Alternativamente, una lógica deóntica es un sistema formal que intenta capturar las características lógicas esenciales de estos conceptos. Página en rpi.edu Restricciones en la acción elegida libremente para robots morales: conciencia y control por Bello y otros describe una buena base para esta aplicación de la lógica.
Como base del razonamiento científico. Probabilidad bayesiana
La interpretación bayesiana de probabilidad se puede ver como una extensión de la lógica proposicional que permite el razonamiento con hipótesis, es decir, las proposiciones cuya verdad o falsedad es incierta.
Proporcione un poco más de detalles sobre el contexto de su pregunta y más detalles están disponibles.
La página en metameso.org (Logic y Metalogic: Logic, Metalogic, Fuzzy and Quantum Logics) ofrece una gran perspectiva de cuán amplio y profundo puede ser el tema de la lógica, incluida la lógica moderna.