0,43”
Introducción al razonamiento
L
Luis Valverde F.
os griegos plantearon al hombre como un animal racional: “hay
tres cosas por las que los hombres se hacen buenos y virtuosos, y
esas tres cosas son la naturaleza, el hábito y la razón” (Aristóteles),
recalcando con ello que la diferencia entre un animal y un ser humano es
su capacidad para razonar, para resolver problemas mediante métodos
lógico matemático
generados y mejorados por él mismo.
Una persona que no maneje las bases del razonamiento no puede Luis Valverde F.
deducir, a partir de premisas, conclusiones válidas y no será capaz de
determinar si un razonamiento es una falacia (inválido). Con tal deficiencia
dicha persona tendrá una carga adicional para interpretar las nociones,
incluso básicas, de las matemáticas; para citar un ejemplo.
Mientras no establezcamos como plataforma base de nuestra sociedad
el estudio sistemático de la lógica, el proceso educativo continuará
Introducción al razonamiento lógico matemático
empeorando.
Hay tres métodos “clásicos” de razonar: inducción, deducción y analogía;
es menester y obligación del sistema educativo incluirlos desde el inicio
en el proceso formativo de los niños, el resto vendrá por añadidura.
Este libro aborda los tres métodos pero hace especial análisis y pro-
fundidad en el método deductivo de una manera sencilla con esto se
pretende estar al alcance, incluso, de estudiantes de la Enseñanza
General Básica.
El autor cuenta con una licenciatura de Enseñanza de las Matemáticas
de la Universidad de Costa Rica, realizó estudios de didáctica Matemá-
tica en la Université Paul Sabattier de Toulouse, Francia y obtuvo una
maestría en Bioestadística de la Universidad de Chile. Durante más de
30 años ha laborado en la Universidad de Costa Rica donde ha ejercido
la docencia en la Escuela de Matemática y en la Escuela de Estadística.
Actualmente coordina la Sección de Físico-Matemática de la Escuela
de Estudios Generales donde ejerce la docencia a cargo de la cátedra
del curso Introducción al Razonamiento Lógico Matemático.
ISBN 978-9968-46-335-5
9 789968 463355
Introducción al razonamiento
lógico matemático
Luis Valverde F.
2014
511.3
V184i Valverde Fallas, Luis
Introducción al razonamiento lógico matemático / Luis
Valverde F. – Primera edición digital. – San José, Costa
Rica : Editorial UCR, 2020
1 recurso en línea (ix, 187 páginas) : ilustraciones en
blanco, negro y gris, archivo de texto, PDF, 42 MB.
ISBN 978-9968-46-933-3
1.LÓGICA SIMBÓLICA Y MATEMÁTICA – PROB-
LEMAS, EJERCICIOS, ETC. 2. TEORÍA DE CONJUN-
TOS. I. Título.
CIP/3613
CC.SIBDI.UCR
Edición aprobada por la Comisión Editorial de la Universidad de Costa Rica.
Primera edición impresa: 2012.
Primera reimpresión: 2014.
Primera edición digital (PDF): 2020.
Editorial UCR es miembro del Sistema Editorial Universitario Centroamericano (SEDUCA),
perteneciente al Consejo Superior Universitario Centroamericano (CSUCA).
Corrección filológica, revisión de pruebas: el autor. • Diseño y diagramación: Greivin Sánchez Salazar. • Montaje digital, diseño de portada y
control de calidad de la versión impresa: Wendy Aguilar G. • Realización de PDF: Hazel Aguilar B. • Control de calidad de la versión digital:
Elisa Giacomin V.
© Editorial de la Universidad de Costa Rica. Todos los derechos reservados.
Prohibida la reproducción de la obra o parte de ella, bajo cualquier forma o medio, así como el almacenamiento en bases de datos, sistemas
de recuperación y repositorios, sin la autorización escrita del editor.
Edición digital de la Editorial Universidad de Costa Rica. Fecha de creación: julio, 2020
Universidad de Costa Rica. Ciudad Universitaria Rodrigo Facio. San José, Costa Rica.
Apdo. 11501-2060 • Tel.: 2511 5310 • Fax: 2511 5257 • [email protected] • www.editorial.ucr.ac.cr
INTRODUCCIÓN vii
1. PROPOSICIONES Y OPERADORES LÓGICOS
INDICE 1.1. Proposiciones
1.2. Negación de una proposición
1.3 Conjunciones
1.4 Disyunciones
2. TABLAS DE VERDAD
3
6
8
10
2.1. Tablas de verdad de proposiciones básicas
Capítulo 15
Página
2.2. Estructura de una tabla de verdad 15
INTRODUCCIÓN
3. LA PROPOSICIÓN CONDICIONAL 7
1. PROPOSICIONES Y OPERADORES LOGICOS
3.1 Definición y tabla de verdad 25
1.1. Proposiciones 11
3.2.1.2.
Usos de la condicional
Negación de una proposición 2514
3.3 1.3 Conjunciones
Recíproca, inversa, contra recíproca 2616
1.4 Disyunciones
4. PROPOSICIONES EQUIVALENTES 18
2.TABLAS DE VERDAD
4.1. Definición y tablas de verdad 35
2.1.Tablas de Verdad de Proposiciones Básicas 22
4.2 2.2.
La bicondicional
Estructura de una tabla de verdad 3622
5.LA TAUTOLOGÍAS
PROPOSICION CONDICIONAL
5.1. 3.1 Definición y de
Determinación Tabla de Verdad
tautologías 4530
3.2. Usos 30
5.2. Uso de tautologías 46
3.3 Recíproca, inversa, contrarecíproca 31
5.3. Tautologías básicas
4. PROPOSICIONES
EQUIVALENTES 46
5.4.4.1.Definición
Tautologías yyequivalencias
Tabla de Verdad 47
39
4.2 conectivo
5.5. El La Bicondicional
lógico “Por lo tanto” 40
47
5. TAUTOLOGIAS
6. RAZONAMIENTO LÓGICO
5.1. Determinación de Tautologías 47
6.1. 5.2.
Razonamientos válidos e inválidos
Uso de las Tautologías 5548
6.2. Determinación
5.3. Tautologías de la validez de un razonamiento
Básicas 5948
5.4. Tautologías y Equivalencias
6.3. Método directo deductivo 6548
6. RAZONAMIENTO LOGICO
6.4. Uso de equivalencias 70
6.1. Razonamientos válidos e inválidos 56
6.5.6.2.Determinación
Demostración condicional
de la validez de un razonamiento 7260
6.6 6.3.
Demostración indirecta
Método Directo Deductivo o por contradicción 76
66
6.7. 6.4.Uso
Deducción de Equivalencias
de una conclusión a partir de premisas 80 71
6.5. Demostración Condicional
6.8. Razonamientos inválidos y falacias lógicas 8473
6.6 Demostración Indirecta o por Contradicción 77
7. TEORÍA DE CONJUNTOS
6.7. Deducción de una conclusión 81
7.1. 6.8.
Conceptos Básicos inválidos
Razonamientos y Falacias Lógicas 9385
7. TEORIA
7.2 LógicaDE yCONJUNTOS
teoría de conjuntos 105
7.1.Conceptos Básicos
8. APLICACIONES 92
7.2 Lógica y Teoría de Conjuntos 104
8.1. Silogismos
8. APLICACIONES 115
8.2.8.1.
Mitómanos
Silogismosy Veraces 127
112
8.3.8.2. Mitómanos
Circuitos y Veraces
eléctricos 124
131
8.3. Circuitos Eléctricos
8.4. Inducción Matemática 128
139
8.4. Inducción Matemática 136
8.5.8.5.
Problemas
Problemas lógicos
Lógicos 146
143
9.9. SOLUCIONES
SOLUCIONES 165
160
10. BBIBLIOGRAFIA
10. IBLIOGRAFÍA 181
187
v
CAPÍTULO 1
PROPOSICIONES Y OPERADORES LÓGICOS
UN CLÁSICO PROBLEMA CON FÓSFOROS
Colocando cuatro fósforos, como se muestra, se forma una ¨pala¨ dentro de la
FXDOVHGHSRVLWDXQD¿FKD
(OSUREOHPDFRQVLVWHHQUHXELFDUGRVIyVIRURV\ORJUDUTXHOD¿FKDTXHGHIXHUD
GHODSDOD(VFODURTXHODSDODVXIULUiXQDYDULDFLyQHQVXSRVLFLyQSHURQRHQ
VXIRUPD
3
Las siguientes frases o expresiones
Las siguientes no oson
frases proposiciones
expresiones desde
no son el punto de desde
proposiciones vista de
el la lógica.
punto de vista
de la lógica.
FRASES O EXPRESIONES
1 ¿Cómo te llamas?
2 Debo estar enfermo.
3 Deténgase Ahora.
4 Que golpe más fuerte
5 x+1=5
6 Eso no es posible.
Conectivas lógicas
Dos o más proposiciones pueden formar una nueva proposición utilizando las siguientes conectivas:
a. y
b. o
c. si … entonces
d. …si y sólo si …
Ejemplo 1.1
Tomando las siguientes proposiciones determine, mediante conectivas, las proposiciones que se
solicitan:
3Los pájaros vuelan.
3Los perros caminan.
3Los colibríes vuelan.
1. P1 y P2: “Los pájaros vuelan y los perros caminan”.
2. Si P1 entonces P3: “Si los pájaros vuelan, entonces los colibríes vuelan”.
Existen símbolos que representan las conectivas anteriores según se detalla en la siguiente tabla:
Resultado 1.1
La unión de dos proposiciones mediante una o varias de las conectivas lógicas “y, o, si…entonces…,…
sí y sólo sí…” genera una nueva proposición.
4
5
1.2 Negación de una proposición
En nuestro lenguaje sabemos
En nuestro que para
lenguaje negarque
sabemos unapara
frase basta
negar con
una anteponer
frase basta conlaanteponer
palabra nola opalabra
no es
cierto. En lógica, no
anteponer a una proposición
o no es cierto. el símbolo
En lógica, anteponer “~” nos
a una indica la el
proposición negación
símbolo de
"~"la respectiva
nos indica la
proposición.
negación de laAsí por ejemplo,
respectiva si P es Así
proposición. unapor
proposición, ~P
ejemplo, si P esrepresenta su negación.
una proposición, ~P representa su negación.
Ejemplo 1.2
P1: Hoy es martes.
P2: Iremos al cine.
Entonces la negación de P1 y P2 son respectivamente:
~P1: Hoy no es martes.
~P2: No iremos al cine.
Resultado 1.2
La negación de una proposición le cambia su valor de verdad de donde tenemos que:
6L3HV9HUGDGHUDHQWRQFHVa3HV)DOVD\YLFHYHUVD
6L3HV)DOVDHQWRQFHVa3HV9HUGDGHUD\YLFHYHUVD
Ejemplo 1.3
P1: Brasil es un país centroamericano.
~P1: Brasil no es un país centroamericano.
Como P1 es Falsa entonces ~P1 es verdadera.
Resultado 1.3
La negación doble de una proposición equivale a la proposición original, lo que se representa
VLPEyOLFDPHQWHSRUaa33
Ejemplo 1.4
Sea P: Iremos juntos al cine. Entonces:
~P: No iremos juntos al cine.
~~P: Iremos juntos al cine.
La siguiente tabla ofrece un resumen de lo expuesto referente a la negación de una proposición.
6
7
1.3 Conjuciones
Una conjunción es Una conjunción quees
una proposición una 1. Ayer salí con Jorge. Ayer fui al cine (P es
se forma
proposición
al unir dos proposiciones que se forma
mediante al unir verdadera. Q es verdadera).
la conectiva
dos proposiciones mediante la conectiva “y” ( ). 2. Ayer salí con Jorge. Ayer no fui al cine (P es
“y” (∧).
verdadera. Q es falsa).
Ejemplo 1.6 3. Ayer no salí con Jorge. Ayer fui al cine (P es
falsa. Q es verdadera).
Sean: 4. Ayer no salí con Jorge. Ayer no fui al cine (P es
P1: ”En Marte hay agua”. falsa. Q es falsa).
P2: “Los marcianos existen”.
P3: “El 75% de la Tierra es agua”. De las cuatro posibilidades planteadas, la que
hace que la expresión, “Ayer salí con Jorge y fui al
Las siguientes son conjunciones formadas cine”, sea verdadera, es la primera.
apartir de P1, P2 y P3.
Resultado 1.5
3 P2: “En Marte hay agua y los marcianos
existen”. Una conjunción será una proposición verdadera
3 P3: “En Marte hay agua y el 75% de la si las proposiciones que la forman son
Tierra es agua”. simultáneamente verdaderas, en caso contrario,
3 P2: “El 75% de la Tierra es agua y los la conjunción es falsa.
marcianos existen”.
Del resultado 1.5 tenemos que, para que P1 P2
Resultado 1. 4 sea verdadera, es necesario que P1 y P2 sean
simultáneamente verdaderas y basta con que al
menos una de ellas sea falsa para que P1 P2
D 3 Q es equivalente* a Q 3 OR TXH sea una proposición falsa.
HVFULELUHPRVFRPR3 Q: Q 3
E3 3HVHTXLYDOHQWHD3RVHD3 33
Ejemplo 1.7
Valor de verdad de una conjunción 6HDQ 3 3 3 \ 3 SURSRVLFLRQHV GH¿QLGDV
como sigue:
Analicemos el siguiente ejemplo para determinar
el valor de verdad de una conjunción: P1: 3HOpQDFLyHQ$UJHQWLQD
P2: Hitler nació en Africa.
“Ayer salí con Jorge y fui al cine”. P3: Nobel descubrió la dinamita.
P4: )UDQFLDHVXQSDtVHXURSHR
Esta conjunción está compuesta por dos
proposiciones simples: Tomando en cuenta los valores de verdad de P1,
P2, P3 y P4 tenemos:
P: Ayer salí con Jorge.
Q: Ayer fui al cine. P1 P2: Es falsa pues tanto P1 como P2 lo son.
Simbólicamente tendríamos la conjunción como: P Q. P1 P3: Es falsa pues P1 es falsa.
Ante la determinación del valor de verdad de P2 P3: Es falsa pues P2 es falsa.
la expresión “Ayer salí con Jorge y fui al cine”, P3 P4: Es verdadera pues tanto P3 como P4 lo
tenemos cuatro posibilidades concretas: son.
*Entiéndase por equivalentes aquellas proposiciones que tienen la misma tabla de verdad.
8
9
1.4 Disyunciones
Una disyunción es Una una proposición
disyunción queesse forma
una Ante la determinación del valor de verdad de la
al unir dos proposiciones
proposicióncon que
la conectiva
se forma “o” (V).
al expresión “Mañana saldré con Jorge o iré al cine”
En nuestro estudio unir utilizaremos el valor con
dos proposiciones de “o”
la tenemos cuatro posibilidades concretas:
desde una“o”forma
conectiva (V). En“incluyente”, permitiendo
nuestro estudio con
utilizaremos
ello que de
el valor las “o”
expresiones
desde unainvolucradas puedan
forma “incluyente”, 1. Mañana saldré con Jorge. Mañana iré al cine (P
aceptarse
permitiendo simultáneamente.
con ello que las expresiones es verdadera. Q es verdadera).
involucradas puedan aceptarse simultáneamente. 2. Mañana saldré con Jorge. Mañana no iré al cine
(P es verdadera. Q es falsa).
Ejemplo 1.8 3. Mañana no saldré con Jorge. Mañana iré al cine
(P es falsa. Q es verdadera).
P1: Iré al partido. 4. Mañana no saldré con Jorge. Mañana no iré al
P2: Saldré con Carla. cine (P es falsa. Q es falsa).
P3: Tendré problemas.
De las cuatro expresiones anteriores, las tres
Las siguientes son disyunciones formadas a partir primeras hacen que la expresión “Mañana saldré
de P1, P2 y P3. con Jorge o iré al cine” sea cierta y sólo el cuarto
caso hace que sea falsa.
P1 v P2: “Iré al partido o saldré con Carla”.
P2 v P3: “Saldré con Carla o tendré problemas”. Resultado 1.7
~P 1 v P3: “No iré al partido o tendré problemas”.
Una disyunción es una proposición verdadera si
Resultado 1.6 al menos una de las proposiciones que la forman
también lo es. La disyunción será falsa cuando
D3Y4HVHTXLYDOHQWHD4Y3RVHD las dos proposiciones que la forman son falsas.
3 Y 4 4 Y 3 1yWHVH TXH HVWR VH GHEH
a que el “o”, que genera la disyunción, no es Del resultado 1.7 tenemos que para que P1 v
excluyente. P2 sea falsa es necesario que tanto P1 como P2
E3Y3HVHTXLYDOHQWHD3RVHD3Y33 sean falsas y que basta con que al menos una de
ellas sea verdadera para que P1 v P2 sea una
Valor de verdad de una disyunción proposición verdadera.
Analicemos la siguiente disyunción: Ejemplo 1.9
P1: La Luna es más grande que la Tierra.
“Mañana saldré con Jorge o iré al cine”. P2: América fue descubierta en 1942.
P3: París es la capital de Francia.
En nuestro caso, la expresión expuesta no
descarta la posibilidad de que la persona en Entonces tenemos:
cuestión, mañana pueda salir con Jorge e ir al
cine simultáneamente. P1 v P3 es una proposición verdadera puesto
Esta conjunción está compuesta por dos que P3 lo es.
proposiciones simples: P1 v P2 es una proposición falsa pues tanto P1
como P2 lo son.
P: Mañana saldré con Jorge. P2 v P3 es una proposición verdadera puesto
Q: Mañana iré al cine. que P3 lo es.
Simbólicamente tendríamos la disyunción como: P1 v ~P1 es una proposición verdadera puesto
P v Q. que ~P1 lo es.
10
11
Ejercicios complementarios
En cada
En cada uno de los ejercicios uno
del 1 al de los
5 represente Traduzca las proposiciones del 17 al 21 en
simbólicamente loejercicios del 1 al 5 represente forma simbólica. Determine en cada caso las
expresado.
simbólicamente
Utilice las proposiciones lo expresado. proposiciones simples que estime necesarias.
M y R ofrecidas.
Utilice las proposiciones M y R ofrecidas.
17. Marvin está bailando, cantando y divirtiéndose.
M: Marco es bajo.
R: Rita es alta. 18. Las tortugas no van a desaparecer.
Utilice el hecho de que la negación de alto es 19. No irás al cine ni al teatro.
bajo y viceversa.
20. El pobre Carlos vive para trabajar y no trabaja
1. Marco es bajo y Rita es alta. para vivir.
2. Tanto Marco como Rita son altos.
3. Marco es bajo o Rita es baja. 21. El juicio lo ganará quien tenga la razón y no
4. Tanto Rita como Marcos son bajos. quien hable más.
5. Rita es baja y Marco es alto.
Determine el valor de verdad en cada una de las
Utilizando las mismas proposiciones anteriores proposiciones del 22 al 26.
0\5GHWHUPLQH HQ IRUPD HVFULWD HO VLJQL¿FDGR
de las proposiciones establecidas de los ejercicios 22. Para un número real X, X2
del 6 al 10.
23. Si f (x) = 2x + 1 entonces si f ( - 1) = 1
6. ~M R
7. M v R 6LDESDUDDEQ~PHURVQDWXUDOHVVLHPSUH
8. ~M v R DEE
9. ~M ~R
10. ~(M R) 25. Para a y b números reales, siempre
a2 - b2 = b2 - a2
11. Bajo el supuesto de que en las proposiciones
propuestas M es falsa y R es verdadera, determine 26. Si a, b son números reales diferentes a cero
el valor de verdad de las expresiones del 6 al 10 entonces se cumple que ab = ba.
anteriores.
27. Complete la tabla de verdad que se adjunta.
Utilizando las proposiciones P y Q siguientes, Se ofrece un ejemplo ilustrativo.
exprese en forma textual las proposiciones
planteadas en los ejercicios del 12 al 16.
P: 3DEORHVH[WUDxR
Q: A3DEOROHJXVWDOHHUOLEURVGHH[WUDWHUUHVWUHV
12. P Q
13. ~P Q
14. ~ (P Q)
15. P v ~Q
16. ~P ~ (~Q)
20
20
12
Esta es una
muestra del libro
en la que se despliega
un número limitado de páginas.
Adquiera el libro completo en la
Librería UCR Virtual.
0,43”
Introducción al razonamiento
L
Luis Valverde F.
os griegos plantearon al hombre como un animal racional: “hay
tres cosas por las que los hombres se hacen buenos y virtuosos, y
esas tres cosas son la naturaleza, el hábito y la razón” (Aristóteles),
recalcando con ello que la diferencia entre un animal y un ser humano es
su capacidad para razonar, para resolver problemas mediante métodos
lógico matemático
generados y mejorados por él mismo.
Una persona que no maneje las bases del razonamiento no puede Luis Valverde F.
deducir, a partir de premisas, conclusiones válidas y no será capaz de
determinar si un razonamiento es una falacia (inválido). Con tal deficiencia
dicha persona tendrá una carga adicional para interpretar las nociones,
incluso básicas, de las matemáticas; para citar un ejemplo.
Mientras no establezcamos como plataforma base de nuestra sociedad
el estudio sistemático de la lógica, el proceso educativo continuará
Introducción al razonamiento lógico matemático
empeorando.
Hay tres métodos “clásicos” de razonar: inducción, deducción y analogía;
es menester y obligación del sistema educativo incluirlos desde el inicio
en el proceso formativo de los niños, el resto vendrá por añadidura.
Este libro aborda los tres métodos pero hace especial análisis y pro-
fundidad en el método deductivo de una manera sencilla con esto se
pretende estar al alcance, incluso, de estudiantes de la Enseñanza
General Básica.
El autor cuenta con una licenciatura de Enseñanza de las Matemáticas
de la Universidad de Costa Rica, realizó estudios de didáctica Matemá-
tica en la Université Paul Sabattier de Toulouse, Francia y obtuvo una
maestría en Bioestadística de la Universidad de Chile. Durante más de
30 años ha laborado en la Universidad de Costa Rica donde ha ejercido
la docencia en la Escuela de Matemática y en la Escuela de Estadística.
Actualmente coordina la Sección de Físico-Matemática de la Escuela
de Estudios Generales donde ejerce la docencia a cargo de la cátedra
del curso Introducción al Razonamiento Lógico Matemático.