PAGPA-UNSCH

Inferencia lgica Pasos a seguir:

La inferencia lgica es llamada tambin lgica 1. Asignar el valor de verdad (V) a una de las
inferencial. Es un proceso que consiste en pasar de premisas y falso (F) a la conclusin,
un conjunto de premisas a una conclusin, sin la entonces cada premisa es verdadero
necesidad de elaborar tablas o cuadros muy es decir:
extensos.
Todo ejercicio o problema que se resuelve
usando inferencia lgica, tiene la forma:

Aqu: p y q son llamadas premisas.

Este conjunto de premisas originan como
consecuencia otra proposicin C, llamada
conclusin, la cual tambin se le llama 2. Deducir el valor de cada una de las variables
argumento lgico. proposicionales teniendo en cuenta los
conectores lgicas que se pueden presentar en
Inferencias vlidas notables. cada premisa.
3. Si en cada una de las variables proposicionales
1. Ley de Mdus Ponens. tiene un solo valor, entonces la inferencia no es
[ ] vlida.
4. Si una variable proposicional llega tener dos a la
Se simboliza: vez (V y F), entonces la inferencia lgica es
vlida.

Ejercicios
2. Ley de Mdus Tollens 1. Todos los alumnos de PAGPA son estudiosos,
[ ] Patricia es alumna de PAGPA. Por lo tanto.
Se simboliza: a) Patricia no es estudiosa.
b) Estudia solo poco.
c) Solo para el examen estudia.
d) Patricia es estudiosa.
3. Ley de Silogismo Hipottico e) No es cierto que estudia.
[ ] 2.
Se simboliza: Todos los Ayacuchanos son honestos.
Todas los Huamanguinos son ayacuchanos.
De ambas premisas podemos deducir:
4. Ley de Silogismo Disyuntivo a) Loa huamanguinos no son honestos.
[ ] b) Todos los huamanguinos son honestos
Se simboliza: c) Algunos huamanguinos son honestos.
d) Algunos huamanguinos no son honestos.
e) Todo Ayacuchano es deshonesto.
5. Ley del Dilema Constructivo
3. La negacin de:
[ ]
Todos mis primos van al cine los sbados en la
Se simboliza:
tarde.
a) Ninguno de mis primos va al cine los sbados en
la tarde.
b) Algunos de mis primos van al cine los sbados en
la tarde.
Mtodo abreviado
c) Algunos de mis primos van al cine los sbados en
El desarrollo de la tabla de valores de la inferencia
la tarde.
es muy laborioso cuando se
desea saber su validez, esto se puede evitar d) Todos mis primos no van al cine los sbados en la
mediante el mtodo abreviado. tarde.
El mtodo abreviado consiste en analizar la nica e) Slo uno de mis primos no va al cine los sbados
posibilidad de ser falsa la implicacin , es en la tarde.
decir:

Prof: Flix QUISPE Y.

 PAGPA-UNSCH

Haga la representacin simblica de cada enunciado

y verifica la validez. 9.

1. Si Ricardo palma naci en lima, entonces es

Limeo, Ricardo palma no es Limeo. Entonces, a) La inferencia lgica es vlida
Ricardo Palma no naci en Lima b) La inferencia lgica no es vlida

a) La inferencia lgica es vlida 10.

b) La inferencia lgica no es vlida

2. Si en verano hace calor, entonces en invierno

hace fro, y en verano hace calor. Entonces, en a) La inferencia lgica es vlida
invierno hace fro
b) La inferencia lgica no es vlida
a) La inferencia lgica es vlida
11.
b) La inferencia lgica no es vlida

3. Si eres tolerante con tus hijos y ellos no te

obedecen, entonces, usa el rigor y te a) La inferencia lgica es vlida
obedecern b) La inferencia lgica no es vlida
a) La inferencia lgica es vlida
b) La inferencia lgica no es vlida Tarea
Demostrar por mtodo abreviada los siguientes
4. Pagar la cuenta si estoy equivocado y no argumentos si la inferencia es vlida.
pagar la cuenta. Por lo tanto, no estoy
equivocado 1) [ ]
a) La inferencia lgica es vlida
b) La inferencia lgica no es vlida 2) [ ]

5. Si x es mltiplo de 2, si solo si x es par, y x es 3) [ ]

mltiplo de 2. Entonces, x es par
4) [ ]
a) La inferencia lgica es vlida
b) La inferencia lgica no es vlida 5)

6. Si: [ ]
a) La inferencia lgica es vlida
b) La inferencia lgica no es vlida

Demostrar por el mtodo abreviado la validez. Traducir en forma simblica y comprobar la validez
1) [ ] e invalidez.
a) La inferencia lgica es vlida
b) La inferencia lgica no es vlida 6) si trabajo no puedo estudiar. Trabajo o apruebo
matemtica. Aprob matemtica. Por lo tanto,
2) [ ] estudie
a) La inferencia lgica es vlida
b) La inferencia lgica no es vlida

Verificar la validez de los siguientes argumentos:

El nico rincn donde hay respuestas
7. [ ] exactas, correctas y tal vez nicas es el
de las matemticas.
8.

a) La inferencia lgica es vlida

b) La inferencia lgica no es vlida

Prof: Flix QUISPE Y.