“AÑO DE LA UNIDAD, LA PAZ Y EL DESARROLLO”

UNIVERSIDAD NACIONAL DE TUMBES

FACULTAD DE DERECHO Y CIENCIAS POLÍTICAS

TEMA:

INFERENCIA LÓGICA: EL MÉTODO ABREVIADO

CURSO:

MATEMATICA BASICA

DOCENTE:

JULIO CESAR MATUTE CALDERON

SECCIÓN:

GRUPO:

INTEGRANTES:

CERVANTES ELERA BRENDA

CRIBILLEROS QUEREVALÚ ANGEL

GAMBOA AGUAYO JHONATAN JAVIER

GARCÍA CAMACHO DANAYRA YARELI

LABAN PEÑA ROSICELA YUDITH

MUÑOZ CESPEDES DANNA LISBETH

RAMIREZ ZARATE JOSUE ADDAIR

RODRIGUEZ SATALAYA JOSÉ ORLANDO

 ÍNDICE
I. INTRODUCCIÓN .........................................................................................................................3

II. INFERENCIA LÓGICA ...............................................................................................................4

DEFINICIÓN .....................................................................................................................................4

Relación con el Derecho ..............................................................................................................6

Problema .........................................................................................................................................6

Solución ...........................................................................................................................................6

III. MÉTODO ABREVIADO..........................................................................................................6

Definición ........................................................................................................................................7

Relación con el Derecho ..............................................................................................................7

Problema .........................................................................................................................................7

Solución ...........................................................................................................................................7

IV. CONCLUSIONES ....................................................................................................................7

V. BIBLIOGRAFÍA ...........................................................................................................................7
I. INTRODUCCIÓN
 II. INFERENCIA LÓGICA

Definición

La inferencia lógica es un proceso mediante el cual se llega a una

conclusión lógica basada en premisas o proposiciones previas. Es el proceso
mental de deducir una sustentada a partir de otras afirmaciones previas o
premisas utilizando principios de la lógica formal.

Por otro lado, la inferencia lógica se basa en reglas y principios bien

definidos y tiene como objetivo llegar a una conclusión que sea siempre
verdadera si las premisas son verdaderas. En otras palabras, la inferencia
lógica busca garantizar la validez de las conclusiones que se extraen a partir de
premisas.

Asimismo, a inferencia lógica es fundamental en la lógica formal y en la

matemática, así como en otros campos como la filosofía, la ciencia y la
informática, ya que permite la evaluación rigurosa de argumentos y la
identificación de falacias y errores de razonamiento, también se utiliza para
construir argumentos y demostraciones válidas y razonamientos rigurosos.

Una inferencia lógica es un proceso de razonamiento o argumentación lógica,

la cual consiste en procesar un conjunto de proposiciones llamadas premisas y
obtener otra proposición llamada conclusión.

NOTA: la inferencia lógica es un condicional que puede ser presentada

en dos formatos, un formato vertical y otro horizontal.

FORMATO HORIZONTAL: FORMATO VERTICAL:

Premisas
Premisas Conclusión

Conclusión
Métodos para validar una inferencia

 Método de tabla de la verdad. Para que una inferencia sea válida, se

debe cumplir que la siguiente proposición sea una tautología.

 Reglas de inferencia:

Simplificación:

Ejem: Qué se logra inferir de la premisa “José y María estudian

medicina”
A: José estudia medicina
B: María estudia medicina

La conclusión seria La conclusión seria

María estudia medicina. José estudia medicina.

Adición de un factor nuevo:

Dada una premisa cualquiera se agrega una proposición arbitraria, a

través del conector disyuntor. Es decir:
 Ejem: Aplicando la inferencia por nuevo factor, obtenga una conclusión
de la siguiente premisa “La U.N.T, es una entidad educativa”.

A: La U.N.T, es una entidad educativa

NF: Yo soy ingeniero Conclusión: La UNT es una

entidad educativa, o yo soy un
ingeniero.

Relación con el Derecho

Problema

Solución

III. MÉTODO ABREVIADO

Definición

Relación con el Derecho

Problema

Solución

IV. CONCLUSIONES

En conclusión, la inferencia lógica es el razonamiento que se utiliza para

llegar a una conclusión a partir de la información disponible.

V. BIBLIOGRAFÍA