Definición y algoritmo fundamental

Definición y algoritmo fundamental

Considérese dos proposiciones A y B.[2] Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas son falsas. Esto puede expresarse con una tabla simple:

Considérese además a "•" como una operación o función lógica que realiza una función de verdad al tomar los valores de verdad de A y de B, y devolver un único valor de verdad. Entonces, existen 16 funciones distintas posibles, y es fácil construir una tabla que muestre qué devuelve cada función frente a las distintas combinaciones de valores de verdad de A y de B.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

A B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B

V V V V V V V V V V F F F F F F F F

V F V V V V F F F F V V V V F F F F

F V V V F F V V F F V V F F V V F F

F F V F V F V F V F V F V F V F V F

Las dos primeras columnas de la tabla muestran las cuatro combinaciones posibles de valores de verdad de A y de B. Hay por lo tanto 4 líneas, y las 16 columnas despliegan todos los posibles valores que puede devolver una función "•".

De esta forma podemos conocer mecánicamente, mediante algoritmo, los posibles valores de verdad de cualquier conexión lógica interpretada como función, siempre y cuando definamos los valores que devuelva la función.

Se hace necesario, pues, definir las funciones que se utilizan en la confección de un sistema lógico.

De especial relevancia se consideran las definiciones para el Cálculo de deducción natural y las puertas lógicas en los circuitos electrónicos.

Regla de inferencia

Saltar a navegación, búsqueda

En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.

Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.

Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser el válido, o mejor dicho, preservar la validez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.

Reglas de inferencia clásicas

Algunas de las reglas

...