Institucin Educativa Privada

Matemtico
INFERENCIAS
Lobachevsky
R.D.R. 000306-2008-DRELL

3.: [(AB)-A]-B

G. Gary Poma Reyes

94-9246887 / 94-8221509

Definicin:
Es una estructura de proposiciones donde a partir de una o ms proposiciones
llamadas premisas, se obtiene otra proposicin final llamada conclusin. O tambin
podemos decir que es el proceso de pasar de un conjunto de premisas a la conclusin.
REGLAS DE INFERENCIA:
Son argumentos vlidos, tautolgicos, implicaciones notables. Es decir ya no se
necesita la demostracin de su validez. A continuacin estudiamos las ms
importantes:
REGLA 1:
MODUS PONENDO PONENS (M.P.P.):
Esquemas Lineales:
1.: [(AB)A]B
2.: [(AB)A]B
3.: [(AB)B]A

Matemtico
Lobachevsky
Esquemas Verticales:
R.D.R. 000306-2008-DRELL

IV.1. : A B
B
A

Ejemplo: "Si la materia se destruye y Dios existe, entonces la teora de la relatividad no

es exacta. La teora de la relatividad es exacta. Luego, no es el caso que la materia se
destruya y Dios exista"
Veamos su esquema: Sean: A= la materia se destruye; B= Dios existe; C= la teora de
la relatividad es exacta.

Esquemas Verticales:
2:AB

A
B

3. : A B
B
A
Ejemplo 1:
Si llueve entonces las pistas estn mojadas. Llueve. Luego, las pistas estn mojadas.
Veamos su esquema:
Sean: A= llueve; B= las pistas estn mojadas; Formalizando:
A B
A
B
REGLA 2
MODUS TOLLENDO TOLLENS (M.T.T.):
Esquemas Lineales:
1.: [(AB)-B]-A
2.: [(AB)-B]-A

IV.2 : A B
B
A

IV.3. : A B
A
B

Formalizando: :

1. : A B

Institucin Educativa Privada

( A B) C
C
(A B)

REGLA 3:
MODUS PONENDO TOLLENS (M.P.T.):
Esquemas Lineales:
1.: [(AB)A]-B
2.: [(AB)B]-A
Esquemas Verticales:
.1 A B
A
B

2 AB
B
A

Ejemplo: "Ivn estudia salvo que nicamente trabaje. Pero Ivn trabaja. Por lo tanto,
Ivn no estudia"
Veamos su esquema:
Sean: A= Ivn estudia; B= Ivn trabaja;
Formalizando: A B
B
A

REGLA 4
MODUS TOLLENDO PONENS (M.T.P.):
Veamos su esquema:
Sean: A= Cecilia viaja a Casa Grande; B= Cecilia visitar a su ta; C= Cecilia pasar
buenas vacaciones.
Formalizando:
AB
BC
AC

Esquemas Lineales:
1.: [(AB)-A]B
2.: [(AB)-B]A
3.: [(AB)-A]B
4.: [(AB)-B]A
Esquemas Verticales:
1. : A B

2: AB

B
B

3. : A B

REGLA 6
SIMPLIFICACIN(Simp)
Esquema Lineal:
[pq]p

pq

4: A B

[pq]q

pq

B
B

Esquema Vertical:

Ejemplo: "Elvis es ingeniero a menos que sea mdico. Sin embargo, Elvis no es mdico.
Luego, Elvis es ingeniero"
Veamos su esquema:
Sean: A= Elvis es ingeniero; B= Elvis es mdico. Formalizando:
AB
B
A
REGLA 5:
SILOGISMOS HIPOTETICO PURO (S.H.P.)
Esquema Lineal:
1.: -[(AB) (BC)](AC)
Esquema Vertical:
1
AB
BC
AC
Ejemplo: "Si Cecilia viaja a Casa Grande entonces visitar a su ta. Si visita a su ta
entonces pasar buenas vacaciones. Por lo tanto, si Cecilia viaja a Casa Grande
entonces pasar buenas vacaciones"

REGLA 7
ADICION (Ad) o NUEVO FACTOR(N.F.)
Esquema Lineal:
p(pq)
Esquema Vertical:
p
pq

REGLA 8
CONJUNCION(Conj.)
Esquema Lineal:
[pq](pq)
Esquema Vertical:
p
q
pq

REGLA 8
DILEMAS
Estructuras lgicas conformadas por tres premisas y una conclusin.

Veamos su esquema:
Sean: A= Anito deca la verdad; B= Scrates corrompa a la juventud; C= el tribunal
conden equivocadamente a Scrates; D= Anito es culpable.
Formalizando:

1.:DILEMA CONSTRUCTIVO COMPUESTO (D.C.C.):

Esquema Lineal:
{[(AB)(CD)] (AC)(BD)
Esquema Vertical:
afirmados
unidos con V

AB
C D

afirmados
unidos con V

Ejemplo: "Si Jos estudia es buen hijo. Y si juega ftbol entonces es un buen deportista.
Sin embargo, Jos estudia o juega ftbol. Entonces, Jos es un buen hijo o buen
deportista".
Veamos su esquema:
Sean: A= Jos estudia; B= Jos es buen hijo; C= Jos juega ftbol; D= Jos es un buen
deportista.
Formalizando:
AB
CD
AC
B D
2: DILEMA DESTRUCTIVO COMPUESTO (D.D.C.):
Esquema Lineal:
{[(AB)(CD)] (-B-D)(-A-C)
Esquema Vertical:
negados
unidos con V

A
C

B
D

B D

negados
unidos con V

A C

Ejemplo: "Si Anito deca la verdad, entonces Scrates corrompa a la juventud, y si el

tribunal lo conden equivocadamente entonces Anito no es el culpable. Pero, Scrates
no corrompa a la juventud o Anito es el culpable. Por lo tanto, Anito no deca la verdad
o el tribunal no conden a Scrates equivocadamente"

Otros Dilemas:
Ejemplo:
Encontrar la conclusin vlida en cada caso:
1. A B
C D
A -D

2. A B
C D
-B C

3. A B

4. A

C D
A -D

5. A B
C
D
-A C

C
D
-A D

6. A B
C
D
D B

b)
c)
d)
e)
INFERENCIAS
01. Dadas las siguientes premisas: "Siempre que las bacterias se reproduzcan
asexualmente, es obvio que no
sufren transformacin". Sin embargo: "Las
bacterias sufren transformacin". Por lo tanto las bacterias:
a)
b)
c)
d)
e)

No se reproducen sexualmente
Se reproducen sexualmente
Si se reproducen asexualmente
Algunos se reproducen sexualmente
N.A.

02. El rea del tringulo est en funcin de sus lados y bien o tambin en la relacin
de su base con su altura. Pero como el rea del tringulo no esta en funcin de sus
lados. Luego:
a)
b)
c)
d)
e)

El rea del tringulo tampoco est en la relacin de su base con su altura.

El rea del tringulo est en la relacin de su base con su altura.
Es inobjetable falso que el rea del tringulo est en relacin de su base con
su altura.
Concluiramos una falacia.
N.A.

03. "Los ros de Pacfico son torrente irregulares amenos que sean caudalosos
navegables. Pero los ros del Pacfico no son torrentes irregulares". Se infiere:
a)
b)
c)
d)
e)

Los ros del Amazonas son caudalosos navegables.

Los ros del Pacfico no son caudalosos navegables.
Es objetable que los ros del Pacfico son caudalosos
Es negable que los ros del Pacfico son caudalosos navegables.
Es falso que los ros del Pacfico no son caudalosos navegables

04. Es necesario poner las cosas en claro para que necesariamente podamos vivir en
paz. Pero como nunca pondremos las cosas en claro. En consecuencia:
a) Es imposible vivir en paz
b) Es innegablemente falso que no podamos vivir en paz.
c) Objetablemente la paz no est entre nosotros.
d) Todas
e) N.A.
05. Del argumento: "O las matemticas son ciencias formales o son ciencias naturales.
En el caso que es una falacia que sena ciencias de la naturaleza". Se deduce que:
a)

Las matemticas no son ciencias formales

Es falaz que sean ciencias formales

Son ciencias formales, las matemticas
Son ciencias formales, las matemticas.
N.A.

06. Es falso que la oferta favorezca a la demanda cuando y solo cuando los precios
bajen. Pero como los precios suben. Entonces:
a)
b)
c)
d)
e)

La demanda favorece a la oferta.

Es falso que la oferta favorezca a la demanda.
Es indudable que la oferta favorecer a la demanda.
Es imposible que los precios bajen.
N.A.
DEMOSTRACIN FORMAL

01. Dadas las premisas:

P1 : A-B
P2 : B C
P3 : -C
Podemos concluir en:
a) A
b) A
d) C
e) N.A.

c) B

02. Partiendo de las premisas:

P1 :A B
P2 :B -D
P3 :-C
P4 : E C
Llegamos a:
a) A
d) B

b) -A
e) E

c) C

03. Dadas las siguientes premisas formales:

P1 :

(A B) (C D)

P2 : (A B) (B D)
P3 : -C
Llegamos a concluir formalmente en:
a) A
b) B
c) A C
d) C D
e) N.A.
04. Dadas las premisas formales:

P1 : -A (B C)

P3 : D

P2 : (D G) -A

Concluimos en:
a) B C
b) B C

05. Deducir la conclusin del argumento:

2.

P1 : AB
P2 : C A
P3 : -B D
a) C D
d) (D C)
06. Deducir
argumento:

la

b) D C
e) D
conclusin

3.

vlida

del

siguiente

P2 : A C
P3 : D -C
P4 : -D
b) A
e) D

c) B V C

07. Dadas las premisas:

4.

P1 : A -B
P2 : B C
P3 : C D
P4 : E -D
Podemos concluir en:
a) A
b) A
d) C
e) B

c) E
5.

Miscelnea
1.

De las premisas:
P1: p (-r s)
P2: q r
P3: p (t -p)
Se infiere en:
1) (q w) v q
2) q w
4) r s
5) s w
Son correctas:
A) Slo 1 y 2
B) Slo 1 y 3
D) Slo 1, 3 y 5
E) Todas

D) B
7.

Del argumento: Si Jos no estudia gestin empresarial, no

asesorar empresas; Si Silvia no estudia decoracin, no
abrir su tienda y Jos asesorar empresas a no ser que
Silvia abrir su tienda. Se infiere:
A) Jos estudia gestin empresarial o slo Silvia estudia
decoracin
B) No slo Jos estudia gestin empresarial, tambin Silvia
estudia decoracin
C) A menos que Jos estudie gestin empresarial, Silvia no
estudia decoracin
D) Jos o tambin Silvia estudian consecutivamente gestin
empresarial o decoracin
E) Silvia no estudia decoracin slo si Jos estudia gestin
empresarial
Del argumento: Para que, sea necesario que la lgica sea una
ciencia formal para que utilice lenguaje cientfico, es suficiente
que no sea una ciencia demostrable adems La lgica utiliza
lenguaje cientfico aunque no sea una ciencia formal Se infiere:
A) La Lgica no es una ciencia formal.
B) La Lgica no utiliza lenguaje cientfico.
C) La Lgica no es una ciencia experimental.
D) La Lgica es una ciencia demostrable.
E) La Lgica no es una ciencia demostrable
Del argumento: Si los peces y las aves no son vertebrados, los
leones no son felinos adems Los leones son felinos no
obstante las aves no son vertebrados. Se infiere:
A) Los peces son vertebrados.
B) Los leones son felinos.
C) Las aves son vertebradas.
D) Los peces no son vertebrados.
E) Los leones son vertebrados.

3) p q
6.
C) Slo 2, 4 y 5

Dadas las premisas

P1 : A B

P2 : B A B
Se concluye:
A) A B B) B A C)

A B

d) B -C

E)

e) N.a.

De las premisas
P1 : A B

P2 : A B
P3 : -C
Se infiere en:
A) A B

c) D C

P1 : A B

a) A
d) B

De la premisa formal: p; slo se infiere:

1) p p
2) p
3) (p)
4) - p p
Son ciertas:
A) Slo 1 y 2
B) Slo 2 y 4
C) Slo 2
D) Slo 1, 2 y 3
E) Todas

c) B -C

D)

A B

B)

C
A B

C) A

E) A

8. Como trabaje, tendr dinero, adems no tengo dinero

o satisfago mis necesidades, de ah que al trabajar,
satisfago mis necesidades. Qu implicacin lgica
se cumple?
a) Adjuncin.
b) Modus Ponendo Ponens.
c) Silogismo Disyuntivo.
d) Simplificacin.
e) Silogismo Hipottico Puro.
9.

De las premisas: "Las figuras geomtricas son

regulares o aunque son irregulares tambin". Sin
embargo
"las
figuras geomtricas
no
son
irregulares". Se infiere en:
a) Las figuras geomtricas son irregulares.
b) Las figuras geomtricas no son irregulares
c) Es objetable que las figuras geomtricas son
irregulares
d) Es negable que son regulares las figuras
geomtricas.
e) Es estricto qu son regulares las figuras
geomtricas.

10. De las premisas: "Un automvil acelera excepto que

slo mantiene su velocidad" empero "no mantiene
su velocidad". Se infiere en:
1. El automvil desacelera.
2. Acelera y desaceleran los automviles.
3. Slo acelera el automvil.
4. Slo desacelera el automvil
5. Es objetable que no acelera el automvil.
De las anteriores son ciertas:

a) 1, 2,3
d) 2, 3,5

b) 3y4
e) 1, 2,4

c) 3y 5

11. De las premisas: "El cero es neutro y abstracto".

Salvo que ni es neutro ni es abstracto" "Sin embargo
es neutro". Se infiere:
1. El neutro es cero.
2. El abstracto es cero.
3. Ni es neutro ni es abstracto.
4. Es inobjetablemente abstracto el cero.
5. Definitivamente el cero es abstracto.
Son ciertas:
a) 1,2,5
b) 3.4.5
c)ly3
d) 4y5
e)2.4,5

e)

15. De las premisas: Por un punto pasan infinitas rectas

o
est sobre una recta. Adems por una recta
pasan infinitos planos o bien no est en el espacio.
No obstante por un punto no pasan infinitas rectas
excepto que por esta, infinitos planos no pasan. Se
infiere en:
a) El punto est en el espacio.
b) La recta est en el plano y est en el espacio.
c)
d)
e)

12. De las premisas: Si el numeral no es nmero: no

es mensurable pero no es inconmensurable. Se
infiere en:
a) El numeral es conmensurable.
b) El numera] es mensurable
c) El numeral no es nmero
d) Lo conmensurable es inmensurable
e) El nmero est dado por un numeral
13. De las premisas: El cociente 0/0 ni es nmero real ni
es complejo, salvo que solamente renga un
denominador diferente de cero. Pero tiene
denominador diferente de cero. Se infiere:
1. Si no es complejo; es real el cociente 0/0.
2. El cociente no es real o no es complejo.
3. El cociente 0/0 no es real por consiguiente es
complejo.
4. Es objetable que el cociente 0/0 es diferente de
cero.
5. El cociente 0/0 est indeterminado.
Son ciertas solamente:
a) 1 y 2
b) 1 y 3
c) 2 y 3
d) 1,2,3
e) 1,4,5
14. De las premisas: "4 es mltiplo de 2 es condicin
suficiente para que sea divisible por 2
exactamente''. Pero 4 es divisible por 2. Luego 2 es
divisible por 1". Se infiere en:
a) 2 es mltiplo de 1
b) 4 es divisible por 1 si es por 2.
c) Si 4 es mltiplo de 2, 2 es divisible por 1.
d) 1 es divisor de 2 y 4.

4 es divisible por 2 y por 1.

b)
c)
d)
e)

El incentro es el punto donde se cortan las tres

medianas de un tringulo.
El incentro es el centro de la circunferencia
inscrita en un tringulo.
El incentro es el centro de la circunferencia
inscrita en un tringulo salvo que es el punto
donde se cortan las bisectrices interiores.
El incentro no es el centro de la circunferencia
inscrita en un tringulo y bien no es el punto
donde se cortan las bisectrices interiores.

El punto est sobre la recta por donde pasan

infinitos planos.
Dado que el punto no est sobre la recta; sta
no est en el espacio.
Es necesario que el punto est en el espacio
para que ste no est sobre la recta.

16. De las premisas: La geometra estudia las figuras

geomtricas es lo mismo que estudiar las formas,
extensin y la relacin que guardan entre s. O bien
slo se ocupa de la naturaleza de los cuerpos, bien
de las propiedades. Aunque es suficiente que la
geometra
siempre
no
estudie
las
figuras
geomtricas para que no tome en cuenta la
naturaleza de los cuerpos. Se infiere
1. Ni la geometra estudia las formas ni su
extensin.
2. La geometra estudia las formas y extensin de
las figuras planas.
3. La geometra no toma en cuenta las propiedades
luego estudia las formas, extensin y sus
relaciones.
4. La geometra toma en cuenta las propiedades y
las relaciones entre las formas y su extensin.
5. Es objetable que ni la geometra estudia las
formas, extensin y sus relaciones ni toma ^ en
cuenta sus propiedades.
Son ciertas:
a) 1,2,3
b) 1y4
c)3y5
d) 1,2,4
e) 3,4,5
17. De la premisa: El incentro es punto donde se corran
las tres bisectrices interiores de un tringulo. Se
concluye en:
a) El incentro coincide con el baricentro.

18. De las premisas: El baricentro es el punto donde se

encuentran las tres medianas de un tringulo, no
obstante ste est situado a 2/3 de cada vrtice. Se
infiere en:
1. El baricentro est a 1/3 de su vrtice en un
tringulo.
2.
El baricentro est a 2/3 slo de uno de sus
vrtices en todo tringulo
3. El baricentro
no
es el punto donde se
encuentran las tres medianas.
4. El baricentro est a 2/3 de cada vrtice en un
tringulo.
5. El baricentro
es
el
punto
donde
se
encuentran las tres medianas en todo
tringulo.
Son ciertas:
a) 1, 2,3
b) 3 y4
c) 4 y 5
d) 1, 2,5
e) 2, 3,4
19. Dadas las premisas:

P1 : x = 1 (y = 2 z = 3)
P2 : (a = 4 z = 3) y 2
P3 : a = 4 x = 1
Podemos concluir en:
a) a 4
b) z = 3
d) x 1
e) N.A.

c) z = 3

 RETO !!!
*** Dadas las premisas:

P1 : x 4 y < x
P2 : (x > 5 y < x) y = 2
P3 : y 2 x = 4
P4 : x > 5 x 4
Luego podemos concluir en:
a) x = 4
b) x4 x<5
d) x < 5
e) x > 5

c) x = 4 x < 5

G. Gary Poma Reyes

94-9246887 / 94-8221509