0% encontró este documento útil (0 votos)
345 vistas11 páginas

Inferencia Logica

Este documento explica los conceptos básicos de la inferencia lógica y los métodos para determinar la validez de una inferencia. Define una inferencia válida como aquella donde las premisas implican necesariamente la conclusión. Explica dos métodos para determinar la validez: 1) tabla de verdad y 2) método abreviado. Este último consiste en suponer las premisas verdaderas y la conclusión falsa, y analizar si las variables toman valores únicos o dobles de verdad. Incluye ejemplos para ilustrar ambos mé
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
0% encontró este documento útil (0 votos)
345 vistas11 páginas

Inferencia Logica

Este documento explica los conceptos básicos de la inferencia lógica y los métodos para determinar la validez de una inferencia. Define una inferencia válida como aquella donde las premisas implican necesariamente la conclusión. Explica dos métodos para determinar la validez: 1) tabla de verdad y 2) método abreviado. Este último consiste en suponer las premisas verdaderas y la conclusión falsa, y analizar si las variables toman valores únicos o dobles de verdad. Incluye ejemplos para ilustrar ambos mé
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 TECNOLOGICA DE LOS ANDES

ESCUELA PROFESIONAL DE INGENIERIA

INFERENCIA LÓGICA

DOCENTE: ING. PERCY SALGUERO HUAYLLAS


CURSO: MATEMATICA BASICA

ALUMNO: BRAYAN SERRANO QUISPE 201713609K

CUSCO – PERU
2021
LA INFERENCIA LÓGICA

Un razonamiento es deductivo si y solo si las premisas son evidencias de la verdad de la


conclusión, es decir, si p1, p2, …, pn son verdaderas entonces q es verdadera; cuando se deduce
esto se dice que se ha construido una inferencia. De este modo, toda regla de inferencia es
tautológico.

Una inferencia es válida si y solo si la premisa p o conjunción del conjunto de premisa {𝑝𝑖}
implica la conclusión q, esto es, si:

(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … … ∧ 𝑝𝑛 ) → 𝑞 es una tautología

Para determinar la validez de la inferencia existen 2 métodos:

1) Tabla de verdad
Ejemplo: Determinar la validez de la inferencia: “Sí el triángulo es isósceles entonces
tiene dos lados iguales. Pero, el triángulo no tiene dos lados iguales; por lo tanto, no es
isósceles”.
Solución. Sean: p = “el triángulo es isósceles”
q = “el triángulo tiene dos lados iguales”
Entonces, el esquema de la inferencia es:
P1: 𝑝 → 𝑞 P1: Premisa 1

P2: ~𝑞 P2: Premisa 2

∴ ~𝑝 Conclusion
P q (p → 𝑞) ∧ (∼ → ~𝑞
𝑞)
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
pasos 1 3 2 5 4
Como el resultado de la tabla de verdad es una tautología, la inferencia es válida.

2) Método abreviado
Es un procedimiento que evita la laboriosa tarea de construir la tabla de valores para
determinar la validez de las inferencias. Este método consiste en suponer la conjunción
de premisas verdadera y la conclusión falsa, única posibilidad que invalida la
implicación:
(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … … ∧ 𝑝𝑛 ) → 𝑞
V V V V F
Si no se demuestra esta posibilidad la inferencia será válida.
En la prueba de este método se aplica los siguientes pasos:
a) Asignar el valor de verdad V a cada una de las premisas y de la falsedad F a la
conclusión.
b) Deducir la validez de cada una de las variables proposicionales en función de las
reglas veritativas, empezando por la conclusión o por el operador de una de las
premisas que ofrece una sola posibilidad.
c) Si cada uno de las variables cumple una sola función veritativa, se habrá probado
que la conjunción de premisas es verdadera y la conclusión es falsa; por lo que, la
inferencia no será válida (no hay implicación).
d) Si una variable tiene dos valores de verdad y falsedad a la vez, quedara demostrado
que no es posible que la conjunción de premisas sea verdadera y la conclusión falsa.
Por lo que, hay implicación y la inferencia será válida.

Ejemplo:

Establecer si es válida la inferencia:

p↔ ~𝑞
q vr
~r

~q

Solución: empezamos escribiendo el esquema de la inferencia en la forma:

a) (𝑝 ↔ ~𝑞 ) ∧ (𝑞 ∨ 𝑟 ) ∧ (∼ 𝑟 ) → ~𝑞

V V V F
b) Empezamos por la conclusión si 𝑉 (~𝑞 ) = 𝐹 → 𝑉 (𝑞 ) = 𝑉. Trasladamos este valor a la primera
premisa y notamos que si: 𝑉 (𝑝 ↔ 𝐹) = 𝑉 → 𝑉 (𝑝) = 𝐹(única posibilidad). En la tercera
premisa:𝑉 (~𝑟 ) = 𝑉 → 𝑉 (𝑟 ) = 𝐹. Estos dos valores encontramos satisfacen el valor de verdad
de la segunda premisa.

c) Como cada una de las variables cumple una sola función veritativa, decimos que la
inferencia no es válida. Esto es, se ha demostrado que la conjunción de premisas es verdadera y
la conclusión falsa

estudiamos la validez de una inferencia por medio de la Tabla de Valores: Si resulta

▪ tautológica: Es válida Si resulta


▪ contingente: No es válida
Hallar la validez de la inferencia mediante tabla de valores. - Interpretar el resultado.

INTERPRETACION: La inferencia no es válida porque la conjunción de premisas no


implica a la conclusión, por lo tanto, la conclusión no se deriva de las premisas.

1º Suponer que la conclusión es FALSA.

2º Suponer que todas las premisas son VERDADERAS

3º Partiendo de la conclusión, se determina los valores de


Verdad de p, q, r.

4º Los valores de verdad hallados en la conclusión se trasladan


a la primera premisa de preferencia, y luego a la segunda,
tercera, etc.
5º Si los valores de verdad de p, q, r toman un solo valor, la inferencia es No Válida. 6º
Basta que una de las variables (p, q, r) tome dos valores de verdad, entonces la
inferencia será válida.

Muy Importante

Válida Tener las tablas de valores de las proposiciones compuestas: Conjuntiva, Disyunción
Inclusiva, Disyunción Exclusiva, Condicional y Bicondicional; a fin de comprender el
procedimiento, además de las reglas mencionadas.

EJEMPLO

1) Hallar la validez de la inferencia por el método abreviado.

La inferencia puede escribirse en forma horizontal:

1º Regla: Suponer que la conclusión es falsa: Por lo tanto: p puede ser verdadera y q falsa
(bicondicional).

2º Regla: Que todas las premisas son VERDADERAS.


3º Regla: Se conoce los valores de p, q deducida de la conclusión según la regla No 01:

p=V q=F

4º Regla: Siendo p = V, para que la primera premisa resulte verdadera, entonces el valor de q
debe ser verdadero (condicional).

El valor de q = V lo trasladamos a la segunda premisa, y por lo tanto el valor de p también debe


ser verdadero.

¿Cuáles son los valores de verdad de p y q?

p=V q=V q=F

5º Regla: Según esta regla, q toma dos valores de verdad, en consecuencia, la inferencia es
válida.
Hallar la validez de la inferencia por el método abreviado.

Escribiendo la inferencia en forma horizontal

1º Regla: Conclusión Falsa

2º Regla: Las premisas verdaderas.

3º Regla: El valor de q = F

4º Regla: El valor de q se traslada a la primera premisa y por lo tanto el valor de p = F.

Si el valor de q = F P = F, para que resulte verdadera la primera premisa (Ver Tabla de Valores
de la Condicional).
En la primera premisa el valor de p es falso.

En la segunda premisa el valor de p es verdadero (regla N.ª 2)


1.- EJERCICIOS:

SOLUCION POR EL METODO ABREVIADO

Respuesta: Si observamos la variable “p” tiene valores F y V a la vez. Por tanto, el esquema es válido.
2.- EJERCICIO:
Si la infraestructura sufrió desperfectos entonces Juan el ing. hará tardía la obra. Pero, Juan no hará que
la obra se tarde. Por tanto, si la obra sufrió desperfectos entonces Juan hará otra programación del
proyecto.
p: la obra sufrió desperfectos.
q: Se hará tardía la obra.
r: Juan hará otra programación del proyecto

SOLUCION -----→

Respuesta: Si, observamos la variable “p” tiene valores F y V a la vez. Por tanto, el esquema es válido.
EJERCICIOS CON TABLAS DE VERDAD
Si trabajo de ingeniero no puedo estudiar, trabajo o apruebo matemáticas, pero aprobé matemáticas.
Por tanto, estudié.
p: Trabajo de ingeniero.
q: Puedo estudiar.
r: Apruebo matemática.
SOLUCION

RESPUETA: El esquema es no válido.

También podría gustarte