logica

Inferencia Lógica:

Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal, son expresiones bien formadas de un lenguaje formal (EBF) que, al ser relacionadas, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, parte de lo verdadero a lo falso: posible (como hipótesis) o conocida (como argumento) dealguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge así lo que conocemos como postulado, o transformada de una expresión original conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos referenciales diversos, obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.
Esla operación lógica utilizada en los motores de inferencia de los sistemas expertos.

Reglas Preposicionales:
1.Reglas del Modus ponens (MP): A partir de una formula condicional y de su antecedente, se obtiene su consecuente.

1. A → B
2. A
____________ : . B
Ley del modus ponens (MP).

[(p → q) ^ p] → q


2. Regla del Modus Tollers (MT): A partir de una formula condicional y de la negación desu consecuente, se obtiene la negación del antecedente.
1. A → B
2.~ B

Ley del Modus tollens (MT)
[(p → q) ^ ~ p] → ~ q
3. Regla del silogismo disyuntivo (SD). A partir de una formula disyuntiva y de la negación de una de sus componentes, se obtiene la otra componente.
a. 1. A v B
2. ~ A
________
.:. B
Ley del silogismo (SD)
[(p → q) ^ ~ p] → Q
b. A v B
~ B
___________
.:. A
Leydel silogismo disyuntivo (SD)
[(p → q) ^ ~ q] → p
5. Regla del dilema constructivo (DC). A partir de dos fórmulas condicionales y de la disyunción de obtiene la disyunción de sus consecuentes.
A → B
C → D
A v C
__________
.::. B v D

Ley del dilema constructivo (DC)

[(p → q) ^ (r → s) ^ (p v r)] → (q v s)

Regla del dilema destructivo (DD): A partir de dos fórmulas condicionales yde las negaciones de sus consecuentes, se obtiene la disyunción de las negaciones de antecedentes.
A → B
C → D
~ B v ~ D
__________
.:. ~ A v ~ C

Ley del dilema destructivo (DD)

{[(p → q) ^ (r → s)] ^ (~ q v ~ s)} → (~ p v ~ r)

Regla de la simplificación (Simp.): A partir de la conjunción de dos fórmulas se obtiene una de ellas.

A ^ B
________
.:. B


Ley de simplificación(Simp.)

(p ^ q) → Q
Regla de conjunción (Conj.): A partir de dos fórmulas se obtiene la conjunción con cualquiera otra.
A
_______
.:. A ^ B

Ley de la conjunción (Conj.)
(p ^ q) → (p ^ q)


Regla de la adición (Ad.): A partir de una formula se obtiene la disyunción se esa fórmula con cualquier otra.

A
______
.:. A v B
Leyes de Inferencia:
La lógica es una rama de la filosofía lacual estudia la demostración e inferencia valida. Es una rama de la matemática que se desarrollo en el siglo XIX, es considerada como la ciencia del razonamiento.
El estudio de la lógica y de las proposiciones nos ayudara a tener un pensamiento preciso y herramientas para argumentar claramente situaciones de una manera más exacta.

Existen tres tipos de sistema lógico:

1. Lógicas Clásicas2. Lógicas no clásicas
3. Lógicas modales

Las proposiciones son afirmaciones con un único valor de verdad; ó son verdaderas o falsas.

Las reglas de inferencia son también llamadas reglas de transformación y su principal característica es que nos permiten dar conclusiones muy bien formadas y validas a partir de otras premisas.

Las reglas de inferencia se clasifican en: Atómicas (Simples) yMoleculares (Compuestas)

Dentro de la inferencia encontramos sus reglas en donde es muy fácil aprender su uso. Se debe utilizar las preposiciones o formas lógicas nombres que se le dará a las preposiciones.

Una premisa verdadera conducirá a una conclusión verdadera.



La regla de inferencia son argumentos válidos breves que se utilizan dentro de un argumento más largos como una...