Guia de logica sobre inferencias





















INFERENCIA LOGICA




OBJETIVOS

El alumno, al final de la unidad, deberá:

1. Distinguir el cálculo de Predicados del cálculo Proposicional.

2. Distinguirá los sujetos o argumentos y los predicados.

3. Sabrá usar los cuantificadores.

4. Sabrá simbolizar el lenguaje natural.

5. Distinguirá: variables, constantes y su alcance.

6.Tendrá un conocimiento adecuado de las Leyes del cálculo de Predicados.

7. Sabrá usar las formas y reglas válidas de Demostración.

CONTENIDOS:

1. Conceptos básicos

2. Método de Deducción Natural o Inferencia:

2.1. Conceptos básicos.

2.2. Condicional:

2.2.1. Modus Ponendo Ponens

2.2.2. Modus Tollendo Tollens

2.2.3. Silogismo Hipotético

2.3. Conjunción:

2.3.1.Separación o Simplificación

2.3.2. Introducción a la Conjunción o Unión

2.4. Disyunción:

2.4.1. Silogismo Disyuntivo o Modus Tollendo Ponens

2.4.2. Ley de la Adición

2.4.3. Doble Negación



3. Leyes:

3.1. Conmutativa

3.2. Asociativa

3.3. Distributiva

3.4. Ley del Bicondicional

4. Método del Condicional

5. Método de Reducción al Absurdo

6. Ejercicios Resueltos7. Ejercicios Propuestos

EVALUACIÓN:

La evaluación final de la Unidad V, tendrá un 25% del total del porcentaje relativo a la materia.

ACTIVIDADES DEL ALUMNO ANTES DE LA CLASE:

1. Leer la guía.

3. Elaborar preguntas.

ACTIVIDADES DEL ALUMNO DURANTE Y DESPUES DE LA CLASE:

1. Atender a las explicaciones del profesor.

2. Intervenir oportunamente en clase y siempre que elprofesor lo invite a hacerlo.

3. Tomar parte activa en la clase para lograr una asimilación personal.

4. Realizar Los ejercicios que el profesor asigne.

5. Consultar al profesor y al preparador las dudas del tema.

6. Presentar Evaluación final de la Unidad.






BIBLIOGRAFIA:

AYRES, Frank: Algebra Moderna. Teoría y problemas resueltos.
1976 Serie Colección “Chau”, Ed. Libros M.Graw- Hill. Bogota.
pp. 1-66.
BIRKOHFF-MC, Lane: Algebra Moderna.
1970 Ed. Vicens-Vives. Barcelona. pp. 1-65; 337-381.


BURGOS, Alfonso: Matemática Moderna. Selecciones Científicas.
1970 Madrid. Pp. 13-71.

GIANELLA DE SALAMA: Lógica Simbólica y Elementos de Metodología de la Ciencia. Ed. El Ateneo. Buenos Aires. pp. 105-168.1. Conceptos Básicos

A la lógica le interesa reconocer cuando un razonamiento es verdadero o falso.
Para que toda investigación científica sea considerada como tal, es preciso que todas sus afirmaciones pasen a ser comprobadas. Las mismas se comprueban a través de varios métodos.
Método de la tabla de la verdad.
Método de deducción natural oinferencia.
Método del condicional.
Método de reducción al absurdo.
Método de invalidación.
Formas Booleanas.
Etc.
En este tema se hablará del método de deducción natural o inferencia, del método del condicional y del método de reducción al absurdo.
En inferencia se usa lo que se llama metalenguaje, simplemente se usan otros símbolos como lo son:
La coma (,) para separar las premisas ohipótesis.
├ Significa por lo tanto.
┤├ Significa equivalente o igual.
Conclusión


2. Método de Deducción Natural o Inferencia

2.1. Conceptos básicos:

Es el método que nos permite obtener o llega a la conclusión de n razonamiento por medio de premisas y siguiendo leyes o reglas.

Las premisas están formadas por proposiciones simples o compuestos.

Ejemplo:

p → q, p v q, p ^q

Las premisas tienen antecedentes y consecuentes. Los antecedentes son un conjuntos de proposiciones las mismas se encuentran antes del conectivo lógico que forma la premisa y son en los que se apoya la demostración.



Se tiene p → q, el antecedente es la proposición p (son el argumento de una premisa).

El consecuente es un conjunto de proposiciones, los cuales son las que se deben...