TEMA 3.

LÓGICA INFERENCIAL

OBJETIVOS:

- Reconocer las proposiciones categóricas y las

relaciones entre sí.
- Aplicar las reglas de negación a las
proposiciones categóricas. 2. NEGACIÓN DE PROPOSICIONES
- Identificar las proposiciones típicas y atípicas
que involucran cuantificadores lógicos.

También llamada lógica categórica, se refiere a

proposiciones que relacionan clases.

1. LÓGICA DE CLASE:
Rama de la lógica que establece una relación de
inclusión o exclusión entre clases mediante expresiones
llamadas cuantificadores lógicos.

TIPOS DE PROPOSICIONES CATEGÓRICAS

RAZONAMIENTO MATEÁTICO II 1

CATEGÓRICAS

TODOS ALGUNOS,… NO
NEGACIÓN

NINGUNO ALGUNO

TODOS LOS AUTOS SON MODERNO

NINGUN INSECTO ES CARNÍVORO

3. EQUIVALENCIAS ESPECIALES:

PROF: Royer Alfredo Chilón

Julca
 4. INFERENCIA
Es una forma de razonamiento que consiste en obtener
RAZONAMIENTO
una MATEÁTICO
conclusión a partir de una oIIvarias premisas dadas. 2

INFERENCIA INMEDIATA:

Obtener información a partir de una sola premisa,

usualmente es una premisa de carácter general con la
que se puede hacer conclusiones de carácter particular.

INFERENCIA MEDIATA: EJERCICIOS

Consiste en obtener una conclusión a partir de dos o 1.
más premisas.

a. SILOGISMO:

b. FORMA GRÁFICA DE UN SILOGISMO

PROF: Royer Alfredo Chilón

Julca
 2. 6.

7.

3.

8.

RAZONAMIENTO MATEÁTICO II 3

4.

5. 9.

PROF: Royer Alfredo Chilón

Julca
 10.

RAZONAMIENTO MATEÁTICO II 4

PROF: Royer Alfredo Chilón

Julca