Scribd
Cargar
269 vistas3 páginas

Validez de Inferencias Lógicas

El documento explica los conceptos de inferencia y validez. Una inferencia consiste en un conjunto de premisas y una conclusión, donde la conclusión se deriva válidamente de las premisas. Existen dos métodos para determinar la validez de una inferencia: 1) mediante una tabla de valores que muestra si la conjunción de premisas implica necesariamente la conclusión, y 2) analizando si las premisas guardan relación lógica con la conclusión. Se proveen ejemplos de inferencias válidas e inválidas y ejercicios resu

Cargado por

Ruyer Avila
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
269 vistas3 páginas

Validez de Inferencias Lógicas

El documento explica los conceptos de inferencia y validez. Una inferencia consiste en un conjunto de premisas y una conclusión, donde la conclusión se deriva válidamente de las premisas. Existen dos métodos para determinar la validez de una inferencia: 1) mediante una tabla de valores que muestra si la conjunción de premisas implica necesariamente la conclusión, y 2) analizando si las premisas guardan relación lógica con la conclusión. Se proveen ejemplos de inferencias válidas e inválidas y ejercicios resu

Cargado por

Ruyer Avila
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Universidad Catlica Los ngeles

de Chimbote

Matemtica y Lgica

INFERENCIAS
4.15 Inferencias. Conjunto de proposiciones, donde a partir de ellas se
obtiene una conclusin vlida o invlida.
Ejemplos:

Si A es igual a B
y B es igual a C
Luego, A es igual a C
Todos los hombres son mortales
Pedro es un hombre
Pedro es mortal
Si llueve, entonces la tierra se humedece
Si la tierra se humedece, entonces crecen las plantas
Si las plantas crecen, entonces habr alimentos
Luego, si llueve, entonces habr alimentos

En una inferencia, las premisas y la conclusin pueden ser verdaderas o


falsas, lo importante es establecer si las premisas guardan relacin con la
conclusin a fin de determinar, si es vlida o invlida la conclusin. En lgica se
establecen dos procedimientos para establecer la validez de una inferencia.
4.15.1 Validez por Tabla de Valores. La inferencia es vlida, cuando la
conjuncin de premisas implica a la conclusin, es decir su tabla de verdad
es una tautologa.
Se representa mediante el esquema de una inferencia, cuya validez se
desea determinar:

Su tabla de verdad de la inferencia ser:


Si tiene una premisa:
Si tiene dos premisas:
Mg. Julio Nez Cheng

(p p )

es la conclusin

Universidad Catlica Los ngeles


de Chimbote

Matemtica y Lgica

{(p p ) p }

Si tiene tres premisas:

Ejercicios:
a) Determinar la validez de la inferencia, por el mtodo de tabla de valores:
Si la tierra gira alrededor del sol, entonces es un planeta del sistema solar
Si es un planeta del sistema solar, entonces la luna es un satlite de la tierra
Entonces, si la tierra gira alrededor del sol, la luna es un satlite de la tierra
Formalizando la inferencia:
p
q

q
r

Aplicando la tabla de valores:


[(p

) (q

V
V
V
V
F
F
F

V
V
F
F
V
V
F

pq

V
F
V
F
V
F
V
F

r]

(p

qr

V
V
F
F
V
V
V
V

V
F
F
F
V
F
V
V

r)

pr

V
F
V
V
V
F
V
V

V
V
V
V
V
V
V
V

V
F
V
F
V
V
V
V

La inferencia es vlida, por ser una tautologa.


b) Determinar la validez de la inferencia, por el mtodo de tabla de valores:

premisa

~q

premisa

~p

conclusin

Su tabla de verdad: [(p

Mg. Julio Nez Cheng

) ~ q ]

~p

Universidad Catlica Los ngeles


de Chimbote

Matemtica y Lgica

~q

~p

La inferencia es vlida, por ser una tautologa.


c) Determinar la validez de la inferencia por el mtodo de tabla de valores:

premisa

premisa

conclusin

Su tabla de verdad:

^
V

r
V

p
V

q
V

r
V

q
V

La inferencia no es vlida, pues la conjuncin de premisas no implica a la


conclusin (no es una tautologa). La conclusin no se deriva de las
premisas.

Mg. Julio Nez Cheng

También podría gustarte