Professional Documents
Culture Documents
PENSAMIENTO
LGICO FORMAL
UNIVERSIDAD NACIONAL
DE HUANCAVELICA
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Autor
Rgulo Pastor Antezana Iparraguirre
E-mail: regulo66@hotmail.com
Editado por:
Universidad Nacional de Huancavelica
Av. Universitaria s/n
Telfono (067) 451551 anexo 112
Email: anquseqo@hotmail.com
ISBN: 978-612-46019-6-5
CORRECCIN:
Rgulo Pastor Antezana Iparraguirre
DISEO Y DIAGRAMACIN:
Jese Girn Aparco
Oscar Ramos Quispe
NDICE
Introduccin 7
Origen del pensamiento 9
La tierra existi mucho antes que el hombre 9
El trabajo cre al mismo hombre 11
El trabajo, el lenguaje y el pensamiento 14
Breve evolucin histrica de la lgica 16
Procesos del pensamiento 21
Niveles del pensamiento 21
El objeto de estudio del pensamiento 23
Formas del pensamiento 25
El concepto 25
Funciones del concepto 25
Juicio 26
Elementos del juicio 26
Estrategias didcticas 29
Estrategias de enseanza 30
Mtodo didctico 31
Tcnicas didcticas 31
Tcnicas docente-cntricas 31
Tcnicas discente-cntricas (participativas o dinmicas grupales) 32
Modelo didctico 33
Estrategias de aprendizaje 33
Clases de estrategias de aprendizaje 34
Estrategias cognitivas
Estrategias metacognitivas
Estrategias socioafectivas motivacionale s
Procedimientos 35
Tcnicas 35
Estrategias para el desarrollo del pensamiento lgico 35
Resolucin de problemas 37
Modelo de George Plya 38
Modelo de Allan Schoenfeld 41
Modelo de Miguel de Guzmn 43
Modelo IDEAL de John Bransford y Barry Ste in 44
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
INTRODUCCIN
El Autor
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
9
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
10
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
11
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
12
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
13
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
14
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
15
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
16
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
17
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
18
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
19
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
20
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
21
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
22
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
23
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
24
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
A. El concepto
Segn (Gorski, 1998), el
pensamiento lgico consta de
concatenaciones de ideas. Los
elementos de tales dichas
concatenaciones son los juicios,
los mismos que tienen una
determinada estructura, una
determinada composicin. Y,
todo concepto es un pensamiento acerca de las propiedades del
objeto. En ese sentido, ...el concepto constituye un reflejo en la
mente, generalizado, de determinados vnculos y relaciones ntrelos
objetos y sus propiedades.
25
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
B. Juicio
Desde el punto de la lgica formal, afirma Gorski (1998), el juicio es
un pensamiento en el que se afirma o se niega algo de algo. Se ocupa
slo del estudio de su estructura. El objeto del juicio puede ser,
cualquier cosa, propiedad o relacin de las cosas, clase de objetos o
varios objetos de una clase, existentes en la realidad. Por ejemplo:
Lima es la Capital de Per.
1. Cualquier representacin mental de unos u otros objetos. Por
ejemplo: El concepto de Lima es un concepto singular.
2. Cualquier envoltura verbal del pensamiento. Por ejemplo, la
palabra Lima consta de cuatro letras.
26
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
27
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
28
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
ESTRATEGIAS DIDCTICAS
29
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Estrategias de enseanza
Las estrategias de enseanza tienen que ver mucho con la
experiencia didctica, producto de su prctica laboral y de las
observaciones de las reacciones de sus estudiantes, durante el
desarrollo de sus sesiones de clase, aplicando tcnicas y mtodos
para lograr el perfil profesional que requiere la institucin y
especialmente la sociedad.
30
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Mtodo didctico
Es el conjunto lgico y unitario de los procedimientos didcticos que
tienden a dirigir el aprendizaje. Los procedimientos didcticos, son
medios que sirven para seguir un camino indicada por el mtodo.
Por consiguiente, el mtodo didctico indica la direccin en que debe
moverse la inteligencia para alcanzar la informacin, los
conocimientos, las habilidades, las destrezas, etc., y el procedimiento
es el medio que imprime la accin, la direccin, la ejecucin.
Tcnicas didcticas
Son los recursos donde el docente acude para concretar un momento
o parte de la leccin planificada en la realizacin del aprendizaje.
A continuacin presentamos, algunas tcnicas en funcin al rol que
desempea el docente y al rol que desempea el estudiante:
1. Tcnicas docente-cntricas
Estas tcnicas lo dirige el docente en el proceso de enseanza-
aprendizaje, las cuales mencionamos las ms importantes:
Tcnica expositiva
31
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Tcnica exegtica
Tcnica del interrogatorio
Tcnica del dilogo
Tcnica del estudio de casos
32
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Modelo didctico
Es una representacin conceptual simblica. Es la estructura
debidamente organizada y ordenada de la secuencia que ha de seguir
el desarrollo didctico para una determinada asignatura. Se expresa
generalmente a travs de un esquema denominado sntesis operativo
grfico.
Elementos bsicos del modelo didctico:
a. Secuencia definida del desarrollo del proceso enseanza-
aprendizaje
b. Situacin de la enseanza-aprendizaje: docente, estudiante
c. Tiempo y espacio
d. Tcnica de enseanza-aprendizaje
e. Sntesis operativa grfica
Estrategias de aprendizaje
El Instituto de una Educacin de Calidad (Educa: 2002), presenta
planteamientos acerca de las estrategias de aprendizaje, que a
continuacin se presenta:
Se llaman estrategias de aprendizaje al conjunto de procedimientos
cognitivos, afectivos, sociales y motrices que el estudiante pone en
juego, de manera liberada, sistemtica y flexible al enfrentarse a una
situacin de aprendizaje para desarrollar las capacidades y actitudes
esperadas.
33
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
ESTRATEGIAS DE ESTRATEGIAS DE
APRENDIZAJE PASIVAS APRENDIZAJE ACTIVAS
El estudiante: El estudiante:
Escucha pasivamente Escucha respondiendo y/o
Repite mecnicamente la planteando preguntas
informacin Subraya, anota, resume
Ejecuta lectura literal Comenta crticamente
Copia pasivamente Esquematiza usando
organizadores
A. Estrategias cognitivas
Estrategias atencionales Estrategias de organizacin
Estrategias de
Estrategias de recuperacin
elaboracin
B. Estrategias metacognitivas
a. Estrategias metacognitivas
b. Estrategias de control del conocimiento
34
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
b. Estrategias afectivas
c. Estrategias motivacionales
Procedimientos
Sus procedimientos son formas de ordenar, organizar, secuenciar una
serie de acciones concretas orientadas al desarrollo de tal o cual
capacidad o actitud.
Tcnicas
Es el conjunto de formas especficas que toman las acciones de
aprendizaje. Mencionaremos algunas de ellas:
a. Mapas: Mapa conceptual, mapa semntico, mapa mental
b. Cuadro sinptico
c. Lnea de tiempo
d. Resumen
e. El subrayado
35
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
36
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Resolucin de problemas
Lo que tambin debemos enfocar, corresponde a las diversas
estrategias que aplicamos para encontrar la solucin a los problemas
que se plantean. En este caso, el Ministerio de Educacin; MINEDU
37
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
38
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Cul es la incgnita?
Cules son los datos?
Cul es la condicin?
Es la condicin suficiente para determinar la incgnita? Es
insuficiente? Redundante? Contradictoria? Cules son?
39
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplo 01
De un grupo de 63 estudiantes del Centro de Idiomas de la UNH, 30
estudian ingls, 35 estudian quechua y 15 estudian ambos idiomas.
Cuntos estudiantes estudian slo quechua?
Teniendo en cuenta los pasos que propone Plya, tenemos:
1 Qu te pide el problema?
2 Qu plan de trabajo es adecuado para resolver este problema?
40
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
41
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
42
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
2. Bsqueda de estrategias
43
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
44
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
IDENTIFICAR EL
I= PROBLEMA
DEFINIR
D= METAS
EXPLORAR LAS
E= ESTRATEGIAS
POSIBLES
ANTICIPAR
A= RESULTADOS Y
ACCIONES
LOGROS Y
L= VERIFICACIN DE
RESULTADOS
Observar:
45
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Describir:
Explicar:
Comparar:
Definir conceptos:
Identificar:
46
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplificar:
Argumentar:
Clasificar:
Demostrar:
Valorar:
Es el juicio con que se caracteriza la medida en que un objeto, hecho
o fenmeno, una cualidad, norma o costumbre se corresponde con el
sistema de conocimientos, patrones de conducta y valores asimilados
por el hombre. En su esencia parte de la aplicacin de las categoras
de bien y mal.
47
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Analizar
Sintetizar
Comparar
48
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Determinar lo esencial
Abstraer
b. Determinar lo esencial.
Caracterizar
a. Analizar el objeto.
Definir
49
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Identificar
a. Analizar el objeto.
b. Caracterizar el objeto.
Clasificar
Ordenar
Generalizar
50
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Habilidades especficas
Observar
Describir
b. Observar el objeto.
Relatar o narrar
Ilustrar
51
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Valorar
Criticar
d. Refutar las tesisde partida del objeto de crtica con los argumentos
encontrados.
Relacionar
Razonar
52
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Interpretar
Argumentar
Explicar
Demostrar
53
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Aplicar
LA NEUROCIENCIA Y EDUCACIN
El peruano, Dr. Luis Angel Aguilar Mendoza, en el I Encuentro
Nacional e internacional de Jvenes Cientficos, realizado por la
Facultad de Educacin de la Universidad Nacional de Huancavelica
en el ao 2009, manifest en calidad de ponente internacional,
respecto al tema Nerociencias y Educacin, que el cerebro y el
sistema nervioso es una red de tejidos altamente especializada, cuyo
componente principal son las neuronas, clulas que se encuentran
conectadas entre s de manera compleja y que tienen la propiedad de
conducir, usando seales electroqumicas, una gran variedad de
estmulos dentro del tejido nervioso y hacia la mayora del resto de
tejidos, coordinando as mltiples funciones en el organismo. De esta
manera el sistema nervioso es el ms complejo del organismo
humano, ya que da las rdenes y comanda al resto de sistemas en el
correcto desarrollo de sus funciones, permitindonos interactuar
54
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
55
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
PENSAMIENTO LGICO
Definicin de Lgica
La lgica es la ciencia de las formas del pensamiento estudiadas
desde el punto de vista de su estructura, la ciencia de las leyes que
deben observarse para obtener un conocimiento inferido; la Lgica
estudia tambin los procedimientos lgicos generales utilizados para
el conocimiento de la realidad. Gorski (1998:22-23)
56
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
De la Lgica dialctica
Su objeto de estudio es la veracidad del pensamiento. Tiene por
objeto, especialmente el estudio del proceso de formacin de los
conceptos, los juicios, las teoras, etc.
Considera importante el principio de la unidad de lo abstracto y lo
concreto. El desarrollo de los juicios, de los conceptos, los
razonamientos, la hiptesis, etc., no es otra cosa que el proceso de
ascensin de lo abstracto y lo concreto.
Estudia los vnculos entre las formas del pensamiento, su
subordinacin en el avance del pensamiento hacia la verdad.
57
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
58
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
De la Lgica formal
Estudia nuestros pensamientos (conceptos, juicios, raciocinios)
solamente desde el punto de vista de su estructura, de su forma
lgica. Se abstrae del contenido concreto de los juicios; estudia
solamente su contenido formal.
Toma juicios ya formados, dispuestos, sin analizar el progreso de
su gnesis, de su avance hacia la verdad; basadas en
determinadas leyes: Identidad, no contradiccin, tercio excluido y
razn suficiente.
Las leyes y reglas de la Lgica formal se asemejan a las leyes y
reglas de la gramtica, en el sentido de que unas y otras poseen un
amplio campo de aplicacin.
La lgica formal es como cualquier ciencia (la matemtica, la
biologa, la fsica, etc.), dado que tiene carcter objetivo (no son
fruto de la voluntad y el deseo de los hombres, sino el reflejo
59
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
60
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
61
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
62
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
63
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplos:
El estudiante es un estudiante
La obra El Capital es de Carlos Marx, entonces la obra El Capital
es de Carlos Marx
64
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplos:
Lima es capital del Per y Lima no es capital del Per
Ningn burgus es consciente con la clase proletaria y Todos los
burgueses son conscientes con la clase proletaria
Todos los sacerdotes son pedfilos y algunos sacerdotes no son
pedfilos
65
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
66
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Formas lgicas:
Este A es B o este A no es B
Todos los A son B o algunos A no son B
Ningn A es B o algunos A son B
Si A es B, C es D o A es B, pero C no es D
Ejemplos
La historia de la ciencia fue la historia de lucha con la religin o
La historia de la ciencia no fue la historia de lucha con la religin
La educacin peruana es clasista o La educacin peruana no es
clasista
Todos los banqueros son capitalistas o algunos banqueros no
son capitalistas
Ningn Presidente del Per fue honesto o algunos presidentes
fueron honestos.
Si un joven no es consciente, entonces adopta la ideologa de la
clase dominante. o Si un joven no es consciente, entonces no
adopta la ideologa de la clase dominante.
67
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
68
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
69
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Premisa condicional pq
Afirmando el antecedente p
Se concluye afirmando el consecuente q
Ejemplo:
Sean las proposiciones p y q
p: Galileo fue matemtico
q: Galileo descubri el Telescopio
Si Galileo fue matemtico, entonces descubri el Telescopio
Galileo fue matemtico
Por tanto: Galileo descubri el Telescopio
70
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Premisa disyuntiva pq pq
Negando cualquier proposicin ~p ~q
Se concluye, afirmando la otra proposicin q p
Ejemplo: Sean las proposiciones p y q
p: Galileo fue matemtico
q: Galileo descubri el telescopio
Galileo fue matemtico o descubri el telescopio
Galileo no descubri el Telescopio
Por tanto: Galileo fue matemtico.
Premisa bicondicional pq pq
Proposicin verdadera p q
Se concluye como verdadera q p
la otra proposicin
Ejemplo: Sean las proposiciones p y q
p: Silvia aprueba el primer ciclo
q: Silvia estudia
Silvia aprueba el primer ciclo si y slo s estudia
Silvia estudia aprueba el primer ciclo
Por tanto: Silvia aprueba el primer ciclo.
71
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
72
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
73
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
74
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
1 Proposicin p p
2 Proposicin q q
Se concluye, con la conjuncin o pq p q
implicacin de las proposiciones
Ejemplo: Sean las proposiciones p y q
p: 7 es un nmero primo
q: 4 es un nmero par
Por tanto: 7 es un nmero primo y 4 es un nmero par. O
tambin, Si 7 es un nmero primo, entonces 4 es un nmero
par
75
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
EJERCICIOS RESUELTOS
Ejercicio N 01
Demostrar: s ~ r
1. ( t p ) ( t k )
2. ~ ( ~ t r )
3. ~ ( ~ s p )
4. t ~ r (2) (Ley de Morgan)
1. t (4) (S)
2. t p (1) (S)
3. p (5;6) (PP)
4. s ~ p (3) (Ley de Morgan)
76
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
5. s (7;8) (SD)
6. ~ r (4) (S)
7. s ~ r (9:10) (SC)
Ejercicio N 02
Demostrar: (x = 5) (x 4)
1. (x = 2) (x 3)
2. (x 4) (x 3)
3. (x 2 x 4) (x = 2)
Dando valores a estas proposiciones
p: x = 5 ~ t: x 4
q: x 4 ~ s: x 3
r: x = 2 ~ r: x 2
s: x 3 ~ q: x 4
Reemplazando tenemos:
Demostrar: p q
1. r s
2. ~ t ~ s
3. (~ r ~ q ) r
4. ~ s (2) (S)
5. ~ r (1;4) (TT)
77
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejercicio N 03
Demostrar que: Pedro es mayor que Juan.
Si Jos es mayor que Roberto, entonces Pancho es menor que
Carlos. Pero si Pancho es menor que Carlos, entonces Carmen no es
mayor que Doris. Adems Carmen es mayor que Doris. Sin embargo,
Luis es amigo de Juan y al mismo tiempo Pedro es mayor que Juan o
en todo caso Jos es mayor que Roberto.
Solucin
Sustituyendo variables:
p: Pedro es mayor que Juan.
q: Jos es mayor que Roberto.
r: Pancho es menor que Carlos.
s: Carmen es mayor que Doris
t: Luis es amigo de Juan.
Reemplazando variables y formando premisas:
Demostrar: p
1. q r
2. r ~ s
3. s
4. t ( p q )
5. ~ r (2;3) ( TT )
6. ~ q (1;5) ( TT )
7. p q (4)(S)
8. p (6;7) (SD)
Ejercicio N 04
Demostrar que: Jos es to de Juan o Pedro es primo de Ral.
David es primo de Jos y Mara es ta de Luis. Si Ral es to de Doris,
entonces Juan es hermano de Pedro o Mara es prima de Luis. Si
78
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejercicio N 05
Si en Huancavelica el firmamento est nublado y hace fro, entonces
no se llevar a cabo el concurso de natacin. Ocurre que en
Huancavelica el firmamento est nublado y hace fro. Luego,
79
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Solucin
Dando valores:
p: En Huancavelica el firmamento est nublado.
q: Hace fro.
r: Se llevar a cabo el concurso de natacin.
Reemplazando valores:
1. ( p q ) ~ r
2. ( p q )
3. ~ r (1;2) ( PP )
Luego, no se llevar a cabo el concurso de natacin.
Ejercicio N 06
La raz cuadrada de un nmero negativo no tiene solucin en los
nmeros reales si todo conjunto no se contiene a s mismo, y si todo
conjunto se contiene a s mismo entonces el concepto de conjunto es
abstracto. Pero, todo conjunto se contiene a s mismo o no se
contiene a s mismo. En consecuencia,
Solucin
Dando valores:
p: La raz cuadrada de un nmero negativo tiene solucin en los
nmeros reales.
q: Todo conjunto se contiene a s mismo.
r: El concepto de conjunto es abstracto.
Reemplazando valores:
1. ~ q ~ p
2. q r
3. q ~ q
4. ~ p r (1;2) (DC)
80
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejercicio N 07
Si las pirmides egipcias fueron construidas en tiempo de los faraones
entonces los arquitectos egipcios conocieron la Geometra, y si los
cientficos egipcios conocieron la Matemtica entonces Egipto fue
cuna de las ciencias abstractas. Pero, Egipto no fue cuna de las
ciencias abstractas o los arquitectos egipcios no conocieron la
Geometra. Luego,...
Solucin
Dando valores:
p: Las pirmides egipcias fueron construidas en tiempo de los
faraones.
q : Los arquitectos egipcios conocieron la Geometra.
r : Los cientficos egipcios conocieron la Matemtica.
s. Egipto fue cuna de las ciencias abstractas.
Reemplazando valores:
1. p q
2. r s
3. ~ s ~q
4. ~ p ~ r (1;2) ( DD )
Luego, Las pirmides egipcias no fueron construidas en tiempo de
faraones o los cientficos egipcios no conocieron la matemtica.
81
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
INFERENCIA LGICA
El mtodo abreviado de deduccin natural (inferencia) fue propuesto
por Gerhard Gentzen en el ao de 1934. La inferencia tambin se
conoce con el nombre de deduccin, que significa demostrar una
conclusin a partir de un conjunto de premisas aplicando una serie de
procedimientos y las reglas de inferencia.
Una inferencia tiene la forma siguiente:
( P1 P2 P3 ... Pn ) C
Conjunto de Premisas Conclusin
82
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
(P1 P2 P3 ... Pn ) Q
Antecedente o conjunto de Premisas Consecuente o conclusin
83
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
84
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
EJERCICIOS PROPUESTOS
Ejercicio N 01
Si un nmero no es divisible por dos, o es un nmero impar o es un
nmero primo. No es un nmero primo si es una fraccin positiva.
Pero, si es un nmero impar entonces no es nmero decimal. Por
tanto, si un nmero no es divisible por dos y es una fraccin positiva,
entonces no es un nmero decimal.
Solucin
Reemplazando por variables proposicionales, al texto en mencin:
p: Un nmero es divisible por dos
q: Es un nmero impar
r: Es un nmero primo
s: Es una fraccin positiva
t : Es un nmero decimal.
Expresando el texto en el leguaje simblico, obtenemos:
{ ~p (q r) (s ~ r) (q ~ t ) } (~ p s) ~ t
{ ~p (q r) (s ~r) (q ~ t) } ( ~p s) ~ t
1ra premisa 2da premisa 3ra premisa 4ta premisa
85
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
(~p s) ~t F
V V F (nica posibilidad para que la condicional sea
falsa. Donde necesariamente el antecedente
V
~ps y el consecuente ~t debe ser
verdadera y falsa, respectivamente)
3er Paso. Reemplazamos los valores de verdad de las proposiciones
p, s y t en las dems premisas; esto es:
q ~t V
F F
~p (q r) V
V F V
s~rV
F F
Ejercicio N 02
Si los fenmenos naturales se comportan segn las leyes mecnicas
de Newton, entonces Newton dice la verdad, sin embargo la Fsica
Clsica no es absoluta. La Fsica Clsica es absoluta, si el movimiento
o la velocidad de la luz son absolutos. Si Newton dice verdad, el
movimiento es absoluto. Por lo tanto, los fenmenos naturales no se
comportan segn las leyes las mecnicas de Newton ni la velocidad
de la luz es absoluta.
Solucin
Reemplazando por variables proposicionales, al texto en mencin:
p: Los fenmenos naturales se comportan segn las leyes mecnicas
de Newton.
86
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
87
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Cuantificador universal
Smbolo Traduccin verbal (se lee as)
Para todo x
Para cada x,
Para cualquier x,
Cualquiera que sea x,
Sean todos las x,
Cualquier cosa que sea x
Todos los x,
Todo lo que sea x
Los x, las x,
Dada cualquier cosa individual x se verifica que,
Quienquiera que sea x
88
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
89
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Negacin de cuantificadores
La negacin de los cuantificadores se presenta en el siguiente
esquema:
Cuantificador Representaci Negacin Formalizacin Negacin a la
n convencional lgica actual formalizacin
Simblica lgica actual
UNIVERSAL A O x (Ax Bx) ~x (Ax ~ Bx)
(afirmativa)
UNIVERSAL E I x(Ax ~Bx) ~x (Ax Bx)
(negativa)
PARTICULAR I E x (Ax Bx) ~x(Ax ~ Bx)
(afirmativa)
PARTICULAR O A x (Ax ~ Bx) ~x (Ax Bx)
(negativa)
Ejemplos:
1. Todas las fieras son carnvoras
No es cierto que algunas fieras no sean carnvoras
2. Algunas fieras no son carnvoras
Es falso que todas las fieras sean carnvoras
3. Ningn cetceo es ovparo
Es absurdo que algunos cetceos son ovparos
4. Algn escritor es demagogo
No es verdad que ningn escritor es demagogo
La conversin
Es una inferencia inmediata, en el cual se cambia el orden del sujeto
(S) as como el predicado (P), pero manteniendo la forma o cualidad
original de ser afirmada o negada. As, slo existen las siguientes
conversiones vlidas. En resumen, se presenta en el esquema
siguiente:
90
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
La obversin
Esta inferencia inmediata difiere con la conversin, en el sentido que
la obversin mantiene el orden del sujeto y predicado, sin embargo la
cualidad afirmativa o negativa original de la premisa cambia en la
conclusin, adems de negarse el predicado. El siguiente cuadro lo
resume:
91
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
SUBALTERNANTE SUBALTERNANTE
DE I A E DE O
CONTRARIAS
S
S CO U
S
S B
AS
U N U
B U TR R I A
B
A B AD O L
L A CT T
A
I
C L
T L
AD TO E
T
E T
TR RI
AS
R
E
R E N N
R
N R CO A
N
A N N
A
N A T
T E
E I SUBCONTRARIAS O
SUBALTERNANTE SUBALTERNANTE
DE A DE E
92
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ningn deportista es A F
intelectual __ = __
Todo deportista es intelectua
l E ?
Todo arte es cultura A V
Algn arte no es cultura __ = __
O F
Algn arte no es cultura O F
Ningn nio __ = __
CONTRADICTORIAS A V
Ningn varn es mujer E V
Algn varn es mujer __ = __
I F
93
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
94
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
SILOGISMO
Trmino mayor
Premisa mayor M P
Trmino menor S P
Ejemplo:
1. Estructura lingista Estructura formal
Todos los nios son juguetones M P
Jaimito es un nio S M
Jaimito es juguetn S P
95
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
M P P M M P P M
S M S M M S M S
S P S P S P S P
De izquierda a Por la derecha Por la izquierda De derecha a
derecha (vertical) (vertical) izquierda
(diagonal) (diagonal)
96
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
RAZONAMIENTOS TRANSDUCTIVOS
Es una operacin lgica, gobernada por la ley transitiva, producto de
una relacin planteada en las premisas y transferida a la conclusin.
Este razonamiento se fundamenta en el silogismo categrico.
97
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplo:
Si A es igual a B y ste es igual a C, entonces A es igual a C.
Su esquema lgica:
A=B
B=C
A=C
El uso de diagramas, figuras, mapas, esquemas o representaciones,
facilita fcilmente la conclusin.
98
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplo 02
Csar 4 aos menos que Juan, el cual tiene tres aos menos que
Mara y sta tiene la misma edad que Alberto. Luego,
a) Mara y Alberto son mayores que Juan y Csar
b) Csar es el menor de todos
c) Mara es menor que Juan
d) Slo Alberto es menor que Juan
e) Juan es mayor que Csar
Cul son de las siguientes proposiciones son verdaderas?
A) a, b, c B) a, d, c C) a, b, e D) b, d, e E) slo a y e
Solucin
Csar Juan
Juan Mara
Mara = Alberto
99
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplo
Si Jos es hijo de Carmen y hermano de Mara que se cas con
Carlos y tuvieron su hijo Ral. Adems Jos tuvo una hija que se
llama Daniela, la cual se cas, naciendo como consecuencia
Nancy. En consecuencia:
a) Daniela y Carlos son primos
b) Carmen es abuela de Nancy
c) Jos es abuelo de Nancy
d) Ral es sobrino de Jos
Cul son de las siguientes proposiciones son verdaderas?
A) c, d B) a, c C) c, d, e D) b, d, e E) a, b, c
Solucin
100
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplo 01
Bolivia se encuentra al Sur-este del Per y al Norte de Argentina,
quien a su vez se encuentra al Este de Chile. Dnde se
encuentra el Per?
101
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
a) Al Sur de Chile
b) Al noroeste de Argentina
c) Al noreste de Chile
d) Al noroeste de Chile
e) Al suroeste de Argentina
A)a, c B) c, d C) b, c D) b, c E) b, d
Solucin
O E
S S
O E C A
H
S
Ejemplo 02
La ciudad O se encuentra al sureste de la ciudad Z quien a su vez
est al oriente de la ciudad B. Si la ciudad P est al norte de N y
sta se encuentra al noreste de Z. Cul es la ubicacin de L,
sabiendo que est exactamente al norte de O y al oeste de N?
102
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Solucin
L N
B
Ejemplo
Los profesores forman parte del magisterio nacional, quienes a su
vez integran en el conjunto de los intelectuales. Si Germn Caro
Rios fue docente. Entonces:
a) Germn es elemento del conjunto de los intelectuales
b) Los profesores contienen a los intelectuales
c) Germn es parte del magisterio nacional
d) Todas las anteriores
e) Slo a y b
A) a, b B) a, c C) b, d D) b, e E) c, d
103
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Solucin
La alternativa es B
RAZONAMIENTO INDUCTIVO
Son inferencias o argumentos, en el que a partir de la observacin de
premisas particulares o especficas, nos conduce al descubrimiento de
las leyes generales o a la generalizacin de conclusiones.
Razonamiento inductivo
Premisa
premisa general
premisa 3
premisa
2
1
Premisas particulares
104
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Esquemas lgicos:
AFIRMATIVO NEAGTIVA
a1 es B a1 es B
a1 es B a1 es B
a1 es B a1 es B
. . . . . .
. . . . . .
. . . . . .
____________ ____________
Todo A es B Ningn A es B
AFIRMATIVA NEGATIVA
A es b1 A es b1
A es b1 A es b1
A es b1 A es b1
. . . . . .
. . . . . .
. . . . . .
____________ ____________
Todo A es B A no es B
Ejemplo 01
Por tanto, todas las hijas de Hilda y Csar tienen piel triguea
Ejemplo 02
El cobre es mineral
El estao es mineral
105
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Ejemplo 03
Es un mineral energtico
Es un mineral lquido
Es un mineral gaseoso
Es un mineral natural
Es un mineral verde
Ejemplo 04
Marx fue un filsofo
Giordano Bruno fue un filsofo
Herclito fue un filsofo
Hegel fue un filsofo
106
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
107
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
A B C D E F
08. Rogelio se present con su jarra a comprar cuatro litros de leche y
el vendedor del establecimiento que slo tena dos vasijas sin
marca alguna, una de tres litros y otra de 5 litros, hacia una serie
de trasiegos ante la mirada incrdula del cliente, y por fin le dijo
aqu tienes los 4 litros, cuntos trasiegos debi seguir el
vendedor? (trasiegos proceso de intercambio de lquido en las
vasijas)
108
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
10. Para una de sus recetas especiales, doa Margarita requiere medir
exactamente 4 litros de agua. Si slo dispone de 2 jarras, ambas
sin graduar, de 3 y 5 litros de capacidad. Cuntas veces como
mnimo tendr que pasar el agua de una jarra a otra para obtener
lo requerido?
12. La figura I muestra 28 fichas circulares. Cuntas fichas, como mnimo, deben
trasladarse de lugar para tener la misma distribucin de la figura II?
Fig. I Fig. II
13. Las figuras (I) y (II) estn formadas por fichas iguales. Por lo
menos cuntas de las fichas en la figura (I) deben ser cambiadas
de posicin para formar la figura (II)?
109
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
Fig. I Fig. II
15. Hay cinco candados (A, B, C, D, E) y tres llaves (x, y, z). Si cada
llave abre slo un candado, cul es el nmero mnimo de veces
que las llaves deben insertarse en los candados para hallar la llave
de cada candado?
17. Alberto es mayor que Carmen, Rosa es mayor que Javier y ste es
mayor que Carmen. Si Rosa y Alberto tienen la misma edad. Cul
de los siguientes enunciados es verdadero?
I. Rosa es mayor que Carmen II. Carmen es mayor que Rosa
III. Javier es mayor que Rosa IV. Alberto es Mayor que Javier
110
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
20. Cuntos palitos debes mover, como mnimo para que la igualdad
sea correcta?
a)
b)
111
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
112
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
27. Se tiene tres recipientes de 19, 13 y 7 litros. Cmo se podra medir exactamente
10 litros de agua utilizando slo los tres envases? Seale el nmero de veces
que tuvo que pasar el agua de un recipiente
tro. a o
113
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
EL BESO PRECISO
Pueden besarse los labios, dos a dos,
sin mucho calcular, sin trigonometra;
mas ay! no sucede igual en Geometra,
pues si cuatro crculos tangentes quieren ser
y besar cada uno a los otros tres,
para lograrlo habrn 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 evidente
pues son todos besados desde afuera.
Y el caso tres en uno no es quimera,
al ser ste uno por tres veces besado internamente.
Cuatro crculos llegaron a besarse,
cuanto menores tanto ms curvados,
y es su curvatura tan slo la inversa
de la distancia desde el centro.
Aunque este enigma a Euclides asombrara,
ninguna regla emprica es necesaria:
al ser las rectas de nula curvatura
y ser las curvas cncavas tomadas negativas,
la suma de cuadrados de las cuatro curvaturas
es igual a un medio del cuadrado de su suma.
Espiar de las esferas
los enredos amorosos
pudirale al inquisidor
requerir clculos tediosos,
pues siendo las esferas ms corridas,
a ms de un par de pares
114
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
115
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
REFERENCIAS BIBLIOGRFICAS
116
PENSAMIENTO LGICO FORMAL Rgulo Antezana Iparraguirre
DIRECCIN ELECTRNICA
Alexortiz (2004). Desarrollo de habilidades lgicas intelectuales generales
de todas las ciencias [en lnea]. Hallado en
http://www.monografias.com/trabajos28/procesos-
pensamiento/procesos-pensamiento.shtml
Bransford, J. y Stein, B. (1993). Planeta Matemtico. Software
Libre distribuido bajo licencia GNU/GPL. [en lnea]. Hallado en
http://www.pensamientocritico.net/archivos/mideal.pdf. 08/11/2011.
117