Documente Academic
Documente Profesional
Documente Cultură
Matemtico
INFERENCIAS
Lobachevsky
R.D.R. 000306-2008-DRELL
3.: [(AB)-A]-B
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
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
( 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:
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
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)
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)
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)
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)
P1 : A-B
P2 : B C
P3 : -C
Podemos concluir en:
a) A
b) A
d) C
e) N.A.
c) B
P1 :A B
P2 :B -D
P3 :-C
P4 : E C
Llegamos a:
a) A
d) B
b) -A
e) E
c) C
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
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
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.
3) p q
6.
C) Slo 2, 4 y 5
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
c) B -C
D)
A B
B)
C
A B
C) A
E) A
a) 1, 2,3
d) 2, 3,5
b) 3y4
e) 1, 2,4
c) 3y 5
e)
b)
c)
d)
e)
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