Академический Документы
Профессиональный Документы
Культура Документы
7n
q 5onclusin por tanto
Bamos a trabajar con la 6orma !ertical, por consi"erase m0s "i"0ctico para su
apren"i,aje. =entro "e las implicaciones notables se consi"era las siguientes leyesD
A4 LEE DEL ODUS PONENDO PONENS ;PP<
:i se a6irma el antece"ente "e una premisa con"icional, se concluye a6irman"o el
consecuente, esto esD
7remisa con"icional 0 *
$6irman"o el antece"ente 0
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 48
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
:e concluye a6irman"o el consecuente *
E,e'0l)3
:ean las proposiciones ;p> y ;q>
pD 9alileo 6ue matem0tico
qD 9alileo "escubri el 1elescopio
:i 9alileo 6ue matem0tico, entonces "escubri el 1elescopio
9alileo 6ue matem0tico
Por tanto: Galileo descubri el Telescoio
14 LEE DEL ODUS TOLLENDO TOLLENS ;TT<
:i se niega al consecuente "e una premisa con"icional, se concluye negan"o el
antece"ente, esto esD
7remisa con"icional 0*
$6irman"o el antece"ente F*
:e concluye negan"o al consecuente F 0
E,e'0l)3 :ean las proposiciones ;p> y ;q>
pD 9alileo 6ue matem0tico
qD 9alileo "escubri el 1elescopio
:i 9alileo 6ue matem0tico, entonces "escubri el 1elescopio
9alileo no "escubri el 1elescopio
Por tanto: Galileo no fue !ate!"tico.
C4 LEE DEL ODUS TOLLENDO PONENS O SILOGISO DISEUNTIVO ;SD<
:i se niega cualquiera "e las "os proposiciones "e una premisa "isyunti!a, se
concluye a6irman"o la otra proposicin, esto esD
7remisa "isyunti!a 0 * 0 *
&egan"o cualquier proposicin F0 & F*
:e concluye, a6irman"o la otra 7roposicin * 0
E,e'0l)D :ean las proposiciones ;p> y ;q>
pD 9alileo 6ue matem0tico
qD 9alileo "escubri el 1elescopio
9alileo 6ue matem0tico o "escubri el 1elescopio
9alileo no "escubri el 1elescopio
Por tanto: Galileo fue !ate!"tico.
D4 LEE DE INFERENCIA EGUIVALENTE ;IE<
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 49
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
:i cualquiera "e las proposiciones "e una premisa bicon"icional es !er"a"era, se
concluye tambi/n como !er"a"era la otra proposicin.
7remisa bicon"icional 0 * 0 *
7roposicin !er"a"era 0 & *
:e concluye como !er"a"era la otra proposicin * 0
E,e'0l)3 :ean las proposiciones ;p> y ;q>
pD :il!ia aprueba el primer ciclo
qD :il!ia estu"ia
:il!ia aprueba el primer ciclo si y slo s@ estu"ia
:il!ia estu"ia aprueba el primer ciclo
Por tanto: #ilvia arueba el ri!er ciclo.
E4 LEE DEL SILOGISO HIPOTHTICO ;SH<
:i una primera proposicin 3p4 implica a otra segun"a proposicin 3q4 y /sta implica
a una tercera proposicin 3r4, se concluye que la primera proposicin implica a la
tercera proposicin.
0 *
* #
0 #
E,e'0l)3 :ean las proposiciones ;p>, ;q> y ;r>
pD 7 Z (
qD ( Z %
r D % Z #
:i 7 Z (, entonces ( Z %
:i ( Z %, entonces % Z #
Por tanto: #i $ % &' entonces 3 % 1.
F4 LEE DE TRANSITIVIDAD SIHTRICA ;TS<
:i una primera proposicin es equi!alente a una segun"a proposicin y /sta es
equi!alente a una tercera, se concluye que la primera proposicin es equi!alente
a la tercera proposicin.
0 *
* #
0 #
E,e'0l)3 :ean las proposiciones ;p>, ;q> y ;r>
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 50
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
pD 9abriela es buen pro6esional
qD 9abriela aprueba los "ie, ciclos
r D 9abriela estu"ia
9abriela es pro6esional si y slo si aprueba los "ie, ciclos
9abriela aprueba los "ie, los ciclos si y slo si estu"ia
Por tanto: Gabriela ser" buen rofesional si y slo si estudia.
G4 LEE DEL DILEA CONSTRUCTIVO ;DC<
=e "os premisas con"icionales "istintas y la "isyuncin "e sus antece"entes "e
"ichas premisas, se concluye con la "isyuncin "e los consecuentes "e las
premisas con"icionales, esto esD
#[ 7remisa con"icional 0 *
-[ 7remisa con"icional # %
%[ =isyuncin "e sus antece"entes 0 #
:e concluye, con la "isyuncin "e los consecuentes "e * %
las premisas con"icionales
E,e'0l)3 :ean las proposiciones ;p>, ;q> y ;r>
pD 9abriela es buen pro6esional
qD 9abriela aprob los "ie, ciclos
r D 9abriela estu"ia
s D 9abriela gana mucho "inero
:i 9abriela es buen pro6esional, entonces aprob los "ie, ciclos
:i 9abriela estu"ia, entonces ganar0 mucho "inero
9abriela es buen pro6esional o estu"ia
Por tanto: Gabriela arob los diez ciclos o (ana !uc)o dinero
H4 LEE DEL DILEA DESTRUCTIVO ;DD<
=e "os premisas con"icionales "istintas y la "isyuncin "e la negacin "e sus
consecuentes, se concluye con la "isyuncin "e la negacin "e los antece"entes "e
las premisas con"icionales, esto esD
#[ 7remisa con"icional 0 *
-[ 7remisa con"icional # %
%[ &egacin "e la "isyuncin "e sus consecuentes F * F %
:e concluye, con la negacin "e la "isyuncin "e los
antece"entes "e las premisas con"icionales. F 0 F #
E,e'0l)3 :ean las proposiciones ;p>, ;q>, ;r> y ;s>
pD 9abriela es buen pro6esional
qD 9abriela aprob los "ie, ciclos
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 51
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
r D 9abriela estu"ia
s D 9abriela gana mucho "inero
A0lican2) el Dile'a C)n%"#uc"iv)- "ene')%3
:i 9abriela es buen pro6esional, entonces aprob los "ie, ciclos
:i 9abriela estu"ia, entonces ganar0 mucho "inero
9abriela no aprob los "ie, ciclos o no gana mucho "inero
Por tanto: Gabriela no es buen rofesional o no estudia.
I4 LEE DE SIPLIFICACIN ;S<
=e una premisa conjunti!a, se concluye a6irman"o o simpli6ican"o cualquiera "e
sus proposiciones, esto esD
7remisa conjunti!a 0 * & 0 *
:e concluye a6irman"o cualquiera "e sus proposiciones 0 *
E,e'0l)3 :ean las proposiciones ;p> y ;q>
pD 7 es un nHmero primo
qD ' es un nHmero par
0 *D 7 es un nHmero primo y ' es un nHmero par
Por tanto: 4 es un n*!ero ar. + ta!bi,n' $ es un n*!ero ri!o.
54 LEE DE SIPLIFICACIN CON5UNTIVA E CONDICIONAL ;SC<
=e "os proposiciones cualesquiera que sea, se concluye con la simpli6icacin o
implicacin "e las proposiciones, esto esD
#[ 7roposicin 0 0
-[ 7roposicin * & *
:e concluye, con la conjuncin o implicacin "e las proposiciones 0 * 0 *
E,e'0l)3 :ean las proposiciones ;p> y ;q>
pD 7 es un nHmero primo
qD ' es un nHmero par
Por tanto: $ es un n*!ero ri!o y 4 es un n*!ero ar. + ta!bi,n' #i $ es un
n*!ero ri!o' entonces 4 es un n*!ero ar
I4 LEE DE ADICION ;A<
=e una premisa, se pue"e concluir a"icionan"o a esta otra premisa pero solamente
con la "isyuncin.
7remisa 0 & *
:e concluye aumentan"o a esta otra 0 * * #
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 52
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
premisa pero con la "isyuncin.
E,e'0l)3 :ea l proposicin ;p>
pD 5arlos .arx escribi la obra ;El 5apital>
Por tanto: -arlos .arx escribi la obra /0l -aital1 o naci en 2le!ania
L4 LEE DE AD5UNCIN ; AD5 <
:igni6ica que a cualquier premisa se le pue"e a"juntar otra premisa cualquiera, pero
que tenga la intencin "e ayu"ar a resol!er el problema o "emostracin.
E,e'0l)3 :ea la proposicin ;p>
pD *os/ 5arlos .ari0tegui escribi la obra ;1emas "e E"ucacin>
qD *os/ 5arlos .ari0tegui es peruano
4 LEE DEL A1SURDO ; A1S <
:i una contra"iccin se "e"uce "e una premisa con"icional, se concluye con la
negacin "el antece"ente, esto esD
7remisa 5on"icional 0 ;* F*<
:e concluye negan"o el antece"ente F0
DEOSTRACIN DE IPLICACIONES NOTA1LES
$ continuacin, se presenta algunas recomen"aciones para "emostrar ejercicios sobre
implicaciones notablesD
#Q. 9eneralmente no se e6ectHa operaciones "on"e se encuentran las proposiciones
que se preten"e "emostrar.
-Q. :e tantea o se juega con las premisas "on"e existan proposiciones similares que se
a6irman o niegan y luego se aplican las leyes implicati!as.
%Q. :i existen "emostraciones "e premisas con operaciones algebraicas o
lenguaje natural, se recomien"a simboli,ar "ichas proposiciones con p, q, r, etc.
para su "esarrollo.
E5ERCICIOS RESUELTOS
E,e#cici) NJ 01
=emostrarD s Y r
1. 3 t p 4 3 t M 4
2. Y 3 Y t r 4
3. Y 3 Y s p 4
'. t Y r 3-4 3Ley "e .organ4
#. t 3'4 3:4
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 53
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
2. t p 3#4 3:4
%. p 3(J64 3774
4. s Y p 3%4 3Ley "e .organ4
(. s 37JA4 3:=4
6. Y r 3'4 3:4
7. s Y r 39D#04 3:54
E,e#cici) NJ 02
=emostrarD 3x \ (4 3x < '4
1. 3x \ -4 3x < %4
2. 3x '4 3x %4
%. 3x - x '4 3x \ -4
=an"o !alores a estas proposiciones
pD x \ ( Y tD x '
qD x < ' Y sD x %
rD x \ - Y rD x -
sD x < % Y qD x '
8eempla,an"o tenemosD
=emostrarD p q
#. r s
-. Y t Y s
%. 3Y r Y q 4 r
'. Y s 3-4 3:4
(. Y r 3#J'4 3114
6. Y 3Y r Y q4 3%J(4 3114
7. r q 364 3Ley "e .organ4
A. q 374 3:4
9. p 394 3$=*4
#0. p q 3AJ94 3:54
E,e#cici) NJ 0@
=emostrar queD 7e"ro es mayor que *uan.
:i *os/ es mayor que 8oberto, entonces 7ancho es menor que 5arlos. 7ero si 7ancho
es menor que 5arlos, entonces 5armen no es mayor que =oris. $"em0s 5armen es
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 54
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
mayor que =oris. :in embargo, Luis es amigo "e *uan y al mismo tiempo 7e"ro es mayor
que *uan o en to"o caso *os/ es mayor que 8oberto.
SOLUCIN
Su%"i"u/en2) va#ia+le%3
pD 7e"ro es mayor que *uan.
qD *os/ es mayor que 8oberto.
rD 7ancho es menor que 5arlos.
sD 5armen es mayor que =oris
tD Luis es amigo "e *uan.
8eempla,an"o !ariables y 6orman"o premisasD
=emostrarD p
1. q r
2. r Y s
%. s
4. t 3 p q 4
(. Y r 3-J%4 3 11 4
6. Y q 3#J(4 3 11 4
7. p q 3 ' 4 3 : 4
A. p 36J74 3:=4
E,e#cici) NJ 0A
=emostrar queD *os/ es t@o "e *uan o 7e"ro es primo "e 8aHl.
=a!i" es primo "e *os/ y .ar@a es t@a "e Luis. :i 8aHl es t@o "e =oris, entonces *uan es
hermano "e 7e"ro o .ar@a es prima "e Luis. :i *uan es hermano "e 7e"ro quiere "ecir
que *os/ es t@o "e *uan. 7ero si .ar@a es prima "e Luis, entonces 7e"ro es primo "e
8aHl. $"em0s que si =a!i" es primo "e *os/, entonces 8aHl es t@o "e =oris.
SOLUCIN
=an"o !alores, a las proposiciones tenemosD
pD *os/ es t@o "e *uan.
qD 7e"ro es primo "e 8aHl.
r D =a!i" es primo "e *os/.
sD .ar@a es t@a "e Luis
t D 8aHl es t@o "e =oris.
LD *uan es hermano "e 7e"ro
Ree'0la=an2) va#ia+le%3
De')%"#a#3 0 *
1. r s
2. t 3 L s 4
3. L p
4. s q
5. r t
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 55
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
6. s 3#4 3:4
7. q 3'J64 3774
A. r 3#4 3:4
9. t 3AJ(4 3774
#0. L s 3-J94 3774
##. p q 3#0J%J'4 3=54
E,e#cici) NJ 0K
:i en ?uanca!elica el 6irmamento est0 nubla"o y hace 6r@o, entonces no se lle!ar0 a cabo
el concurso "e natacin. Icurre que en ?uanca!elica el 6irmamento est0 nubla"o y hace
6r@o. Luego,
SOLUCIN
=an"o !aloresD
pD En ?uanca!elica el 6irmamento est0 nubla"o.
qD ?ace 6r@o.
rD :e lle!ar0 a cabo el concurso "e natacin.
8eempla,an"o !aloresD
1. 3 p q 4 Y r
2. 3 p q 4
%. Y r 3#J-4 3 77 4
Luego, no se lle!ar0 a cabo el concurso "e natacin.
E,e#cici) NJ 0L
La ra@, cua"ra"a "e un nHmero negati!o no tiene solucin en los nHmeros reales si to"o
conjunto no se contiene a s@ mismo, y si to"o conjunto se contiene a s@ mismo entonces el
concepto "e conjunto es abstracto. 7ero, to"o conjunto se contiene a s@ mismo o no se
contiene a s@ mismo. En consecuencia,
SOLUCIN
Dan2) val)#e%3
p D La ra@, cua"ra"a "e un nHmero negati!o tiene solucin en los nHmeros reales.
q D 1o"o conjunto se contiene a s@ mismo.
r D El concepto "e conjunto es abstracto.
Ree'0la=an2) val)#e%3
1. Y q Y p
2. q r
3. q Y q
'. Y p r 3#J-4 3 =5 4
En c)n%ecuencia- La ra@, cua"ra"a "e un nHmero negati!o no tiene solucin en los
nHmeros reales o el concepto "e conjunto es abstracto. I tambi/n, si la ra@, cua"ra"a "e
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 56
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
un nHmero negati!o tiene solucin en los nHmeros reales, entonces el concepto "e
conjunto es abstracto.
E,e#cici) NJ 0M
:i las pir0mi"es egipcias 6ueron construi"as en tiempo "e los 6araones entonces los
arquitectos egipcios conocieron la 9eometr@a, y si los cient@6icos egipcios conocieron la
.atem0tica entonces Egipto 6ue cuna "e las ciencias abstractas. 7ero, Egipto no 6ue
cuna "e las ciencias abstractas o los arquitectos egipcios no conocieron la 9eometr@a.
Luego,...
SOLUCIN
Dan2) val)#e%3
pD Las pir0mi"es egipcias 6ueron construi"as en tiempo "e los 6araones.
q D Los arquitectos egipcios conocieron la 9eometr@a.
r D Los cient@6icos egipcios conocieron la .atem0tica.
s. Egipto 6ue cuna "e las ciencias abstractas.
Ree'0la=an2) val)#e%3
1. p q
2. r s
3. Y s Yq
'. Y p Y r 3#J-4 3 == 4
Lue.)- Las pir0mi"es egipcias no 6ueron construi"as en tiempo "e 6araones o los
cient@6icos egipcios no conocieron la matem0tica.
INFERENCIA LGICA
El m/to"o abre!ia"o "e "e"uccin natural 3in6erencia4 6ue propuesto por 9erhar"
9ent,en en el a+o "e #9%'. La in6erencia tambi/n se conoce con el nombre "e
"e"uccin, que signi6ica "emostrar una conclusin a partir "e un conjunto "e premisas
aplican"o una serie "e proce"imientos y las reglas "e in6erencia.
Cna in6erencia tiene la 6orma siguienteD
; P1 P2 P@ 444 Pn < C
5onjunto "e 7remisas 5onclusin
Esta in6erencia se pue"e "emostrar por tres m/to"osD
PRIER HTODO ;P)# la "a+la 2e ve#2a2<
E,e'0l)3 =a"a la in6erencia en el lenguaje naturalD
;*uan aprueba .atem0tica y no aprueba Gu@mica. En consecuencia, *uan no aprueba
.atem0tica o no aprueba Gu@mica>.
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 57
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
SOLUCIN
Expresan"o a la 6orma simblica y aplican"o la tabla "e !er"a"D
pD *uan $prueba .atem0tica
F pD *uan no aprueba .atem0tica
qD *uan aprueba Gu@mica
F qD *uan no aprueba Gu@mica
0 * 0 F * F 0 F *
V V
V F
F V
F F
)
B
)
)
V
V
V
V
)
B
B
B
La in6erencia es !0li"a, to"a !e, que el resulta"o resulta una tautolog@a.
SEGUNDO HTODO ;Si'0li>icaci&n<
:e aplica las leyes lgicas.
E,e'0l)3 5onsi"eramos el ejemplo anteriorD3p Yq4 3Yp Yq4
SOLUCIN
3 p Yq 4 3 Yp Yq 4
por la con"icional
Y 3p Y q 4 3Y p Y q4
ley "e .organ
3Y p q4 3Y p Y q4
ley asociati!a
3Y p Y p 4 3q Y q 4
ley "el complemento
B B
por "isyuncin
B
7or tanto, la in6erencia es !0li"a
TERCER HTODO ;8")2) a+#evia2)<
Este m/to"o es "e 60cil manejo "on"e e!ita el te"ioso trabajo "e reali,ar por los m/to"os
anteriores. Lo que se requiere es reconocer e i"enti6icar las tablas "e !er"a" "e las
operaciones proposicionales 3conjuncin, "isyuncin, con"icional, etc.4
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 58
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
El m/to"o abre!ia"o tiene la 6orma siguienteD
; P1 P2 P@ 444 Pn < G
$ntece"ente o conjunto "e 7remisas 5onsecuente o conclusin
El antece"ente es !er"a"era entonces ca"a premisa 3P1- P2- P@-N- Pn4 son !er"a"eras y el
consecuente o conclusin 3G< es 6alsa.
7ara resol!er ejercicios me"iante el m/to"o abre!ia"o se recomien"a los siguientes
pasosD
#S $l antece"ente o al conjunto "e premisas 3P1- P2- P@-N- Pn4 y a ca"a una "e la !ariables
proposicionales se le consi"era como !er"a"ero 3B4 y 6also 3)4 al consecuente o a la
conclusin.
-S :e elige una premisa que tenga una !ariable proposicional si esta no existe,
entonces se pre6iere una !ariable proposicional que no tenga !arias posibili"a"es,
tenien"o en cuenta las reglas "e las operaciones proposicionales3 ,, , etc.4 que
se pue"e presentar.
%S $l encontrar el o los !alores "e !er"a" "e ca"a !ariable proposicional, entonces
estos se !an reempla,an"o en las premisas "on"e exista "ichas !ariables.
'S :i ca"a una "e las !ariables proposicionales tiene un Hnico !alor "e !er"a",
entonces se concluye que la in6erencia no es !0li"a o simplemente es una 6alacia.
7uesto que en la tabla "e !er"a" "e la con"icional existe una Hnica posibili"a"J
esto es, cuan"o el antece"ente resulta !er"a"ero y el consecuente 6also se
concluye siempre como 6alsa.
(S :i cualquiera "e las !ariables proposicionales tiene "os !alores "e !er"a" 3B )4,
entonces la in6erencia se consi"era como !0li"a. 7or tanto existe implicacin, por que
la conjuncin "e premisas no es !er"a"era y la conclusin 6alsaD
E5ERCICIOS PROPUESTOS
.e"iante el m/to"o abre!ia"o "iga si las in6erencias siguientes son !0li"as o 6alacias.
E,e#cici) NJ 01
:i un nHmero no es "i!isible por "os, o es un nHmero impar o es un nHmero primo. &o es
un nHmero primo si es una 6raccin positi!a. 7ero, si es un nHmero impar entonces no es
nHmero "ecimal. 7or tanto, si un nHmero no es "i!isible por "os y es una 6raccin
positi!a, entonces no es un nHmero "ecimal.
SOLUCIN
8eempla,an"o por !ariables proposicionales, al texto en mencinD
pD Cn nHmero es "i!isible por "os
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 59
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
qD Es un nHmero impar
r D Es un nHmero primo
sD Es una 6raccin positi!a
t D Es un nHmero "ecimal.
Expresan"o el texto en el leguaje simblico, obtenemosD
O [F0 ;* #< ] ;% F #< ;* F " < P [ ;F 0 %< F " ]
A0lican2) el '8")2) a+#evia2)
1
e#
Pa%) $l conjunto "e premisas "el antece"ente se le consi"era como !er"a"ero 3B4 y
6also 3)4 al consecuente o conclusinJ esto esD
V V V F
][ Y p 3 q r 4 ] 3 s Y r 4 3q Y t 4 ^ [ 3 Y p s 4 Y t ]
1#a 0#e'i%a 22a 0#e'i%a @#a 0#e'i%a A"a 0#e'i%a
2
2)
Pa%)4 Elegimos la tercera premisaD
3 Y p s 4 Y t )
V V F 3Hnica posibili"a" para que la con"icional sea 6alsa.
=on"e necesariamente el antece"ente ;Y p s>
y el consecuente ;Yt> "ebe ser !er"a"era y 6alsa,
respecti!amente4
@
e#
Pa%)4 8eempla,amos los !alores "e !er"a" "e las proposiciones ;p>, ;s> y ;t> en las
"em0s premisasJ esto esD
_ q Y t B
`nica posibili"a" )
_ Y p 3 q r 4 B
B ) Hnica posibili"a"
_ s Y r B
`nica posibili"a" )
A
")
Pa%)4 7or tanto, la in6erencia no es !0li"a o 6alacia, porque ninguna proposicin es
!er"a"era y 6alsa a la !e,.
E,e#cici) NJ 02
:i los 6enmenos naturales se comportan segHn las leyes mec0nicas "e &eLton,
entonces &eLton "ice la !er"a", sin embargo la )@sica 5l0sica no es absoluta. La )@sica
5l0sica es absoluta, si el mo!imiento o la !eloci"a" "e la lu, son absolutos. :i &eLton
"ice !er"a", el mo!imiento es absoluto. 7or lo tanto, los 6enmenos naturales no se
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 60
V
F
F
V
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
comportan segHn las leyes las mec0nicas "e &eLton ni la !eloci"a" "e la lu, es
absoluta.
SOLUCIN
8eempla,an"o por !ariables proposicionales, al texto en mencinD
p D Los 6enmenos naturales se comportan segHn las leyes mec0nicas "e &eLton.
q D &eLton "ice la !er"a".
rD La )@sica 5l0sica es absoluta.
s D El mo!imiento es absoluto
t D La !eloci"a" "e la lu, es absoluto.
Expresan"o el texto en el leguaje simblico, obtenemosD
O ; 0 * < F# [ ; % " < # ] ; * % < P ;F 0 F " 4
$plican"o el ./to"o $bre!ia"o
1
e#
Pa%) $l conjunto "e premisas "el antece"ente se le consi"era como !er"a"ero 3B4 y
6also 3)4 al consecuente o conclusinJ esto esD
V V V V F
]3 p q 4 Y r [ 3 s t 4 r ] 3 q s 4 ^ 3 Y p Y t 4
1#a 0#e'i%a 22a 0#e'i%a @#a 0#e'i%a A"a 0#e'i%a K"a 0#e'i%a
2
2)
Pa%)4 Elegimos la segun"a premisaD ! 3Y r4 B
@
e#
Pa%)4 8eempla,amos los !alores "e !er"a" "e las proposiciones ;r> en la tercera
luego en la cuarta segui"amente en primera y Hltima en la quinta premisaJ
esto esD
Q ; % " < # V
) ) )
`nica posibili"a"
Q * % V
`nica posibili"a" )
_ 0 * V
`nica posibili"a" )
_ Y p Y t F
B B 3las proposiciones ;Yp> yRo ;Yt> "eben ser
6alsos. :i elegimos la proposicin ;Yt>
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 61
F
F
F
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
como 6alsa, entonces la premisa se hace
6alsa.4J esto esD
_ Y p Y t
B )
A
")
Pa%)4 7or tanto, la in6erencia es !0li"a, porque el !alor "e !er"a" "e la proposicin
;Yt> es !er"a"era y 6alsa a la !e,.
RA7ONAIENTO CON CUANTIFICADORES LGICOS
Cuan"i>ica2)# unive#%al
Cuan"i>ica2)# 0a#"icula# ) e$i%"encial
I:E8B$5<a&D ;x> representa una !ariable in"i!i"ual "el uni!erso "el "iscurso o "e la
clase "e un conjunto.
FORAS TRPICAS DE LOS CUANTIFICADORES
ELE.E&1I: =EL
*C<5<I
8E78E:E&1$5<a&
5I&BE&5<I&$L
)I8.$ L<&9bc:1<5$ )I8.$L<d$5<a&
La9<5$ $51C$L
C&<BE8:$L
3$6irmati!a4
A 1o"os los : son 7
x 3$x e x4
C&<BE8:$L
3&egati!a4 E
&ingHn : es 7
1o"o : no es 7
1o"o C si es :
x 3$x e Y x4
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 62
SD'+)l) T#a2ucci&n ve#+al ;%e lee a%D<
7ara to"o x
7ara ca"a x,
7ara cualquier x,
5ualquiera que sea x,
:ean to"os las x,
5ualquier cosa que sea x
1o"os los x,
1o"o lo que sea x
Los x, las x,
=a"a cualquier cosa in"i!i"ual x se !eri6ica que,
Guienquiera que sea x
SD'+)l) T#a2ucci&n ve#+al ;%e lee a%D<
$lgunos x
?ay al menos un x que
Existe al menos un x
$lguien, algo, alguno que sea x
Existe cuan"o menos un x
Existe a lo sumo un x
1antos, ciertos, muchos, la mayor@a "e x
?ay exactamente un x
$l menos un x existe
Existe a lo m0s un x
Existe por lo menos un x
7ocos x
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
entonces no es 7
7$81<5CL$8
3$6irmati!a4
I $lgHn : es 7 x 3$x x4
7$81<5CL$8
3&egati!a4
O $lgHn : no es 7 x 3$x Y x4
Ejemplos "e 6ormali,acin los cuanti6ica"oresD
#. 1o"os los hombres son mortales 3uni!ersal a6irmati!a A4 x 3?x e .x4
-. &ingHn nHmero primo es par 3uni!ersal negati!a E4 x 3&x e Y 7x4
%. $lgunos hombres son ricos 3particular a6irmati!a I4 x 3?x 8x4
'. $lgunos perros no son "om/sticos 3particular negati!a O4 x 37x Y =x4
1ra"ucir simblicamente, las siguientes proposiciones
#. $lgunas estu"iantes son inteligentes
-. Es 6also que ningHn marxista sea inconsciente
%. 1o"os los burgueses son banqueros
'. &ingHn hombre es inmortal
(. Es 6also que haya un perro con ocho patas
6. &ingHn burro tiene cuatro cabe,as
7. &ingHn capitalista es consciente
&egacin "e cuanti6ica"ores
La negacin "e los cuanti6ica"ores se presenta en el siguiente esquemaD
Cuan"i>ica2)# Re0#e%en"aci&n
c)nvenci)nal
Si'+&lica
Ne.aci&n F)#'ali=aci&n
l&.ica ac"ual
Ne.aci&n a la
>)#'ali=aci&n
l&.ica ac"ual
C&<BE8:$L
3$6irmati!a4
A O
x 3$x e x4 F x 3$x Y x4
C&<BE8:$L
3&egati!a4
E I
x 3$x e F
x4
F x 3$x x4
7$81<5CL$8
3$6irmati!a4
I E x 3$x x4
F x3$x e F x4
7$81<5CL$8
3&egati!a4
O A x 3$x F x4
F x 3$x e x4
EjemplosD
#. 1o"as las 6ieras son carn@!oras
&o es cierto que algunas 6ieras no sean carn@!oras
-. $lgunas 6ieras no son carn@!oras
Es 6also que to"as las 6ieras sean carn@!oras
%. &ingHn cet0ceo es o!@paro
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 63
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
Es absur"o que algunos cet0ceos son o!@paros
'. $lgHn escritor es "emagogo
&o es !er"a" que ningHn escritor es "emagogo
La c)nve#%i&n
Es una in6erencia inme"iata, en el cual se cambia el or"en "el sujeto 3:4 as@ como el
pre"ica"o 374, pero mantenien"o la 6orma o cuali"a" original "e ser a6irma"a o nega"a.
$s@, slo existen las siguientes con!ersiones !0li"as. En resumen, se presenta en el
esquema siguienteD
NS FIGURAS FORA LINGTIRSTICA REPRESENTACIN
CONVENCIONAL
SI1LICA
0# : 7
7 :
1o"o 6@sico nuclear es cient@6ico
$lgHn cient@6ico es 6@sico nuclear
A
I
0- : 7
7 :
&ingHn huanca!elicano es chileno
&ingHn chileno es huanca!elicano
E
E
0% : 7
7 :
&ingHn huanca!elicano es chileno
$lgHn chileno no es huanca!elicano
E
O
0'
: 7
7 :
$lgHn banquero es capitalista
$lgHn capitalista es banquero
I
I
0(
: 7
7 :
O
&o tiene con!ersa
La )+ve#%i&n
Esta in6erencia inme"iata "i6iere con la con!ersin, en el senti"o que la ob!ersin
mantiene el or"en "el sujeto y pre"ica"o, sin embargo la cuali"a" a6irmati!a o negati!a
original "e la premisa cambia en la conclusin, a"em0s "e negarse el pre"ica"o. El
siguiente cua"ro lo resumeD
NS FIGURAS FORA LINGTRSTICA REPRESENTACIN
CONVENCIONAL
SI1LICA
0#
: 7
: 7
1o"o 6@sico nuclear es cient@6ico
&ingHn 6@sico no es cient@6ico
A
E
0-
: 7
: 7
&ingHn huanca!elicano es chileno
1o"o huanca!elicano no es chileno
E
A
0%
: 7
: 7
$lgHn es huanca!elicano es peruano
$lgHn huanca!elicano no es peruano
I
O
0'
: 7
: 7
$lgunos capitalistas no son banqueros
$lgunos banqueros son capitalistas
O
I
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 64
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
CUADRO DE OPOSICIN O DE 1OECIO
7or oposicin se consi"era a las !ariaciones "e canti"a" 3uni!ersal, particular4 o "e la
cali"a" 3a6irmati!a, negati!a4 al compararse "os proposiciones categricas 3$, E, <, I4.
El cua"ro "e oecio, presenta proposiciones categricas 3$, E, <, I4, que tiene el mismo
concepto y el mismo concepto pre"ica"o, pero mantienen entre s@ relaciones llama"as "e
oposicin.
:C$L1E8&$&1E :C$L1E8&$&1E
=E I =E O
:C$L1E8&$&1E :C$L1E8&$&1E
=E A =E E
El cua"ro "e oecio, tambi/n se pue"e presentar as@D
CLASES TIPOS
OPOSICIN
ESGUEAS FORA LINGURSTICA
CONTRARIAS Bar@an en cali"a" &unca pue"en ser ambas !er"a"eras
CONTRADICTORIAS Bar@an en
canti"a" y cali"a"
1ienen !alores in!ersosD BR), )RB o
combina"os
SU1CONTRARIAS Bar@an en cali"a" &unca pue"en ser ambas 6alsas
SU1ALTERNAS Bar@an canti"a" $mbas pue"en ser !er"a"eras pero no
6alsas
SU1ALTERNANTES Bar@an en
canti"a"
$mbas pue"en ser 6alsas pero no
!er"a"eras
7ara mayor !eraci"a", se presenta ejemplos a continuacin en el cua"ro a"juntoD
CLASES TIPOS
OPOSICIN
CARACTERSTICA
FUNDAMENTAL
REPRESENTACIN
CONVENCIONAL SIMBLICA
CONTRARIAS
'odos los curas son religiosos
(ing&n cura es religioso
A V F
__ = __ , ___
E F ?
'odos los ni)os son precoces A F
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 65
A
E
I
O
CONTRARIAS
S
U
B
A
L
T
E
R
NAN
T
E
SUBCONTRARIAS
SUBALTERNA
S
U
B
A
L
T
E
R
NAN
T
E
SUBALTERNA
5
I
&
1
8
$
=
<
5
1
I
8
<
$
:
5
I
&
1
8
$
=
5
1
I
8
<
$
:
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
(ing&n ni)o es precoz __ = __
E ?
(inguna mujer es o%*para
'odas las mujeres son o%*paras
E V F
__ = __ , ___
A F ?
(ing&n deportista es intelectual
'odo deportista es intelectual
A F
__ = __
E ?
CONTRADICTORIAS
'odo arte es cultura
lg&n arte no es cultura
A V
__ = __
O F
lg&n arte no es cultura
(ing&n ni)o
O F
__ = __
A V
(ing&n %arn es mujer
lg&n %arn es mujer
E V
__ = __
I F
lg&n %arn es mujer
(ing&n %arn es mujer
I V
__ = __
E F
SUBCONTRARIAS
lg&n pato es cisne
lg&n pato no es cisne
I V
__ = __
O ?
lg&n tigre no es africano
lg&n tigre es africano
O F
__ = __
I V
lg&n +ombre no es cient*fico
lg&n +ombre es cient*fico
O V
__ = __
I ?
lgunas llamas no son lanudas
lgunas llamas son lanudas
O F
__ = __
I V
SUBALTERNAS
'odos los payasos r*en
lgunos payasos r*en
O V
__ = __
A V
'odos los insectos %uelan
lgunos insectos %uelan
O F
__ = __
A ?
(inguna planta es +etertrofa
lguna planta no es +etertrofa
E V
__ = __
O V
(ing&n mam*fero es acu!tico
lg&n mam*fero no es acu!tico
E F
__ = __
O ?
SUBALTERNANTES
lg&n peruano es trujillano
'odos los peruanos son trujillanos
I V
__ = __
A ?
lg&n argentino es asi!tico
'odos los argentinos son asi!ticos
I F
__ = __
A F
lguna medicina no es fol,lrica
(inguna medicina es fol,lrica
I V
__ = __
A ?
lg&n pez no sabe nadar
(ing&n pez sabe nadar
I F
__ = __
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 66
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
A F
SILOGISO
Es una 6orma "e ra,onamiento me"iato, cuya conclusin !iene "e "os premisas, los
mismos que constan "e t/rminos, que a continuacin se in"icanD
1/rmino mayor
7remisa mayor . 7
7remisa menor : . 1/rmino me"io
fffffffff
1/rmino menor
: 7
E,e'0l)3
#. Estructura lingXista Estructura 6ormal
1o"os los ni+os son juguetones . 7
*aimito es un ni+o : .
*aimito es juguetn : 7
1/rmino mayor 374D *uguetones 36igura en la premisa mayor como pre"ica"o y
tambi/n "e la conclusin4
1/rmino menor 3:4D *aimito 36igura como sujeto "e la premisa menor y es tambi/n
sujeto "e la conclusin4
1/rmino me"io 3.4D &i+o 36igura en las "os premisas y "esaparece en la
conclusin4
7remisa mayorD 1o"os los ni+os son juguetones
7remisa menorD *aimito es un ni+o
5onclusinD *aimito es juguetn
E%*ue'a 2e la% >i.u#a% %il).D%"ica%3
FIGURA NS 01 FIGURA NS 02 FIGURA NS 0@ FIGURA NS 0A
. 7
: .
ffffffff
: 7
7 .
: .
ffffffffff
: 7
. 7
. :
fffffffff
: 7
7 .
. :
fffffffff
: 7
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 67
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
=e i,quier"a a
"erecha 3"iagonal4
7or la "erecha
3!ertical4
7or la i,quier"a
3!ertical4
=e "erecha a
i,quier"a 3"iagonal4
Re.la .ene#al 2e l)% %il).i%')%3
Los t/rminos "el silogismo son tresD 1/rmino mayor, me"io y menor.
El t/rmino me"io "ebe tener canti"a" uni!ersal por lo menos en una "e las premisas.
Los t/rminos en la conclusin no "eben tener mayor canti"a" que la tienen en las
premisas.
=e "os premisas negati!as no pue"e sacarse conclusin alguna !0li"a.
=e "os premisas particulares no pue"e sacarse conclusin alguna !0li"a.
=e "os premisas a6irmati!as se obtiene conclusin a6irmati!a.
=e una premisa a6irmati!a y otra negati!a se obtiene siempre conclusin negati!a.
La conclusin se "eri!a o in6iere siempre "e la premisa m0s "/bil 3la particular es
m0s "/bil que la uni!ersal y la negati!a es m0s "/bil que la a6irmati!a4.
El t/rmino me"io no "ebe estar nunca en la conclusin.
C&<BE8:$L
C&<BE8:$L
C&<BE8:$L
C&<BE8:$L
7$81<5CL$8
7$81<5CL$8
7$81<5CL$8
7$81<5CL$8
&I BgL<=$
$)<8.$1<B$
$)<8.$1<B$
$)<8.$1<B$
$)<8.$1<B$
&E9$1<B$
&E9$1<B$
&E9$1<B$
&E9$1<B$
&I BgL<=$
8egla &Q 0# 8egla &Q 0- 8egla &Q 0% 8egla &Q 0' 8egla &Q 0( 8egla &Q 06
Cua2#) 2e l)% %il).i%')%
FIGURAS ESGUEA ODOS V!LIDOS DEOSTRA1LES
;NO1RE LATINO<
CONVENCIN
SI1LICA
I
. 7
: .
: 7
=$8<<
)E8<I
$8$8$
5EL$8E&1
$ < <
E < I
$ $ $
E $ E
II
7 .
: .
: 7
)E:1<&I
5E:$8E
5$.E:18E:
$8IKI
E < I
E $ E
$ E E
$ I I
III
. 7
. :
: 7
=$1<:<
=<:$&<:
IK$8=I
)E8<:I&
$ < <
< $ <
I $ I
E < I
IV
7 .
. :
5$.E&E:
=<.$8<:
$ E E
< $ <
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 68
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
: 7 )8E:<:I& E < I
RA7ONAIENTOS TRANSDUCTIVOS
Es una operacin lgica, goberna"a por la ley transiti!a, pro"ucto "e una relacin
plantea"a en las premisas y trans6eri"a a la conclusin. Este ra,onamiento se
6un"amenta en el silogismo categrico.
E,e'0l)3
:i $ es igual a y /ste es igual a 5, entonces $ es igual a 5.
:u esquema lgicaD
$ \
\ 5
$ \ 5
El uso "e "iagramas, 6iguras, mapas, esquemas o representaciones, 6acilita 60cilmente la
conclusin.
Los ra,onamientos trans"ucti!os, se clasi6ican por comparacin, por relacin temporal,
por relacin espacial y por inclusin "e clases.
A4 Ra=)na'ien") 0)# c)'0a#aci&n
E%*ue'a l&.ic)3 $ h
h 5
$ h 5
En este caso, existe un solo t/rmino, el cual est0 relaciona"o con ;mayor o igual>.
E,e'0l) 01
;9abriela es menor que :heyla, la cual es menor que Katy y /sta a su !e, es menor
que :il!ia.> Luego,
a4 :il!ia es menor que to"as
b4 Katy, es mayor que 9abriela pero menor que :heyla
c4 9abriela y :heyla son las m0s menores
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 69
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
"4 :il!ia es mayor que to"as
e4 Katy es mayor que 9abriela
O5u0les son "e las siguientes proposiciones son !er"a"erasP
$4 a, b, c 4 b, c, e 54 c, e =4 ", e E4 c, "
S)luci&n
9abriela :heyla
:heyla Katy
Katy :il!ia
:il!ia es mayor que to"as
9abriela y :heyla son las menores y
Katy es mayor que 9abriela
Al"e#na"iva e%3 C- D / E
E,e'0l) 02
;5/sar ' a+os menos que *uan, el cual tiene tres a+os menos que .ar@a y /sta tiene
la misma e"a" que $lberto.> Luego,
a4 .ar@a y $lberto son mayores que *uan y 5/sar
b4 5/sar es el menor "e to"os
c4 .ar@a es menor que *uan
"4 :lo $lberto es menor que *uan
e4 *uan es mayor que 5/sar
O5u0l son "e las siguientes proposiciones son !er"a"erasP
$4 a, b, c 4 a, ", c 54 a, b, e =4 b, ", e E4 slo a y e
S)luci&n
5/sar *uan
*uan .ar@a
.ar@a \ $lberto
.ar@a y $lberto son mayores que *uan y 5/sar
5/sar es el menor "e to"os
*uan es mayor que 5/sar
Al"e#na"iva3 C
14 Ra=)na'ien") 0)# #elaci&n "e'0)#al
E%*ue'a l&.ic)3
$ le antece"e a
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 70
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
le antece"e a 5
$ le antece"e a 5
Itros t/rminos relaciona"ores tenemosD prece"er, seguir, prioritario, posterior, antes,
ulterior, pre!io, siguiente, anticipar, etc.
E,e'0l)
;:i *os/ es hijo "e 5armen y hermano "e .ar@a que se cas con 5arlos y tu!ieron su
hijo 8aHl. $"em0s *os/ tu!o una hija que se llama =aniela, la cual se cas,
nacien"o como consecuencia &ancy.> En consecuenciaD
a4 =aniela y 5arlos son primos
b4 5armen es abuela "e &ancy
c4 *os/ es abuelo "e &ancy
"4 8aHl es sobrino "e *os/
O5u0l son "e las siguientes proposiciones son !er"a"erasP
$4 c, " 4 a, c 54 c, ", e =4 b, ", e E4 a, b, c
S)luci&n
#ra. generacinD bisabuela
-"a. generacinD abuela
%ra. generacinD pa"res
'ta. generacinD nietos
La clave 2e #e%0ue%"a e% la al"e#na"iva A
C4 Ra=)na'ien") 0)# #elaci&n e%0acial
E%*ue'a l&.ic)3
$ est0 "elante, "etr0s, arriba, abajo "e
est0 "elante, "etr0s, arriba, abajo "e 5
$ est0 "elante, "etr0s, arriba, abajo "e 5
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 71
5armen
*os/ .ar@as
/
5arlos
=aniela
&ancy
8aHl
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
Los t/rminos relaciona"ores tambi/n pue"en serD "elante, "etr0s, arriba y abajo.
1ambi/n se pue"en presentar con los t/rminos "e norte, sur, este, oeste, sureste,
noreste, sur2oeste, noroeste, la"o "erecho, la"o i,quier"o, encima, "ebajo, a6uera,
a"entro, superior, in6erior, etc.
E,e'0l) 01
;oli!ia se encuentra al :ur2este "el 7erH y al &orte "e $rgentina, quien a su !e, se
encuentra al Este "e 5hile.> O=n"e se encuentra el 7erHP
a4 $l :ur "e 5hile
b4 $l noroeste "e $rgentina
c4 $l noreste "e 5hile
"4 $l noroeste "e 5hile
e4 $l suroeste "e $rgentina
$4 a, c 4 c, " 54 b, c =4 b, c E4 b, "
S)luci&n
La clave 2e #e%0ue%"a e% la al"e#na"iva E
E,e'0l) 02
La ciu"a" ;I> se encuentra al sureste "e la ciu"a" ;d> quien a su !e, est0 al oriente
"e la ciu"a" ;>. :i la ciu"a" ;7> est0 al norte "e ;&> y /sta se encuentra al noreste
"e ;d>. O5u0l es la ubicacin "e ;L>, sabien"o que est0 exactamente al norte "e ;I> y
al oeste "e ;&>P
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 72
N
E
O
S
N
E
S
E
N
O
S
O
Cbicacin "e segHn los
puntos car"inales
7untos car"inales
P
1
A
C
H
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
S)luci&n
D4 Ra=)na'ien") 0)# inclu%i&n 2e cla%e%
E%*ue'a l&.ic)3
$ es elemento "e
es elemento "e 5
$ es elemento "e 5
Los t/rminos relaciona"ores tambi/n pue"en serD 5ontiene, 6orma parte, integra, es
una clase "e, subsume a, incluye a, es subconjunto "e, etc.
E,e'0l)
;Los pro6esores 6orman parte "el magisterio nacional, quienes a su !e, integran en el
conjunto "e los intelectuales. :i 9erm0n 5aro 8ios 6ue "ocente. EntoncesD
a4 9erm0n es elemento "el conjunto "e los intelectuales
b4 Los pro6esores contienen a los intelectuales
c4 9erm0n es parte "el magisterio nacional
"4 1o"as las anteriores
e4 :lo a y b
$4 a, b 4 a, c 54 b, " =4 b, e E4 c, "
S)luci&n
La al"e#na"iva e% 1
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 73
P
N
O
L
7
1
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
RA7ONAIENTO INDUCTIVO
:on in6erencias o argumentos, en el que a partir "e la obser!acin "e premisas
particulares o espec@6icas, nos con"uce al "escubrimiento "e las leyes generales o a la
generali,acin "e conclusiones.
N
E%*ue'a% l&.ic)%3
E,e'0l) 01
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 74
premisa
1
premisa
2
premisa
3
Premisa
general
P#e'i%a% 0a#"icula#e%
Ra=)na'ien") in2uc"iv)
AFIRATIVO
a
1
e% 1
a
1
e% 1
a
1
e% 1
4 4 4
4 4 4
4 4 4
UUUUUUUUUUUU
T)2) A e% 1
AFIRATIVA
A e% +
1
A e% +
1
A e% +
1
4 4 4
4 4 4
4 4 4
UUUUUUUUUUUU
T)2) A e% 1
NEAGTIVA
a
1
e% 1
a
1
e% 1
a
1
e% 1
4 4 4
4 4 4
4 4 4
UUUUUUUUUUUU
Nin.?n A e% 1
NEGATIVA
A e% +
1
A e% +
1
A e% +
1
4 4 4
4 4 4
4 4 4
UUUUUUUUUUUU
A n) e% 1
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
;?il"a y 5/sar tiene 0% hijasD &ancy, 5armen y =aniela.>
&ancy tiene piel trigue+a
5armen tiene piel trigue+a
=aniela tiene piel trigue+a
7or tanto, to"as las hijas "e ?il"a y 5/sar tienen piel trigue+a
E,e'0l) 02
El cobre es mineral
El esta+o es mineral
7or tanto, to"os los elementos "el bronce son minerales
E,e'0l) 0@
Es un mineral energ/tico
Es un mineral l@qui"o
Es un mineral gaseoso
Es un mineral natural
Es un mineral !er"e
Este mineral es petrleo
E,e'0l) 0A
.arx 6ue un 6ilso6o
9ior"ano runo 6ue un 6ilso6o
?er0clito 6ue un 6ilso6o
?egel 6ue un 6ilso6o
7or tantoD .arx, 9ior"ano runo, ?er0clito y ?egel 6ueron 6ilso6os
AUTOEVALUACIN DE LA IV UNIDAD
INSTRUCCIONES3 Escriba la letra B "entro "el par/ntesis 3B4, si la proposicin es
!er"a"era y 3)4 si es 6alsa.
#. La lgica es una ciencia como las "em0s ciencias y como la 6iloso6@a..... 3 4
-. La proposicin ;&ingHn hombre tiene cuatro patas>, correspon"e al
cuanti6ica"or particular.. 3 4
%. La proposicin, ;$lgunos "ocentes "el 75$2C&? son puntuales>, es un
cuanti6ica"or uni!ersal a6irmati!o> 3 4
INSTRUCCIONES3 5ompleta en los espacios puntea"os.
'. La ciencia que estu"ia nuestros pensamientos es....,y
solamente lo hace "es"e un punto "e !ista "e su estructura.
(. La lgica.estu"ia los problemas "e la !er"a".
6. :i una primera proposicin implica a una segun"a y /sta implica a una tercera,
entonces.......implica a...
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 75
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
7. :i B@ctor es un buen pro6esional, aprueba regularmente sus asignaturas. :i B@ctor
estu"ia, entonces ganar0 mucho "inero. 7ero B@ctor no aprob regularmente sus
asignaturas o no gana mucho "inero. En consecuencia, B@ctor no es..
o no estu"ia.
A. :i hoy es s0ba"o, entonces ma+ana es?oy no es s0ba"o. 7or
tanto, se concluye que hoy..
INSTRUCCIONES3 .arque con un aspa 3 N 4 la alternati!a que consi"ere correcta.
9. La ciencia llama"a a "escubrir las leyes m0s generales "e "esarrollo "el mun"o
objeti!o y el pensamiento "el hombre esD
a4 La lgica 6ormal b4 La sociolog@a c4 La neurociencia
"4 La epistemolog@a e4 La lgica "ial/ctica
#0. La siguiente proposicinD ;1o"os los curas son pe"6ilos> o ;to"o los curas no son
pe"6ilos>, correspon"e a la leyD
a4 <"enti"a" b4 =oble negacin c4 8a,n su6iciente "4 1ercio exclui"o
e4 negacin
##. La proposicin ;$lgunos pro6esores son irresponsables>, pertenece al cuanti6ica"orD
a4 Cni!ersal a6irmati!o b4 7articular negati!o c4 Cni!ersal negati!o
"4 7articular a6irmati!o e4 a y b
REFERENCIAS 1I1LIOGR!FICAS
E"ucacin "e 5ali"a" 3-00-4. Estrategias meto"olgicas. ?uanac!elica E 7erH.
9orsMi, =. 7. 3#99A4. Lgica. E"it. 9rijalbo. ./xico.
9uar"ia, 5. 3#97#4. 7roblemas "el conocimiento. E"it. <mprenta <n"ustrias gr06icas
<ngenier@a :. $., :egun"a e"icin. Lima E 7erH.
9u,m0n, .. 3-0074. Ense+an,a "e las ciencias y la matem0tica. 8e!ista
<beroamericana "e E"ucacin. Lima 2 7erH.
Guintanilla y Irtega 3-0094. Estrategias para el pensamiento lgico. <mprenta C&?.
?uanca!elica E 7erH.
Kopnin, 7. B. 3#9664. Lgica =ial/ctica. E"it. 9rijalbo. ./xico.
Kursano!, 9. 3#9664. .aterialismo =ialectico y el 5oncepto. E"it. 9rijalbo. ./xico.
L0,aro, 5. 3#9994. <ntro"uccin a la lgica y al ra,onamiento lgico. E"it. &ue!a
e"icin. 1rujillo E 7erH.
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 76
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
Lenin, B. 3#97(4. .aterialismo y Empiriocriticismo. E"iciones en Lenguas Extranjeras.
7eM@n E 5hina.
.ao, 1. 3#9%74. 5inco 1esis )ilos6icas. E"iciones en Lenguas Extranjeras. )on"o "e
5ultura 7opular. Lima E 7erH.
.ao, 1. 3#97-4.Ibras Escogi"as. 1omo <<. E"itorial "el 7ueblo. 7eM@n E 5hina.
.arx y Engels 3#96A4. Ibras Escogi"as. E"itorial 9rijalbo. ./xico.
.eliujin, :. 3#96%4. &aturale,a org0nica e inorg0nica. E"it. 9rijalbo. ./xico.
.inisterio "e E"ucacin 3-00%4. Irientaciones y acti!i"a"es pe"aggicas para aten"er
la emergencia e"ucati!a. Lima E 7erH.
7lya, 9. 3#9A94. 5mo plantear y resol!er problemas. E"it. 1rillas. ./xico.
8osales, =. 3#99'4. <ntro"uccin a la lgica. E"it. $maru. Lima E 7erH.
:i"oro!, . 3#9AA4. 5mo el hombre lleg a pensar. E"it. 9rijalbo. ./xico.
:choen6el", $. 3#9A(4. :olucin "e problemas matem0ticos. E"it. $ca"emia 7ress.
5ali6ornia E C:$.
1orres, $ 3-0074. E"ucacin matem0tica y "esarrollo "el pensamiento lgico
matem0tico. E"it. 8ubi+os. Lima E 7erH.
Uoo"s y 9rant 3-00-4. La lgica formal y la dialctica, en 8a,n y 8e!olucin. E"it.
&ue!a. Espa+a.
DIRECCIN ELECTRNICA
$lexorti, 3-00'4. =esarrollo "e habili"a"es lgicas intelectuales generales "e to"as las ciencias ien
l@neaj. ?alla"o en httpDRRLLL.monogra6ias.comRtrabajos-ARprocesos2
pensamientoRprocesos2pensamiento.shtml
rans6or", *. y :tein, . 3#99%4. 7laneta .atem0tico. :o6tLare Libre "istribui"o bajo
licencia 9&CR97L. ien l@neaj. ?alla"o en
httpDRRLLL.pensamientocritico.netRarchi!osRmi"eal.p"6. 0AR##R-0##.
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 77
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
PREGUNTAS PARA EL DESARROLLO DEL PENSAMIENTO LGICO
1. -n +ombre tiene que atra%esar un r*o en una peque)a barca lle%ando consigo un lobo. una o%eja y una col. /ero
en cada %iaje slo caben o 0l y el lobo. o 0l y la o%eja. o 0l y la col. 1. adem!s. en ning&n caso puede dejar solos
en la orilla al lobo y a la o%eja 2el primero se comer*a a la segunda3. ni a la o%eja y la col 2la primera se comer*a a
la segunda3. 4Cmo crees que este +ombre +a conseguido el objeti%o de pasar a los tres a la otra orilla5
6. -n caracol se cay dentro de un pozo de diez metros de profundidad. Durante el d*a consigue a duras penas
escalar dos metros. pero durante la noc+e resbala y retrocede un metro. 1 a+* %a la pregunta7
4Cu!ntos d*as tardar! en subir +asta lo alto del pozo5
8. Imag*nate que tenemos 69 bolas de billar de un peso aparente igual. y digo aparente. porque +ay una que est!
defectuosa y pesa un poquito m!s que el resto. +ora. imag*nate que tenemos una balanza para poder pesarlas.
pero no disponemos de pesas. 1 a+* %a la pregunta7
4:abr*as con solo tres pesadas determinar cu!l es la bola que est! defectuosa5
;. :e tienen < trozos de cadena de ; eslabones cada uno. 4cu!l ser! el menor n&mero de eslabones que se deben
de abrir y cerrar para formar una sola cadena y cmo5
=. "n la operacin mostrada. 4Cu!ntas fic+as como m*nimo. se deben cambiar de posicin para que el resultado sea
cero5
> 8 ? = @ ; A B 6 x 1
<. :i en la siguiente operacin se debe cambiar de posicin slo los n&meros. 4Cu!ntos n&meros como m*nimo se
deben cambiar de posicin para que el resultado sea el menor entero posible5
C > 2 = ? < 3 D ; A x 9 E @ F
9. Ga siguiente figura representa < %asos %istos de la parte superior. los 8 primeros est!n llenos de %ino y los 8
restantes %ac*os. mo%iendo un %aso deben quedar intercalados. es decir uno lleno. uno %acio. 4Hu0 %aso mo%er*a
y cmo5
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 78
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
I C D " J
F. #ogelio se present con su jarra a comprar cuatro litros de lec+e y el %endedor del establecimiento que slo ten*a
dos %asijas sin marca alguna. una de tres litros y otra de = litros. +acia una serie de trasiegos ante la mirada
incr0dula del cliente. y por fin le dijo aqu* tienes los ; litros. 4cu!ntos trasiegos debi seguir el %endedor5
2trasiegos proceso de intercambio de l*quido en las %asijas3
K. -n lec+ero se encuentra ante un dilema7 tiene que medir un litro de lec+e pero solamente tiene dos jarras. una
capacidad para tres litros y otra con capacidad para cinco litros. 4Cmo podr*a conseguirlo utilizando estos
recursos y sin desperdiciar la lec+e5
10. /ara una de sus recetas especiales. do)a Largarita requiere medir exactamente ; litros de agua. :i slo dispone
de 6 jarras. ambas sin graduar. de 8 y = litros de capacidad. 4Cu!ntas %eces como m*nimo tendr! que pasar el
agua de una jarra a otra para obtener lo requerido5
11. I%!n. Mos0 y C+ristian postulan a una uni%ersidad. Dos de ellos eligen Ledicina y el restante Jilosof*a o Giteratura.
:i Mos0 y C+ristian no escogieron la misma especialidad. 4cu!l de las siguientes alternati%as de leccin deber!
inferirse con tal certeza como conclusin5
a. Mos0 a Giteratura
b. Mos0 a Ledicina
c. C+ristian a Jilosof*a
d. I%!n a Jilosof*a
e. I%!n a Ledicina
16. Ga figura I muestra 6F fic+as circulares. 4Cu!ntas fic+as. como m*nimo. deben trasladarse de lugar para tener la
misma distribucin de la figura II5
Jig. I Jig. II
18. Gas figuras 2I3 y 2II3 est!n formadas por fic+as iguales. 4/or lo menos cu!ntas de las fic+as en la figura 2I3 deben
ser cambiadas de posicin para formar la figura 2II35
Jig. I Jig. II
1;. 4Cu!ntas fic+as. como m*nimo. deben trasladarse de lugar para que la figura se encuentre en sentido contrario5
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 79
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
1=. Nay cinco candados 2. I. C. D. "3 y tres lla%es 2x. y. z3. :i cada lla%e abre slo un candado. 4cu!l es el n&mero
m*nimo de %eces que las lla%es deben insertarse en los candados para +allar la lla%e de cada candado5
1<. :e pretende di%idir el pastel cil*ndrico de la figura en F trozos iguales. pero solamente con tres cortes. 4Cmo
ser*an esos cortes5
19. lberto es mayor que Carmen. #osa es mayor que Ma%ier y 0ste es mayor que Carmen. :i #osa y lberto tienen la
misma edad. 4Cu!l de los siguientes enunciados es %erdadero5
I. #osa es mayor que Carmen II. Carmen es mayor que #osa
III. Ma%ier es mayor que #osa I$. lberto es Layor que Ma%ier
1F. 4Cu!ntos palitos debes mo%er.
como m*nimo. para formar 1= cuadrados5
1K. Huitar 06 palitos de la fig. anterior para que queden 6 cuadrados.
60. 4Cu!ntos palitos debes mo%er. como m*nimo para que la igualdad sea correcta5
a3
b3
61. lmorzaban juntos tres pol*ticos7 "l se)or Ilanco. el se)or #ojo y el se)or marilloO uno lle%aba corbata blanca.
otro corbata roja y el otro corbata amarilla pero no necesariamente en ese orden. P"s curioso dijo el se)or de
corbata roja D nuestros apellidos son los mismos que nuestras corbatas. pero ninguno lle%a la que corresponde al
suyoQ. P'iene -d. raznQ. dijo el se)or Ilanco.
4De qu0 color lle%aba la corbata el se)or marillo. el se)or #ojo y el se)or Ilanco. respecti%amente5
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 80
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
66. 'raza cuatro segmentos rectil*neos. que sean +orizontales. %erticales y oblicuos. es decir. en las cuatro
direcciones posibles. que pasen solo una %ez por los nue%e puntos siguientes7
68. 'res parejas de no%ios se fueron de excursin a Ladre de Dios. "n uno de sus paseos. llegaron a la orilla de un
rio y acordaron cruzarlo. Dispon*an para ello de una balsa con capacidad m!xima para dos personas. :in
embargo. las no%ias se negaban rotundamente a quedarse en compa)*a de otros que no fuesen sus no%ios
manteni0ndose incambiable en este requerimiento. ceptada la condicin. los seis j%enes pasaron a la otra orilla
utilizando balsa disponible. 4Cu!ntos cruces realizaron para que se cumpla la condicin5
6;. -na cierta biblioteca de cuatro pisos contiene solamente libros sobre las siguientes materias7 matem!tica. f*sica.
astronom*a. biolog*a y qu*mica. "n uno de los pisos +ay libros de tres materias diferentes y en cada uno de los
otros pisos +ay &nicamente libros de dos materias.
Nay libros de biolog*a en tres pisos consecuti%os.
"n el cuarto piso slo +ay libros de astronom*a y de f*sica.
Cualquier piso que tenga libros de astronom*a (R es consecuti%o a un piso que tenga libros de qu*mica.
Cualquier piso que tenga libros de astronom*a (R tiene libros de qu*mica.
Nay slo dos pisos diferentes en los que +ay libros de astronom*a.
Cualquier piso que tenga libros de matem!tica tiene tambi0n libros de f*sica.
1. Gos libros de biolog*a est!n en los pisos
23 1. 6 y 8 2I3 1. 6 y ; 2C3 1. 8 y ; 2D3 6. 8 y ;
6. "l piso que tiene libros de tres materias diferentes es el
23 1 2I3 6 2C3 8 2D3 ;
8. Gas materias que (R se encuentran :I(R en un slo piso son
23 J*sica y matem!tica 2I3 Hu*mica y matem!tica
2C3 J*sica y qu*mica 2D3 J*sica. matem!tica y qu*mica
;. "n el tercer piso +ay libros de biolog*a y
23 stronom*a 2I3 Hu*mica 2C3 J*sica 2D3 Latem!tica
6=. -na escalera tiene = pelda)os de 60 cm de alto y 80 cm de anc+o cada uno. 4Cu!ntos metros de largo medir!
una alfombra que comience en y termine en I5
6<. 'enemos F canicas en apariencia id0nticas de forma. tama)o y color. pero una de ellas pesa menos que las
dem!s. que tienen el mismo peso. -tilizando una balanza tradicional. con dos platillos. el menor n&mero de %eces
26 a ser posible3 posible. describe un procedimiento para a%eriguar qu0 canica es la m!s ligera.
69. :e tiene tres recipientes de 1K. 18 y 9 litros. 4Cmo se podr*a medir exactamente 10 litros de agua utilizando slo
los tres en%ases5 :e)ale el n&mero de %eces que tu%o que pasar el agua de un recipiente a otro.
6F. "n el aula de la -(N. el primer d*a de clases. dos +ermanas gemelas. de nombres Lary y Lery. se presentan
ante sus compa)eros.
-na de ellas dice7 P1o soy LeryQ. Ga otra comenta7 P:i lo que ella dice es cierto. yo soy LaryQ. :i una de las dos
siempre miente y la otra nunca lo +ace. indique el nombre de la estudiante sincera.
6K. 4Cu!l es el producto de la siguiente serie5
2x D a3 2x D b3 2x D c3S 2x D z3
EL BESO PRECISO
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 81
FACULTAD DE EDUCACIN PROGRAMA DE COMPLEMENTACIN ACADMICA
/ueden besarse los labios. dos a dos.
sin muc+o calcular. sin trigonometr*aO
mas TayU no sucede igual en Geometr*a.
pues si cuatro c*rculos tangentes quieren ser
y besar cada uno a los otros tres.
para lograrlo +abr!n de estar los cuatro
o tres dentro de uno. o alguno
por otros tres a coro rodeado.
De estar uno entre tres. el caso es e%idente
pues son todos besados desde afuera.
1 el caso tres en uno no es quimera.
al ser 0ste uno por tres %eces besado internamente.
Cuatro c*rculos llegaron a besarse.
cuanto menores tanto m!s cur%ados.
y es su cur%atura tan slo la in%ersa
de la distancia desde el centro.
unque este enigma a "uclides asombrara.
ninguna regla emp*rica es necesaria7
al ser las rectas de nula cur%atura
y ser las cur%as cnca%as tomadas negati%as.
la suma de cuadrados de las cuatro cur%aturas
es igual a un medio del cuadrado de su suma.
"spiar de las esferas
los enredos amorosos
pudi0rale al inquisidor
requerir c!lculos tediosos.
pues siendo las esferas m!s corridas.
a m!s de un par de pares
una quinta entra en la movida.
"mpero. siendo signos y ceros como antes
para besar cada una a las otras cuatro.
"l cuadrado de la suma de las cinco cur%aturas
+a de ser triple de la suma de sus cuadrados.
En ene! "e #$%&, '( e)*+,( *n-'e+( Nature,./e 0(12( 3/1'*4("! e' 3!e5( "e S!""6, 3/1'*47
/n( 4/(,( e+,!8( ./e -ene('*9(1( '( 875/'( ( e+3(4*!+ "e n "*5en+*!ne+, !*-*n(' "e T0!!'"
G!++e,:
(o debemos empero confinar nuestros cuidados
a los simples c*rculos. esferas y planos.
sino ele%arnos a n Vespacios e +ipercur%aturas
donde tambi0n las m<iples tangencias son seguras.
"n n Vespacios. los pares de tangentes
son +iperesferas. y es %erdad
W m!s no e%idente W
cuando n? 6 de ellas se ocul0an
cada una con n? 1 compa)eras
Hue el cuadrado de la suma de todas las cur%aturas
es n %eces la suma de sus cuadrados.
(ota7 publicado en la re%ista inglesa Nature en 1K89. :ir Jrederic :oddy 2/remio (obel de Hu*mica por
el descubrimiento de los istopos3 rescat del ol%ido el teorema de Descartes de los ; c*rculos y lo
celebr con el poema que sigue 2la %ersin espa)ola es la que aparece en la edicin en espa)ol de
Circo Matemtico. de Lartin Gardner3
ESTRATEGIAS PARA EL PENSAMIENTO LGICO Pgina 82