7

INTRODUCCIÓN

En la Universidad Francisco de Paula Santander de San José de Cúcuta,es notorio

en los estudiantes que inician las carreras de ingeniería, las deficiencias en las
competencias de pensamiento matemático,en las de resolución de problemas y en el
pensamiento crítico, para decidir sobre asuntos de la vida cuotidiana.Una posible
explicación es la política de la UFPS, de aceptar estudiantes sin un examen de
admisión, que permita seleccionar un grupo mas o menos homogéneo, en sus
competencias matemáticas, de expresión verbal y de escritura.

Según Navarro R (22)”Existen investigadores ( Arons, 1979; Whimbey y Lochhead

1986; Montealegre, 1992; Raths y colbs., 1997; Reyes, 2004 ), que permiten
sustentar que un alto porcentaje de los estudiantes que ingresan a la universidad,
tiene deficiencias para razonar a nivel de operaciones formales, y para pensar en
forma crítica y creativa. Dichas deficiencias han causado en diferentes ámbitos, un
descenso progresivo del desempeño académico de los estudiantes. El análisis de
desempeño de los alumnos ha llevado a suponer, que muchas de las deficiencias de
éstos en cuanto a sus habilidades para pensar, se deben a la falta de estructuras
cognitivas debidamente consolidadas, para realizar procesos mentales de
operaciones formales ( Gardner, 1985; Pozo y Gómez-Crespo, 1998; Ianfranceso,
2003 )”

Por otra parte, se afirma que el desarrollo de estructuras cognitivas y de

razonamiento, no constituye un proceso de aprendizaje espontáneo, y debe ser
estimulado a través de entrenamiento formal, mediante cursos debidamente
incorporados en el currículum escolar

De Sánchez M(24), en su libro sobre desarrollo de habilidades de pensamiento,

propone la necesidad perentoria de incluir materias en el currículum escolar,
dirigidas a desarrollar en forma directa las habilidades de pensamiento de los
estudiantes.

La experiencia del autor,como profesor de las asignaturas de electrónica de potencia

de los planes de estudio de ingeniería electrónica y electromecánica, en la
Universidad Francisco de Paula Santander en Cúcuta, le ha permitido evidenciar
que después de siete semestres de estudios universitarios, los estudiantes
presentan serias deficiencias en sus habilidades de pensamiento matemático y para
la resolución de problemas, porque el entrenamiento que han recibido en los cursos
anteriores, se ha centrado en la resolución de ejercicios.

Por lo anterior propuse en el 2013, al comité curricular de ingeniería

electromecánica, incluir dentro del pensum de la carrera, una asignatura obligatoria
en el primer semestre, que con el nombre de “Lógica y Razonamiento en Ingeniería”,
tenga los siguientes objetivos:1. Propiciar el desarrollo de la habilidad de
pensamiento matemático, que permita ir más allá de la aplicación de
procedimientos, para resolver situaciones relacionadas con las matemáticas.2.
 8

Desarrollar un patrón de comportamiento, que le permita al estudiante enfrentar con

éxito la solución de problemas.3.Propiciar en el estudiante la formación de un
pensamiento crítico,que le ayude a solucionar situaciones problemáticas del
acontecer diario.

La importancia de esta temática en el currículo universitario, se fundamenta en las

siguientes opiniones:

Martins A. (25) al referirse a las pruebas PISA, (Programa Internacional de

Evaluación de Estudiantes por sus siglas en inglés) emite el siguiente juicio: ”Una
mirada a los resultados del nuevo test, denominado "Resolución creativa de
problemas y habilidades de los alumnos para enfrentar problemas de la vida real",
invita a la reflexión. De los 44 países, Colombia ocupa el último puesto, Uruguay el
42, Brasil el 38 y Chile el 36. Estados Unidos se sitúa en el lugar 11 y España en el
29. Como en las pruebas PISA anteriores, los primeros cinco puestos son ocupados
por Asia: Singapur, Corea del Sur, Japón, China-Macao y China-Hong Kong en
orden descendente”.

Según Avvisati F, experto de la OCDE“en el mundo de hoy los trabajos dependen

más y más de la habilidad de los trabajadores de actuar en situaciones inesperadas,
porque las tareas familiares son realizadas muchas veces por computadoras u otras
máquinas".” El desarrollo de un patrón de comportamiento ante estas situaciones,
capacitará al estudiante en estas habilidades tan importantes para desenvolverse
exitosamente en el mundo del siglo XXI

En opinión de Lazzlo Bock Vicepresidente de Recursos Humanos de GOOGLE

“necesitas a gente a la que le guste averiguar cosas para las que no hay una
respuesta obvia, algo que no se entrena en la universidad . Para Bock, la
universidad sigue siendo un entorno artificial, una burbuja que premia a unos a otros
en función de unos criterios que nada tienen que ver con lo que se pide en el
entorno laboral. “La gente que tiene éxito en la universidad”, explica el responsable
de RRHH de Google, “es un tipo de gente específicamente entrenada para tener
éxito en ese ambiente. Una de mis frustraciones cuando estaba en la universidad es
que sabía que el profesor estaba buscando una respuesta específica.Puedes
limitarte a averiguarla, pero es mucho más interesante resolver problemas para los
que no hay una respuesta obvia. Necesitas a gente a la que le guste averiguar cosas
para las que no hay una respuesta obvia”. Y ese tipo de gente, asegura Bock, no es
la que suele tener éxito en la universidad, donde la mejor estrategia para sacar
buenas notas es saber que suele preguntar el profesor en cuestión, y qué tipo de
respuestas está esperando encontrar en un examen.

La práctica pedagógica tradicionalista en matemáticas en los estudios de

bachillerato,condiciona en los estudiantes la creencia,producto de la observación,
que hacer matemáticas significa obedecer las reglas dadas por el profesor; conocer
matemáticas significa recordar y aplicar correctamente las reglas cuando el profesor
lo requiera, y la verdad matemática queda determinada por la respuesta del profesor
 9

. De este modo, por ejemplo, aunque el profesor nunca le haya dicho al estudiante
que conocer matemáticas es memorizar y aplicar las reglas, como eso fue lo que en
la práctica siempre se hizo, eso es lo que le queda al estudiante en su recuerdo.

Según el profesor de Filosofía Fernando Uribe,en Colombia “El miedo hacia las
Matemáticas y las Ciencias proviene del colegio,pero no es por la dificultad de estas
áreas del conocimiento, ni por la pereza de los milenios. En su opinión, los
profesores de humanidades y de letras se han esforzado por entusiasmar a los
estudiantes, por enamorarlos de sus clases, y en muchos casos lo han logrado con
nuevas estrategias pedagógicas. Los profesores de Matemáticas y Ciencias, en
cambio, han sido renuentes a modificar sus estrategias de aprendizaje. La
memorización, las tardes de talleres que nunca terminan, los exámenes que pierde
la mitad de la clase, las preguntas que hacen sudar frío, continúan siendo los
métodos que usan para enseñar. Y se enorgullecen, afirma Uribe, cuando al final de
cada periodo han perdido un alto número de estudiantes. Es un sinónimo de rigor,
de seriedad, que comparan con desdén con la flexibilidad de las Humanidades. Pero
el problema es, según Uribe, que no han creado un vínculo entre los estudiantes y
las Matemáticas”Por esta razón,en Colombia cada día se reduce el número de
aspirantes a estudiar Ingeniería,lo que traerá consecuencias negativas para el
desarrollo industrial del país.

En muchas oportunidades la práctica pedagógica utilizada en el bachillerato se

extiende a los cursos universitarios,sin hacer un trabajo de motivación a los
estudiantes para amar las matemáticas, y con un enfoque fundamental en ejercitarse
en procedimientos, que permiten resolver diferentes situaciones estereotipadas, de
una manera análoga a ciertos procedimientos o recetas de cocina, donde se alcanza
un resultado sin comprender muy bien la naturaleza de los procesos involucrados.
En opinión del autor, el estudiante desarrolla habilidades para resolver ejercicios,
más no problemas, que es el campo de acción del ingeniero: resolver problemas
tecnológicos para satisfacer las necesidades humanas.

La habilidad para resolver problemas pasa por desarrollar habilidades de

pensamiento matemático, además de entrenar al estudiante en las técnicas de
resolución de problemas, y en generar patrones de comportamiento para aprender
a pensar de una manera crítica y sistémica.

En el mundo actual es una necesidad indispensable, para progresar y crecer dentro

de la sociedad de conocimiento, y de cambio permanente en el que se vive, el
poseer buenas habilidades de pensamiento analítico, ya que sólo en ocasiones
especiales se requieren personas con habilidades especiales, y más bien lo que el
campo laboral demanda son personas con buenas habilidades de pensamiento
analítico, que tengan la capacidad para adquirir habilidades nuevas, cuando se
requieran en una situación particular.

Las habilidades que surgen de la práctica del pensamiento matemático, permiten

resolver situaciones novedosas para las cuales no se conoce un procedimiento
 10

normalizado de solución, actividad que se conoce como resolución de problemas, y

permiten laborar con éxito en muchas profesiones y en la vida cuotidiana.Para la
consecución de los propósitos planteados en el curso propuesto, el autor de este
libro desarrolló el material que a continuación se presenta en tres unidades,y un
apéndice, el cual se enmarca dentro de una propuesta pedagógica para mejorar las
competencias de razonamiento lógico, razonamiento matemático, de resolución de
problemas y de pensamiento crítico, de los estudiantes que inician la carrera de
Ingeniería Electromecánica de la UFPS.

La unidad uno tiene como objetivo el desarrollo de habilidades de pensamiento

matemático. mediante el estudio de la lógica matemática. Se estudia
fundamentalmente la lógica proposicional y la teoría de conjuntos. Esta unidad
utiliza las referencias de Allendoerfer(7,)de Solis y Torres,(8).Jaramillo de la
Universidad de Antioquia (9 ) y Nickerson(23)..

El objetivo de la unidad dos es propiciar en el estudiante el desarrollo de un patrón

de comportamiento exitoso,al momento de enfrentar la resolución de un problema.

Es muy conveniente generar en el estudiante el hábito de enfocar la solución de

problemas con una actitud estratégica, de intentar entender la naturaleza del
problema propuesto en un nivel cualitativo, antes de iniciar la búsqueda de
soluciones cuantitativas

.Las referencias obligadas en este tema son el trabajo de Polya, cuyo libro mas
representativo fué “Cómo plantear y resolver problemas” (1),el trabajo de Shoenfeld
(2) y (13), el libro Mathematical Thinking de Mason(14),el de Santos Trigo,
denominado “la resolución de problemas matemáticos(20) y el el de Nickerson
“Mathematical reasoning,patterns,problems ,conjectures and proofs (23)

El propósito de la unidad tres es estimular el desarrollo de habilidades, para pensar

de una manera crítica y organizada, en temas relacionados con el acontecer diario
de la vida. Se utiliza como referencia los trabajos publicados por Edward de Bono
sobre los métodos para aprender a pensar (5),el trabajo de Nickerson(17) los de
Amestoy de Sánchez, Margarita(24)

Se presenta al final en un apéndice, el tema relacionado con el cuerpo de los

números,para facilitarles a los estudiantes una fuente de consulta muy necesaria
sobre las propiedades de los números naturales,enteros,racionales,reales y
complejos,que se utilizan en el desarrollo de la unidad I.
 11

UNIDAD I

LÓGICA Y TEORÍA DE CONJUNTOS

Una mente sana no debe ser culpable de

una falacia lógica, sin embargo,
hay mentes excelentes incapaces de seguir
las demostraciones matemáticas.

Henri Poicaré
 UNIDAD I

LÓGICA MATEMÁTICA Y TEORÍA DE CONJUNTOS

1.01 NATURALEZA DE LA MATEMÁTICA

La frase de Galileo “el libro grande de la naturaleza puede ser leído únicamente por
aquellos que conocen el lenguaje en el cual fue escrito, y este lenguaje es la
Matemática”,explica magistralmente la naturaleza y el propósito de la Matemática

El origen de la matemática se explica en la necesidad humana de resolver ciertos

problemas, inicialmente de carácter utilitario, en la administración, contabilidad,
agrimensura, el movimiento de los cuerpos, etc. Así nacen la aritmética, el álgebra,
la geometría y la trigonometría, el cálculo diferencial, las ecuaciones diferenciales.
Posteriormente aparecen nuevas ramas para resolver problemas de biología,
astronomía, electrotecnia, circuitos lógicos, tales como el álgebra compleja, series de
Fourier, ecuaciones diferenciales parciales, álgebra de Boole, etc. Hay ramas de la
matemática que no se originan en la naturaleza, como la topología.

En relación a la naturaleza de la Matemática, un punto de vista la considera como

un cuerpo de conocimientos relacionado con hechos y procedimientos, que tratan
con cantidades y magnitudes y la forma y relaciones entre ellas.Este punto de vista
hace trivial a la matemática,ya que la reduce a procesos rutinarios, y no contribuye al
desarrollo del pensamiento matemático.En opinión de G.Polya, para los estudiantes
la Matemática es un conjunto de reglas rigidas,algunas de las cuales debe de
aprender de memoria antes de los exámenes finales, y todo lo cual después debe
olvidar. Este punto de vista está muy arraigado en los estudiantes, debido a la
práctica pedagógica tradicional de las matemáticas en el bachillerato, y también en
muchos cursos de la educación superior

Otro punto de vista considera a la matemática como la ciencia de los patrones o

modelos,estrechamente relacionada con las ciencias en su afán de buscar patrones
en las evidencias empíricas.

Un autor Steen (1990) expresa su punto de vista como: “La Matemática es una
ciencia exploratoria que busca comprender cualquier clase de patrón,patrones que
ocurren en la naturaleza,patrones inventados por la mente humana y aún patrones
creados por otros patrones”

Los tipos de patrones que interesan a los matemáticos para su estudio son patrones
de formas, patrones de números, patrones de tiempo y patrones de patrones.Por
ejemplo:¿Cuál es la distribución mas eficiente para empacar esferas de radio
constante? ¿Cuál es el patrón o la regularidad que describe la distribución de los
números primos?¿Como se sabe si un patrón que describe una relación entre
12
 13

entidades matemáticas en ciertas instancias posibles es una descripción general de

la relación?¿Es posible encontrar un patrón único que relacione la caida de una
pluma con la de una piedra,con la del movimiento de la luna alrededor de la tierra,y
la de la tierra y los planetas alrededor del sol?

Para Nickerson R,el corazón de la matemática es la búsqueda de la regularidad,y de

la estructura del patrón.De acuerdo a esta definición, la matemática identifica y
analiza patrones abstractos: patrones numéricos (aritmética y teoría de números);
patrones de figuras (geometría); patrones de movimiento (cálculo); patrones de
razonamiento (lógica);patrones de posibilidades(teoría de la probabilidad);patrones
de cercanía y posición(topología).

Schoenfeld (2) reconoce que un aspecto importante en la caracterización de la

naturaleza de las matemáticas, es pensarla como la ciencia de los patrones o las
regularidades.Las matemáticas revelan patrones escondidos que ayudan a
comprender el mundo que nos rodea…El proceso de “hacer” matemáticas es mas
que cálculos y deducciones,ya que involucra la observación de patrones, la prueba
de conjeturas y la estimación de resultados (NRC, 1989, p. 31) (citado en
Schoenfeld, 1992, p. 343).

Para Schoenfeld las creencias de los estudiantes condicionan muchos aspectos

relacionados con el aprendizaje de la matemática. Por ejemplo, determinan en el
estudiante cuándo considera que debe enfocarse en conocimientos formales y
cuándo no. También determina la forma en que tratan de aprender matemática,
memorizando o no. Es decir: los estudiantes pueden creer que la matemática es
solamente una serie de reglas que simplemente van a memorizar,o pueden creer
que la matemática es elaboración de conceptos, establecimiento de relaciones,
patrones; en este caso, entonces, probablemente van a tratar de comprenderla pues
creen que tal comprensión les va a ser útil

Los patrones pueden ser numéricos, entre figuras o formas, patrones de movimiento
y en general patrones de comportamiento, de relaciones. Además, los patrones
pueden ser reales o imaginarios, visuales o mentales, dinámicos o estáticos,
cualitativos o cuantitativos, de interés utilitario o de carácter recreativo. El referente
de estudio de estos patrones puede ser el mundo que nos rodea, o una reflexión
pura de la mente del individuo.

Devlin (3) selecciona seis temas generales para caracterizar a las Matemáticas:

1.Patrones numéricos que implican el reconocimiento de propiedades de colecciones

de números;

2.Patrones de razonamiento y comunicación, que incluyen procesos de

argumentación y prueba;

3. Patrones de movimiento y cambio, donde las matemáticas proveen los objetos

(números, puntos, líneas, ecuaciones, gráficas, etc.) para estudiar fenómenos en
movimiento.
 14

4. Patrones entre figuras o formas geométricas, que permiten identificar y examinar

propiedades de colecciones de esas figuras.

5.Patrones de simetría y regularidad, que permiten capturar relaciones profundas o

abstractas de las figuras u objetos;

6. Patrones de posición, donde interesa analizar y describir patrones de acuerdo a

su posición y no tanto bajo la consideración de sus propiedades geométricas.

Así, un aspecto esencial durante la interacción con los problemas o contenidos

matemáticos,es que los estudiantes busquen, representen y describan cambios o
formas de variación (incluyendo invariantes) entre los objetos o atributos asociados
con la actividad o problema, que los lleven a la identificación de patrones, conjeturas
o relaciones .

Las herramientas que utiliza la Matemática son : La abstracción, la representación

simbólica y la manipulación simbólica
.
Por ejemplo, la idea (o concepto) de mesa procede del proceso de comparación de
diversos objetos muebles, que comparten entre si unas características semejantes
que podemos "abstraer" y quedarnos con lo que tienen en común. Aquello que hace
que una mesa sea una mesa no es que sea cuadrada, redonda, rectangular, de
madera, de mármol, verde, amarilla o roja, sino que abstraemos de estos objetos su
color, su forma, el material del cual están hechas y nos quedamos con la idea o el
concepto de mesa. Este concepto procede del proceso mental de abstracción.

La abstracción (del latín abstrahere, 'alejar, sustraer, separar') es una operación

mental, destinada a aislar conceptualmente una propiedad concreta de un objeto, y
reflexionar mentalmente sobre ésta, ignorando mentalmente otras propiedades del
objeto en cuestión.

Un símbolo, es la representación sensorial de una idea, que guarda un vínculo

convencional y arbitrario con su objeto.

La noción de simbología se utiliza para nombrar al sistema de los símbolos que

identifican a los diferentes elementos de algún ámbito.

La matemática, la electricidad,la química y otras ciencias tienen su propia

simbología. Quien conoce la simbología de una especialidad, puede expresarse
mediante los símbolos, e interpretar diagramas o esquemas que apelen a los
símbolos en lugar de las palabras.

Algunos de los símbolos que utiliza la matemática son :

El entrenamiento en el uso de las herramientas que utiliza la matemática, no genera
necesariamente la habilidad de saber pensar matemáticamente,al igual que la
destreza en el uso de las herramientas de la carpintería, no hace a la persona un
buen carpintero.
 15

Según Schoenfeld(2) la habilidad del pensamiento matemático presupone:

a)El desarrollo de un punto de vista matemático, o sea valorar en una situación la

posibilidad de matematización y de abstracción, y privilegiar su aplicación.

b)Desarrollar competencia en el uso de las herramientas básicas del oficio del

matemático, para utilizarlas con el propósito de entender la naturaleza de las
estructura de la situación que se analiza, o sea darle un sentido matemático.

c)Desarrollar estrategias de solución para los problemas presentes.

En el mundo moderno de frecuentes cambios tecnológicos, poseer habilidades de

pensamiento matemático, permite a los ingenieros adaptarse éxitosamente a los
problemas, que se presentan en el ejercicio de su profesión.

Además, la descripción cuantitativa de la naturaleza supone la elaboración de un

modelo matemático, y de ahí la importancia de la matemática para la ingeniería.

El ingeniero debe resolver problemas mediante la utilización de modelos

matemáticos.

La figura 1.01 muestra el esquema operativo de la matemática, para describir y

modelar la naturaleza.

Definiciones Deducción lógica Teoremas -leyes

Modelo Aplicaciones
matemático

Naturaleza Naturaleza

Figura 1.01 Proceso de modelación matemática, de fenómenos naturales

1.02 LÓGICA

1.02.1 Naturaleza y clases de lógica

Se puede definir a la lógica como la ciencia que estudia las argumentaciones. Un

argumento es una lista de proposiciones o enunciados, en los cuales el último es la
conclusión y los otros son las premisas o hipótesis.

Según Duval(13),la lógica que se emplea en la vida corriente, también llamada

sentido común, y la lógica propia del pensamiento científico comparten un mismo
 16

lenguaje, sin embargo, ambas tienen objetivos diferentes, pues mientras la lógica del
sentido común persigue convencer, la lógica científica o formal persigue demostrar

Un ejemplo de un argumento en la lógica del sentido común puede ser:

Llueve torrencialmente
Si Ud no se protege con un paraguas se mojará totalmente
Por lo tanto agarre el paraguas.
En este argumento las dos primeras proposiciones son las hipótesis, y la tercera es
la conclusión

La diferencia entre la lógica común y la científica conduce a concepciones y usos de

las leyes de inferencia, y de los operadores lógicos, que siendo válidos para la vida
cotidiana, no lo son para el razonamiento científico, y por tanto para el aprendizaje
de la matemática.

El análisis de las formas relacionales que se utilizan en la vida cotidiana y se

expresan a través del lenguaje natural, es el objeto de la lógica cotidiana o lógica
del sentido común. Todos los lenguajes naturales usan operadores lógicos, es decir,
formas de expresar conjunción, disyunción, condicional y negación que se
corresponden con las palabras "y", "o", "si…entonces" y "no".

Por ejemplo,cuando la mamá le dice al niño "si no comes, no juegas en internet", el

niño inmediatamente entiende que si come podrá jugar en internet; sin embargo, en
la lógica formal, este tipo de expresiones no tiene consistencia en términos de las
leyes de inferencia válidas para el razonamiento matemático. En términos generales
la gente no razona de acuerdo a las reglas de la lógica formal.

La lógica científica es la ciencia que estudia las argumentaciones válidas. Se

construye una argumentación, cuando se justifica una proposición en base a otra, de
la cual se deriva, mediante una regla de inferencia llamada modus ponens .

Si la conclusión es consecuencia necesaria (lógica) de las premisas, o sea que se

obtiene mediante la aplicación de las leyes lógicas a las premisas, se dice que la
argumentación es válida, y si sus premisas son verdaderas entonces la conclusión
también es verdadera.

Se estudiará mas adelante, que la conclusión puede ser falsa y sin embargo la
argumentación puede ser válida

A la lógica le interesa, la forma de las proposiciones que hacen parte del argumento,
y no la verdad o falsedad de estas

.Por ejemplo,se consideran los siguientes dos argumentos:

a)Todos los hombres son mortales;

Sócrates es un hombre;
por lo tanto, Sócrates es mortal
 17

b)A todos los gatos les gusta el pescado;

Silvia es un gata;
por lo tanto, a Silvia le gusta el pescado.

Ambos argumentos tiene la misma forma:

Todos los A son B;

S es un A;
por lo tanto, S es un B.

A la lógica no le interesa la verdad o falsedad de las premisas y sus conclusiones,lo

que le interesa es si las premisas implican a la conclusión.

El campo de acción de los que trabajan en lógica es formalizar y catalogar los

métodos de razonamiento.Si el razonamiento es de naturaleza matemática y por
supuesto utiliza técnicas matemáticas, se habla entonces de la lógica matemática.

El propósito fundamental de la lógica matemática es la comprensión adecuada y

precisa, de la noción de prueba matemática.

La forma lógica de una proposición es la representación de su contenido, y sintaxis

usando las herramientas de la lógica, en particular el simbolismo del cálculo
proposicional, y el cálculo de predicados.

1.02.2 Naturaleza de los argumentos

Un argumento será correcto, en virtud de la forma de las proposiciones que lo

componen. El argumento puede ser correcto (válido) y la conclusión puede ser
verdadera o falsa, dependiendo de la verdad o falsedad de las premisas.

Ejemplo 1.01

Premisas
Este sombrero es grande
Los propietarios de sombreros grandes tienen la cabeza grande
Los que tienen la cabeza grande tienen un gran cerebro
Los que tienen un gran cerebro son muy intelectuales

Conclusión: el propietario de este sombrero es muy intelectual.

La argumentación anterior es válida, pero su conclusión puede ser verdadera, si se

aceptan como verdaderas las premisas, y en caso contrario la conclusión será falsa.

Si un argumento conduce a contradicciones se denomina paradoja

1.02.3 Falacias
 18

Hay argumentos que parecen válidos, pero que en realidad no lo son.Estos

argumentos inválidos se denominan falacias (8)

Algunas de las falacias engañan por la ambigüedad del lenguaje que utilizan, por
ejemplo:

La muerte es el fin (término o consumación) de la vida,

por lo tanto, toda vida debe tener como fin (objetivo o finalidad) la muerte.

Otras falacias suponen lo que se quiere justificar, Es la falacia que ocurre cuando la
proposición que se quiere probar, es decir la conclusión del argumento, se
encuentra implícita o explícitamente entre las premisas,por ejemplo:

El Corán es infalible, pues fue escrito por Mahoma, profeta de Dios. A esta falacia,
en donde se supone lo que se quiere justificar se le conoce como falacia de petición
de principio. Se supone que Mahoma fue el profeta de Dios, para justificar la
infalibilidad del Corán.

Algunas falacias se originan en causa falsa (Non causa pro causa) y consisten en
establecer como causa de un hecho, aquello que lo precede inmediatamente en el
tiempo. Ejemplo:

“el viernes me internaron en el hospital, el sábado mi perro enfermó y el domingo

murió. Mi perro murió de pena porque yo no estaba con él”.

Se comete falacia por afirmación del consecuente, cuando se razona de la siguiente

manera: Se comete al razonar del siguiente modo:

Si A, entonces B
B
Por lo tanto, A

Por ejemplo:

La gente honrada está en libertad.

Yo estoy en libertad.
Por lo tanto, soy honrado.

La primera premisa solo nos da información de qué pasará si se es honrado, pero no

dice nada sobre qué sucederá si se está en libertad. Uno puede no ser honrado,
pero estar en libertad por no haber sido descubierto y juzgado.

Cuando la afirmación se sustenta en muy pocas pruebas se conoce como falacia por
por generalización apresurada.Ejemplo:Todos los islámicos son terroristas,porque
el grupo Al Kaeda,que es un grupo islámico, es terrorista.
Se conoce como falacia del francotirador a una falacia lógica, donde la información
que no tiene relación alguna es interpretada, manipulada o maquillada, hasta que
 19

esta parezca tener un sentido. El nombre viene de un tirador que disparó

aleatoriamente varios tiros a un granero, y después pintó una diana centrada en
cada uno de los tiros para autoproclamarse francotirador.

La falacia de argumento ad hominem consiste en replicar al argumento, atacando o

dirigiéndose a la persona que realiza el argumento, más que a la sustancia del
argumento. Por ejemplo:Tú dices que este hombre es inocente, pero no eres creíble
porque tú también eres un criminal

La falacia de argumento ad ignorantiam, consiste en sostener la verdad o falsedad

de una afirmación, alegando que no existe evidencia o prueba de lo contrario, o bien
alegando la incapacidad o la negativa de un oponente a presentar pruebas
convincentes de lo contrario. Quienes argumentan de esta manera no basan su
argumento en el conocimiento, sino en la ignorancia acerca del tema que se discute

La falacia ad populum es un argumento falaz que concluye que una proposición

debe ser verdadera porque muchas personas lo creen así. Es decir, recurre a que
«si muchas personas lo creen así,entonces será asÍ

La falacia del hombre de paja consiste en ridiculizar los argumentos o la posición del
oponente, tergiversando, exagerando o cambiando el significado de sus palabras,
(del oponente) para facilitar un ataque lingüístico o dialéctico. Su nombre hace
alusión a que el argumentador no combate los argumentos contrarios, sino una
imitación falsa y vulnerable de los mismos (el «hombre de paja») a fin de dar la
ilusión de vencerlos con facilidad.Ejemplo: Cuando alguien afirma, que es malo que
los adolescentes vayan solos de vacaciones,el argumentador falaz replica diciendo:
Obligar a nuestros hijos a quedarse encerrados en casa, es perjudicial para su
desarrollo emocional.La falacia radica en que en el argumento inicial no se propone
que los hijos se queden en casa,sino que no salgan solos.

1.02.4 Clases de lógica científica

La lógica formal o científica es una ciencia deductiva, y se divide en: lógica de

proposiciones y lógica de predicados.

En la lógica de proposiciones, las proposiciones o enunciados(p,q,r,…..) forman la

única categoría semántica básica. Una proposición es una frase de la cual se puede
afirmar de una manera inequívoca que es verdadera(V) o falsa(F).

Las proposiciones pueden ser simples y no se analizan, y otras pueden ser

compuestas, y se forman por proposiciones simples y los siguientes conectivos: y
(conjunción),o (disyunción), no (negación), si p entonces q (condicional), p es
equivalente a q (bicondicional).
A la lógica proposicional le interesa conocer la validez de los argumentos
 20

Sin embargo no todo argumento se puede estudiar , desde el punto de vista de la

lógica proposicional.

Un ejemplo es el siguiente argumento(silogismo):

Todos los hombres son mortales.

Todos los griegos son hombres.
∴ Todos los griegos son mortales.

También en el lenguaje natural existen afirmaciones, que no pueden simbolizarse

usando la lógica proposicional.

Por ejemplo: “El número x + 1 es un entero par”. Observe, que esta frase ni siquiera
es una proposición, pues no posee un valor de verdad, sin embargo, cuando x toma
un valor particular, se obtiene una proposición.Para estos casos, el argumento se
analiza utilizando la lógica de predicados

En la lógica de predicados las proposiciones simples se descomponen en partes

más simples, que forman así una segunda categoría semántica: la categoría de los
nombres. Los nombres aparecen en las proposiciones, unidos a los predicados,
que expresan propiedades y relaciones funcionando como verbos

La lógica es una teoría deductiva, la cual se fundamenta en dos principios:

definiciones y demostraciones.

Las condiciones que debe cumplir para su desarrollo son las siguientes:

a.Enunciar explícitamente los términos primeros o primitivos con ayuda de los

cuales se propone definir los demás términos de la teoría.

b. Enunciar explícitamente las relaciones primeras o primitivas que conforman la

base del conocimiento.

c. Enunciar explícitamente las proposiciones primeras o primitivas, con ayuda de las

cuales se propone demostrar otras proposiciones de la teoría. Estas proposiciones
primeras se denominan axiomas y relacionan entre sí los términos primitivos y las
relaciones primitivas.

d. Que las relaciones enunciadas entre los términos sean únicamente relaciones
lógicas, permaneciendo independientes del sentido concreto o interpretación que
pueda darse a los términos.

e. Que en las demostraciones solo intervengan dichas relaciones.

Al estudiar la lógica se analizan proposiciones en ciertos lenguajes, por ejemplo el

español. En el caso de la lógica matemática, se utiliza un lenguaje simbólico, que se
desarrolla posteriormente
 21

1.03 DEFINICIONES

Una definición es una proposición (o conjunto de proposiciones) mediante la cual se

explica de manera unívoca y con precisión la comprensión de una idea, concepto,
término o dicción.

La definición puede expresar las propiedades o cualidades del término,

idea,concepto o cosa que se define, o puede expresar una equivalencia entre un
termino y su significado.

Se considera definición real a la que expresa la naturaleza(esencia) de aquello que

se define, y definición nominal a la que expresa el significado de un término.

Para impedir el círculo vicioso de definir un término en función de otras palabras,

cuyo significado se expresa en términos de otros nuevos, en matemáticas y en
lógica se toma un pequeño número de palabras sin definir(términos primitivos), y se
definen otras palabras en función de estos términos primitivos.

Al establecer una definición, en base a palabras no definidas, es necesario que esta

tenga sentido y que no sea contradictoria.

En geometría se suponen como palabras sin definir: punto, recta, y entre, sin
importar si se tiene una imagen intuitiva de un punto y de una recta .

Con estas palabras se puede definir:

Segmento rectilíneo: porción de recta contenida entre dos puntos de una recta.

Cuadrado: un polígono de cuatro lados es un cuadrado, si y solo si, sus lados son
iguales y sus ángulos son rectos. El término si, significa que se incluyen todos los
casos a que se refiere la condición que sigue, y el solo si refleja que se excluyen
todos los demás.

1.04 PROPOSICIONES

Una vez se tiene un vocabulario, de palabras técnicas definidas y no definidas, se

pueden formar frases. A estas frases se les puede aplicar un juicio. Interesan
aquellos juicios a las que se les puede aplicar con toda exactitud uno y sólo uno
de los términos: verdadero o falso

Juicios inequívocos: Los 4 lados de un cuadrado son iguales; El ángulo recto mide
90°.

Juicios no inequívocos; Hace calor

Una proposición es una frase, que expresa un juicio, al que se le puede aplicar con
toda exactitud uno y solo uno de los términos verdadero o falso.
 22

Se distinguen dos tipos de proposiciones: simples y compuestas.

Una proposición se denomina simple, cuando en ella no interviene ningún conectivo

lógico o término de enlace (y, o, no, si... entonces..., si y sólo sí).

Si se juntan una o varias proposiciones simples con un término de enlace, se forma

una proposición compuesta. Los términos de enlace, "y", "o", "si...entonces", "si y
sólo sí"; se usan para encadenar dos proposiciones, en cambio el término de enlace
"no" se agrega a una sola proposición.

Las proposiciones en matemáticas se refieren a objetos matemáticos.Se entiende

por objetos matemáticos entidades tales como: los números enteros, los números
reales, los conjuntos, las funciones, etc.

La verdad de las proposiciones matemáticas se obtiene mediante una prueba

matemática, a diferencia de las otras proposiciones en las cuales la verdad o
falsedad se obtiene mediante la observación, la experimentación o la medición

Ejemplo1.02

Proposiciones simples: Hoy voy al teatro; mañana salgo de paseo

Proposiciones compuestas: Hoy voy al teatro y mañana salgo de paseo; Hoy voy al
teatro o mañana salgo de paseo; Si hoy voy al teatro, entonces mañana salgo de
paseo; Hoy no voy al teatro.

Proposiciones matemáticas: Los números primos son infinitos; Para cada número
real , la ecuación , tiene una raíz real.

1.05 AXIOMAS

Axioma es una proposición primitiva que se admite como cierta. En la construcción

de una teoría axiomática se parte de un conjunto de axiomas, escogidos de tal forma
que dicho conjunto ha de ser: compatible, suficiente, independiente.

La compatibilidad exige que en dos axiomas no se puedan formular, ni producir en

sus resultados derivados, relaciones contradictorias.

La suficiencia requiere que toda proposición verdadera se pueda deducir dentro

del sistema.

La independencia implica que ningún axioma se puede deducir de otros.

Estableciendo el sistema de axiomas (que necesariamente, no tienen que ser

"evidentes"), se comienza a construir la teoría, enunciando y demostrando los
teoremas.
Axioma: Existe una clase C de proposiciones, tal que a cada proposición de C, se le
puede asignar uno, y solo uno de los términos verdadero o falso.
 23

¿Cómo se eligen los axiomas?

La elección más que un proceso lógico, es una acción creadora. Se pueden elegir
los axiomas de tal manera, que reflejen las propiedades de la naturaleza, que se
describen con el modelo matemático, por ejemplo,de nuestra experiencia física al
trazar rectas sobre un papel, se puede plantear el axioma :”Hay una recta y solo una
que pasa por 2 puntos distintos”. Otro axioma que se puede plantear es” La suma de
los valores de los ángulos interiores de un triángulo suman 180°”

También se pueden plantear axiomas que no provengan de la naturaleza, e

investigar una nueva teoría matemática:” La suma de los ángulos interiores de un
triángulo es inferior a 180°”

¿Cómo se sabe que los axiomas son verdaderos?

La respuesta es que no hay forma de saberlo. Se suponen que son verdad, y se les
asignan valores de verdad a otras proposiciones

1.06 CONJUNTOS

La idea intuitiva de conjunto es la de una colección de objetos bien determinados y

diferenciados,por ejemplo el conjunto de lápices, árboles, números, hombres, etc.

Los seres individuales que componen al conjunto se denominan elementos.

Un conjunto se puede representar

1.Por extensión: escribiendo dentro de una llave, los nombres de los elementos del
conjunto.por ejemplo:{lunes,martes,miércoles,jueves,viernes,sábado,domingo}

2.Por compresión: escribiendo dentro de una llave, una propiedad característica de

los elementos del conjunto.Por ejemplo, {los días de la semana}

En relación al número de elementos, un conjunto puede ser:

finito: el conjunto de los carros marca Chevrolet.

infinito: el conjunto formado por los números enteros positivos: 1, 2,3,4, etc,o de
ningún elemento: El conjunto vacío o nulo.

En la teoría formal de conjuntos los términos conjunto y elemento no se definen.

Ejemplo 1.03

Es el conjunto finito {3}, cuyo único elemento es el número 3. Este

conjunto es diferente del número 3

{2,4,6,8,10,12,…},es el conjunto infinito de todos los enteros positivos pares.

 24

{x (hombres)lx fue presidente de Colombia}.Esta expresión se lee como: ”El conjunto

de todos los hombres x , tales que x fue presidente de Colombia.

{x(triángulos)I x es isósceles}.Es el conjunto de todos los triángulos isósceles.

En matemáticas, se omite especificar la naturaleza de los elementos del

conjunto, ya que por el contexto se suele conocer la clase de objeto.

Esto supone la existencia de un conjunto universal, al que pertenece el elemento x.

1.06.1 Representación de los conjuntos

Los conjuntos se pueden representar mediante:

1.- Diagrama lineal:

Se sitúa sobre una recta, un punto por cada elemento del conjunto.

Figura 1.02 Diagrama líneal de un conjunto

2.- Diagrama de Venn: Se sitúan dentro de una línea cerrada, los signos
representativos de los elementos del conjunto.

Figura 1.03 Diagrama de Venn de dos conjuntos A y B

1.06.2 Definiciones

1.06.2.1 Definición de subconjunto

Un conjunto A es un subconjunto de un conjunto B, si y solo si todo elemento de A

es un elemento de B. También se dice que A está incluido en B.
 25

Se utiliza la siguiente notación: A B

Un conjunto A es un subconjunto propio de B, si y solo si A es un subconjunto de B

y al menos un elemento de B no es elemento de A.

También se dice que “A está incluido propiamente en B”. Se escribe A⊆B

Por convenio, el conjunto nulo es subconjunto de todo conjunto, incluso de sí
mismo, y es subconjunto propio de todo conjunto, excepto de sí mismo.

Ejemplo 1.04

Sea U el conjunto de números reales.En matemáticas los números reales incluyen

tanto a los números racionales como a los números irracionales.(Revisar el
apéndice, sobre cuerpo de números al final del libro)

Se pide para los siguientes conjuntos, determinar un conjunto equivalente

expresado por extensión.

a){x|x-3=0}

b){x|

c{xl

Solución:

a)El conjunto{3}

b)El conjunto {2,3}

c)El conjunto nulo, (los números reales no incluyen los números complejos)

1.06.2.2 Correspondencia biunívoca

Dos conjuntos A={ , ,…} y B={ están en correspondencia 1 a 1, o

biunívoca, cuando existe un emparejamiento de las a y de las b, tal que a cada ‘a’
corresponde una y sola una ‘b’, y a cada ‘b’ corresponde una y sola una ‘a’.

Ejemplo 1.05

Establecer una correspondencia 1 a 1 entre el conjunto de números {1, 2,

3,4,……………..27} y las letras del alfabeto.

Solución

Se pueden establecer muchas correspondencias, una de ellas podría ser:

 26

1, 2,3, 4,5, 6, 7, 8,……………………………………………………………27

a, b, c, d, e,………………………………………………………………… z

Sugiera otra correspondencia.

1.07 FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

1.07.1 Definición de variable

Una variable es un símbolo, que se puede sustituir por cualquier elemento del
conjunto universal.

Generalmente se representan las variables, por las últimas letras en minúscula del
alfabeto, por ejemplo: x,y,z, etc.

1.07.2 Definición de función proposicional

Una función proposicional es una expresión que contiene una variable,y que se
convierte en una proposición, cuando se sustituye la variable por un elemento del
conjunto universal.

Sí la variable interviene más de una vez en la función proposicional,se debe sustituir

por el mismo elemento del conjunto universal, tantas cuantas veces intervenga.

Existen funciones proposicionales de varias variables, cuyas variables se pueden

referir a distintos conjuntos universales.

Se representa a la función proposicional por símbolos como etc, en donde

es la variable implicada

Ejemplo 1.06

Escribir una función proposicional de una variable,asumiendo como conjunto

universal los números reales.

Solución

Una puede ser la siguiente:

Ejemplo 1.07

Escribir una función proposicional de dos variables,asumiendo como conjunto

universal los números reales.

Solución
 27

Una solución puede ser la siguiente:

1.07.3 Definición de conjunto de verdad

Un elemento U, es un elemento del conjunto de verdad de una función

proposicional , si y solo si, al sustituirl el elemento por en , la función se
transforma en una proposición verdadera.

Se representan por P, Q, etc. a los conjuntos de verdad de etc. En ocasiones

se utiliza para representar el conjunto de verdad,de la función proposicional
), la siguiente notación: { | es verdadero}

En muchas situaciones matemáticas interesa saber, si el conjunto de verdad, de una

función proposicional es la totalidad del conjunto universal U. Para ello se emplea el
símbolo (se lee para todo x) y se escribe la proposición .
Si . es verdadera entonces el conjunto de verdad de ,(P) es el conjunto
universal.

1.07.4 Definición del conjunto de verdad del cuantificador

es verdadero, si y solo sí P (conjunto de verdad de ) es el conjunto universal

U.

es falsa, si y solo si P no es el conjunto U,o sea existe al menos un elemento

de U que no pertenece a P.

De igual manera interesa considerar la posibilidad, que el conjunto de verdad de

una función proposicional contenga al menos un elemento de U, es decir que este
conjunto de verdad no sea el conjunto nulo. Se emplea para esto el símbolo el
cual se lee como: para algún x, o existe al menos un x, tal que. Al aplicarlo a la
proposición se escribe: .y se lee: existe un x,para el cual es verdadera

1.07.5 Definición del conjunto de verdad del cuantificador .

es verdadero si y solo si, P no es el conjunto vacío .

es falsa, si y solo si P es el conjunto vacío .

Las expresiones: y se denominan cuantificadores.

Una de las dificultades que se presentan en matemáticas,es que frecuentemente

se omiten los cuantificadores y se deben averiguar por el contexto.

1.07.6 Definición de identidad y de ecuación condicional

 28

Una función proposicional, con dominio de definición en el conjunto de los números

reales, que tenga un cuantificador se denomina identidad.

Si la función proposicional, con dominio en el conjunto de los números reales,que

tenga un cuantificador , se denomina ecuación condicional.

Ejemplo1.08

Escribir una identidad

Solución

Una posible solución es:

Ejemplo 1.09

Escribir una ecuación condicional

Solución

Una posible solución es:

1.08 CONJUNCIÓN E INTERSECCIÓN,

1.08.1 Definición de conjunción

La conjunción de dos proposiciones es una nueva proposición, resultante de

encadenar dos proposiciones simples con el conectivo y .

Por ejemplo: Luis estudia en la UFPS y Marina es periodista.

En lógica el conectivo y se simboliza por ⋀ , y se denomina conjunción

1.08..2 Verdad de la conjunción

La tabla 1.01 muestra la tabla de verdad de la conjunción.Para que la conjunción de

dos proposiciones sea verdadera, es necesario que las dos proposiciones sean
verdaderas.

En matemáticas la verdad de la conjunción de dos proposiciones, es independiente

del orden de las proposiciones.

En el lenguaje coloquial el cambio en el orden de las proposiciones puede cambiar

el significado de la proposición compuesta
 29

P q p ⋀q
V V V
V F F
F V F
F F F

Tabla 1.01 Tabla de verdad de la conjunción

1.08.3 Conjunción de funciones proposicionales

Por analogía, también se puede definir la conjunción de dos funciones

proposicionales.

Ejemplo 1.10

Sea: : x+3=0 y : 2x-6=0, Se pide determinar el conjunto de verdad de la

conjunción de las dos funciones proposicionales dadas.

Solución

La conjunción de estas dos funciones proposicionales es : ⋀ = ( x+3=0) ⋀ (2x-

6=0).

El conjunto de verdad de ⋀ , que se escribe {x| ⋀ } está formado por los

elementos x U, que pertenecen simultáneamente a P (conjunto de verdad de ) y
a Q (conjunto de verdad de ).A esto se le denomina la intersección de los dos
conjuntos.P es {-3} y Q es {3],por lo tanto el conjunto de verdad de la conjunción de
las dos funciones proposicionales es el conjunto nulo( ,porque los dos conjuntos no
tienen elementos comunes.

1.08.4 Notación simplificada de la conjunción

Los matemáticos utilizan una notación especial, para representar una conjunción de
dos proposiciones.

Por ejemplo,la conjunción ) ⋀ ( ,se representa de una manera

simplificada como: .

Ejemplo 1.11

Dada la proposición matemática compuesta “ es mayor que 3, y menor que

3,2”,se pide expresar esta conjunción de una manera simplificada.

Solución
 30

La proposición compuesta se puede representar mediante la siguiente expresión

simbólica: y de una manera simplificada se expresa como:

Ejemplo 1.12

Simplificar, ( ⋀ . expresándola en lenguaje simbólico :

Solución:

1.08.5 Definición de intersección de conjuntos

La intersección de 2 conjuntos A y B, se escribe A y se representa por el

conjunto de elementos, que pertenecen simultáneamente a A y B.(figura 1.04)

A
A B A B
B

a) Conjunto vacío b)Zona común de A y B c)B

Figura 1.04 Intersección de conjuntos (A∩B)

TEOREMA 1

El conjunto de verdad de la conjunción de dos funciones proposicionales, es el

conjunto formado por la intersección de los conjuntos de verdad de cada una de las
funciones proposicionales.

{x | ⋀ =P Q. (1.01)

La demostración de este teorema se hace más adelante.

1.09 DISYUNCIÓN Y UNIÓN

1.09.1 Definición de disyunción de proposiciones

La disyunción proposicional es la combinación de 2 proposiciones, mediante la

disyunción o, la cual se representa en lógica por el símbolo (⋁), y se describe
simbólicamente como p ⋁ q.
 31

En el español el significado de la disyunción o es ambiguo.

Cuando se dice que p o q es verdadera, se puede expresar una de dos

posibilidades:

1)p es verdadera o q es verdadera, pero no ambas.

2)las dos proposiciones son verdaderas o una de ellas es verdadera

El primer caso recibe el nombre de o exclusiva y el segundo de o inclusiva.

En el lenguaje jurídico la o inclusiva se expresa por y/o. En este texto cuando se

utilice o como disyunción, se asume en su sentido inclusivo

P Q p⋁q
V V V
V F V
F V V
F F F

Tabla 1.02 Tabla de verdad de la disyunción

La analogía de la disyunción con las funciones proposicionales, permite concluir que

los elementos del conjunto de verdad de ⋁ son aquellos que pertenecen a
cada uno de los conjuntos de verdad P o Q o a los dos a la vez.

Un conjunto que se obtiene de la suma de dos o más conjuntos, se denomina

unión de los conjuntos.

1.09.2 Definición de unión de conjuntos

La unión de dos conjuntos A y B, es el conjunto formado por los elementos que

pertenecen a A y B .(figura 1.05 ).y se escribe A B,

B A
A B
B
A

a) A más B b)A más B c)A

Figura 1.05 Unión de dos conjuntos (AUB)

 32

TEOREMA 2

El conjunto de verdad de la disyunción de dos funciones proposicionales, es el

conjunto formado por la unión de los conjuntos de verdad de cada una de las
funciones proposicionales

{ ⋁ }=PUQ (1.02)

Este teorema se demostrará más adelante

1.10 NEGACIÓN Y COMPLEMENTACIÓN

1.10.1 Definición de negación de una proposición

La negación de una proposición es una nueva proposición, cuya tabla de verdad es

la opuesta a la original. Se representa por el símbolo .

Si p es verdadera p es falsa, y si p es falsa, su negación es verdadera.

P
V F
F V

Tabla 1.03.Tabla de verdad de la negaciión

Cuando la proposición es simple, la negación se obtiene colocando la palabra no.

Cuando la proposición contiene cuantificadores, el proceso para obtener la negación

requiere de un análisis cuidadoso.

Si es una función proposicional, al formar la nueva función proposicional , se

debe obtener su conjunto de verdad. Si la sustitución de un elemento de U en
genera una proposición verdadera, la sustitución de este en produce una
proposición falsa, de manera análoga ocurre en el caso contrario.

Por lo tanto el conjunto de verdad de consta de elementos de U, que no

pertenecen al conjunto de verdad de . Un conjunto formado de este modo, a partir
de otro conjunto, se denomina complemento del conjunto dado.

1.10.2 Definición de complemento de un conjunto

El complemento de P, que se escribe P’, es el conjunto de elementos de U que no

pertenecen a P (figura 1.06).

Se considera el conjunto P, subconjunto del conjunto universal U.

 33

El complemento de un conjunto se define en relación a un conjunto universal

particular. Si se cambia el conjunto universal, se debe cambiar adecuadamente el
complemento.

P’ P P’ P=U

Figura 1.06 Complemento de un conjunto

De la definición anterior surge el siguiente teorema, que se demostrará

posteriormente

TEOREMA 3

El conjunto de verdad de la negación de una funcion proposicional, es el conjunto

formado por el complemento del conjunto de verdad de la función proposicional(P')

{ | } = P’ (1.03)

P es el conjunto de verdad de .

1.11 CONDICIONAL Y SU EQUIVALENCIA

1.11.1 Definición de la proposición condicional

Un condicional es una proposición formada por dos proposiciones (p y q), que

están o no relacionadas por la causalidad, unidas por la expresión si p, entonces q.
Se utiliza el símbolo , para representar el operador condicional.Si p entonces q, se
representa simbólicamente

La frase precedida por la proposición si ,se denomina antecedente o hipótesis , y la

precedida por entonces, se denomina consecuente o conclusión.

1.11.2 Definición de la implicación

 34

La implicación es un condicional en el cual el antecedente es causa del

consecuente

La parte condicional requiere, que la verdad del consecuente provenga de la

verdad del antecedente.

La parte causal relaciona al antecedente como causa del consecuente.

1.11.3 Verdad del condicional

La verdad o falsedad de un condicional, se define únicamente en términos de la

verdad o falsedad del antecedente y del consecuente, sin tener en cuenta si es o
no significativa (causal) la conexión entre el antecedente y el consecuente.

Si el antecedente es cierto y el consecuente también, entonces el condicional es

verdadero. Si el antecedente es cierto y el consecuente es falso el condicional es
falso.

El operador condicional expresa en una implicación genuina, lo mismo que p

implica a q. La verdad de p implica la verdad de q, pero si el antecedente es cierto y
el consecuente es falso la implicación es falsa.Este razonamiento justifica las
primeras dos filas de la tabla de verdad del condicional (Tabla 1.04).

Para determinar la verdad del condicional en situaciones no intuitivas, o aún

absurdas (cuando no hay causalidad entre antecedente y consecuente, o si el
antecedente es falso) se puede utilizar la regla del condicional, cuando el
antecedente es cierto.

Para ello se debe plantear la siguiente pregunta:

¿Cómo es posible determinar la validez de la siguiente afirmación: p no condiciona

a q?

Esta pregunta también se puede formular como:¿cómo la verdad o falsedad de, p

no condiciona q,que se simboliza como (p ⇸q) ,depende de los valores de verdad o
falsedad de p y q?

Si p no condiciona a q, (p ⇸q), es porque aunque p sea verdadero q es falso,

entonces (p ⇸q) es únicamente verdadero cuando p es verdadero y q es falso y es
falso en los otros casos.

Al definir la tabla de verdad para (p ⇸q), se puede determinar la de realizando

la negación.

El condicional es verdadero, cuando el condicional (p ⇸q) es falso.

(p ⇸q) es falso en las siguientes situaciones:

 35

a. p es verdadero y q es verdadero.

b. p es falso y q es verdadero.

c. p y q son falsos. .

Por lo tanto, para estas situaciones es verdadero

Esto permite terminar la tabla de verdad del condicional

p q
V V V
V F F
F V V
F F V

Tabla 1.04.Tabla de verdad del condicional

Es importante observar, que la única posibilidad para que el condicional sea falso, es
que el antecedente sea verdadero y el consecuente falso

Ejemplo 1.13

Proponer un ejemplo, que confirme la fila 3 de la tabla de verdad del condicional

Solución

Una ilustración de cómo partiendo de una hipótesis falsa, y razonando

correctamente se puede llegar a una conclusión verdadera, es la siguiente:

1=2 hipótesis falsa

2=1 propiedad de la igualdad
3=3 De la suma de la hipótesis, y de la consecuencia de la hipótesis por la
propiedad de la igualdad

Se obtiene una conclusión verdadera.

Ejemplo 1.14

Proponer un ejemplo, que confirme la fila 4, de la tabla de verdad del condicional

Solución

Una ilustración de cómo partiendo de una hipótesis falsa, y razonando

correctamente se puede llegar a una conclusión falsa es la siguiente:

1=2 hipótesis falsa

3=3 verdadera
 36

4=5 De la suma de la hipótesis y de la consecuencia de la hipótesis, se obtiene una

conclusión falsa.

1.11.4 Equivalencias del condicional

Las seis afirmaciones siguientes, significan lo mismo:

1)

2) P⊆Q

3) p es suficiente para q

4) q es necesario para p

5) Si p, entonces q

6) Solo si q, entonces p

7) q si p

8) p solo si q

9) q siempre que p

La diferencia entre una condición necesaria y una suficiente se puede explicar

mediante los siguientes ejemplos:

Ejemplo 1.15

La condición necesaria para que un número natural n sea divisible por 6, es que
sea divisible por 3, o sea si n es divisible por 3 puede ser divisible por 6, pero no
siempre, por ejemplo 9 es divisible por 3, pero no por 6.

La condición suficiente para que n sea divisible por 6 es que sea divisible por 12.Si
el número es divisible por 12, también lo será por 6.No es posible encontrar un
número divisible por 12 que no lo sea por 6.

Ejemplo 1.16

Sea p: María está embarazada y q:Tuvo relaciones sexuales. Se pide escribir en

lenguaje coloquial, las expresiones de la implicación p → q

Solución

Las siguientes expresiones se refieren a la implicación a p → q

1. Si María esta´ embarazada,entonces tuvo relaciones sexuales .

 37

2. El hecho que María esté embarazada,implica que tuvo relaciones sexuales .

3. Para que María esté embarazada, es necesario que tenga relaciones sexuales

4. Tener relaciones sexuales es necesario, para que María esté embarazada

5. El hecho que María esté embarazada, es suficiente para asegurar que tuvo
relaciones sexuales. Se entiende, que para tener un bebé es necesario tener
relaciones sexuales, pero no es suficiente. Por otro lado, si María está embarazada,
es suficiente para asegurar que mantuvo relaciones sexuales.

6. María no estaría embarazada, a menos que tenga relaciones sexuales.

7. María debe tener relaciones sexuales, cuando quiera estar embarazada

8.Se puede afirmar que María tuvo relaciones sexuales, siempre que esté
embarazada .

9. María estará embarazada, sólo si tiene relaciones sexuales.

10 María debe tener relaciones sexuales, si quiere estar embarazada.

11 María tuvo relaciones sexuales, siempre que esté embarazada

1.11.5 Conjunto de verdad del condicional

Se representan en la figura 1.07 los conjuntos de verdad de Para

determinar el conjunto de verdad, del condicional de dos funciones proposicionales
, se examina la tabla de verdad del condicional, y se observa que
es verdadero, cuando p es falso o q sea verdadero..Esto sugiere la siguiente
conclusión:

TEOREMA 4

| (1.04)

Una prueba formal de este teorema se presenta más adelante,en el ejemplo 1.27

Q P

Figura 1.07 Representación de ) = P⊆Q

 38

Observando la figura 1.07,se puede comprender :

Para que x esté en Q, es suficiente que esté en P. No hay ninguna posibilidad de

que x estando en P no esté en Q

Para que x esté en P,es necesario que esté en Q. Es posible que x esté en Q, y no
esté en P

Si x está en P,está en Q

Solo si x está en Q,está en P.

Ejemplo 1.17

Determinar el conjunto de verdad de la siguiente implicación:

”Si

Si P= {-1,1}, entonces Q={1} ,entonces por el teorema 4, el

conjunto de verdad de la implicación es

1.12 EQUIVALENCIA Y RELACIÓN

1.12.1 Definición de equivalencia

Dos proposiciones p y q son equivalentes, si cada una implica a la otra de una

manera bicondicional.

En símbolos la equivalencia se escribe: ( , y se lee p si y solo si q,

o q es condición suficiente y necesario para p,

.El bicondicional se define formalmente como una abreviación de la conjunción

( ⋀ .

1.12.2 Implicación bicondicional de la equivalencia

( será verdadera, si ambas p y q son verdaderas o falsas, y será falsa, si una

es verdadera y la otra falsa.

Por la anterior, la definición de la equivalencia se puede expresar como:

( ( ⋀ . (1.05)

Dado que la equivalencia se reduce a una implicación bicondicional, las siguientes

expresiones significan lo mismo:
 39

p es equivalente a q
p es necesario y suficiente para q

p si y solo si q

p precisamente cuando q

La siguiente tabla muestra los losibles valores de verdad de la equivalencia

P Q
V V V
V F F
F V F
F F V

Tabla 1.05.Tabla de verdad del bicondicional.

De la definición de equivalencia, se deducen las tres propiedades siguientes:

1.p es equivalente a p

2.Si p es equivalente a q ,q es equivalente a p

3.Si p es equivalente a q y q equivalente a r , p es equivalente a r

La demostración que dos expresiones son bicondicionalmente equivalentes, se

obtiene al construir las tablas de la verdad de las dos expresiones, y verificar que
son iguales. Por ejemplo es bicondicionalmente equivalente a ⋀ ) ⋁ (

La noción de equivalencia se refiere solamente a dos proposiciones. La

equivalencia de otros conceptos fundamentales de matemáticas, es objeto de
estudio en los cursos de matemáticas, y se emplea la noción de relación entre dos
entes (objetos) matemáticos, denominados: a, b, p y q, AB y CD, los cuales pueden
ser: números, puntos, rectas, triángulos, etc. Se indica la relación, colocando un
símbolo matemático entre ellos, por ejemplo: a=b, a<b, p>q, AB CD, etc.

Cuando interesa una relación, sin especificar los significados de las partes de que se
componen, se escribe a*b y se lee a está relacionado con b.

Ejemplo 1.18

Considere las siguientes proposiciones: p:La figura es un triángulo y q: La figura

tiene tres lados.Se pide escribir utilizando los conectivos: si,solo si,y si y solo si,las
siguientes proposiciones compuestas:
1.
2
3.
 40

Solución

1.La figura es un triángulo, solo si tiene tres lados.

2.La figura tiene tres lados,si es un triángulo

3.La figura es un triángulo, si y solo si, tiene tres lados.

Ejemplo 1.19

Sea q la proposición “n es un número divisible por 6”. Sea p la proposición:” n es un

número par y divisible por 3”. Se pide escribir las expresiones para (

Solución

p es equivalente a q,o sea: decir que un número n es divisible por 6,es equivalente
a decir que n es un número par y divisible por 3.

p es necesario y suficiente para q. La condición suficiente y necesaria para que un

número n sea divisible por 6, es que n sea par y divisible por 3.

p si y solo si q, o sea: un número n es un número par y divisible por 3, si y solo si, el

número es divisible por 6.

1.12.3 Relación entre objetos matemáticos

Una relación a*b entre dos objetos matemáticos, es una relación de equivalencia si y
solo si, se verifican las siguientes propiedades:

1.a*a

2.Si a*b, se verifica que b*a

3.Si a*b y b*c,entonces se verifica que a*c..

Por ejemplo, en matemáticas el signo = se emplea para significar que los símbolos
de los dos miembros son los mismos, o para indicar nombres distintos de la misma
cosa.

Por ejemplo, 5=2+3,significa que 5 y (2+3) son símbolos diferentes del número 5.

Del mismo modo, la igualdad { | , significa que los dos conjuntos

son idénticos.

Según esta definición, de a=b, se puede concluir que : a+c=b+c;

a-c=b-c; ac = bc; a/c=b/c, si c
 41

La noción de equivalencia se puede extender a las funciones proposicionales, para

analizar los conjuntos de verdad de la equivalencia .

Si en esta se sustituye un elemento de U que pertenezca a , se obtiene una

proposición verdadera, porque las dos partes de la equivalencia son verdaderas. Si
se sustituye un elemento de U que pertenezca a P’ , también se obtiene una
proposición verdadera, porque las dos partes de la equivalencia son falsas. Esta es
una prueba no formal del siguiente teorema.

TEOREMA 5

| (1.06)

Una prueba formal de este teorema se hará en el ejemplo 1.22.

Ejemplo 1.20

Sea .
Se pide determinar el conjunto de verdad de .

Solución

P={-1,1};Q={1}.P’=

Aplicando el teorema 5,se obtiene:

1.13 TAUTOLOGÍA

Se pueden combinar las expresiones ⋁ ⋀ ,para formar

expresiones más largas.

Si p y q son proposiciones específicas,estas expresiones son también proposiciones,

cuyos valores de verdad se pueden determinar a partir de las técnicas estudiadas.

Suele ser útil tratar estas proposiciones, sin especificar lo que significan las
proposiciones p y q, y ver las conclusiones que se pueden deducir.

1.13.1 Definición de fórmula

Una fórmula es una expresión, que contiene un número finito de proposiciones : p, q,

r, etc. y un número finito de operaciones lógicas: ⋀,⋁, , , , y su resultado también
 42

es una proposición,cuando se sustituyen las proposiciones, por los valores de

verdad de cada una de ellas

El valor de verdad de una fórmula,depende de los valores de verdad de las

proposiciones específicas,que sustituyan las proposiciones

1.13.2 Definición de tautología,contradicción y contingencia

Una fórmula se denomina tautología, si y solo si, se convierte en una proposición

verdadera, cuando se sustituyen las proposiciones por proposiciones específicas
de cualquier valor.En lógica común, a las proposiciones que forman una tautología,
se les denomina lógicamente verdaderas

La comprobación de una tautología se puede hacer, mediante una tabla de valores

de verdad.

Una proposición compuesta(fórmula) es una contradicción, si es falsa para todas las

posibles combinaciones de valores de verdad de las proposiciones simples, que la
componen.

En lógica común a las proposiciones que forman una contradicción, se les denomina
lógicamente falsas.

Una formula es una contingencia,si sus valores de verdad dependen de los valores
de verdad de las proposiciones simples que las componen.

En lógica común a las proposiciones que forman una contingencia, se les

denomina proposiciones contingentes.

TEOREMA 6

p⋁( p), es una tautología. (ley del medio excluso) (1.07)

Demostración

P p p ⋁ ( p)
V F V
F V V

Tabla 1.06.Tabla de verdad de la ley del medio excluso.

.
TEOREMA 7

[ p ⋀ ( p)] es una tautología.(ley de contradicción) (1.08)

Demostración
 43

p p p⋀( p) [p⋀( p)
V F F V
F V F V

Tabla 1.07.Tabla de verdad, de la ley de contradicción

Si r y s son 2 fórmulas, cada una de las cuales contienen las proposiciones p, q,

etc. y si r s es una tautología,entonces cuando algunas proposiciones específicas
sustituyen a las proposiciones p, q, etc. en las fórmulas r y s, los valores de verdad
de r serán iguales a los de s.

1.13.3 Definición de fórmulas equivalentes

Dos fórmulas r y s son equivalentes, si y solo si el valor de verdad de r es igual al de

s, cualquiera que sea la proposición que sustituya a sus respectivas variables.

De esta definición se infiere,que una fórmula r se puede reemplazar en un

razonamiento lógico por una fórmula s equivalente.

TEOREMA 8

Dos fórmulas r y s son equivalentes, si y solo si r s es una tautología.

TEOREMA 9

p q es equivalente a [p ⋀ q] ⋁ [( p) ⋀ ( q)] (1.09)

Demostración

p q p q (*) p⋀q p q ( p)⋀ q) (p⋀q)⋁[( p)⋀( q)(*)

V V V V F F F V
V F F F F V F F
F V F F V F F F
F F V F V V V V

Tabla 1.08.Tabla de verdad de la definición de equivalencia

La equivalencia se deduce de la igualdad de los valores de verdad,en las dos

columnas que tienen asterisco (*)

Las tautologías tienen consecuencias importantes,para las funciones

proposicionales que se derivan de ellas.
 44

Si se tiene una tautología t con proposiciones p, q, r, y se sustituyen las

proposiciones p, q, por las funciones proposicionales , etc. se obtiene una
función proposicional .

Debido a que t es una tautología,se infiere que . será verdadera, cuando en ella la
variable se sustituya por un elemento del conjunto universal.

TEOREMA 10

Sea t una fórmula que es una tautología, entonces la función proposicional derivada
, es verdadera para todo x U.

Se puede expresar esta conclusión en dos formas diferentes:a) es verdadero.

b){x| } = U

Ejemplo 1.21

Aplicar el teorema 10 a las tautologías de los teoremas 6 y 7.

Solución
.
El teorema 6 expresa:

p ⋁ ( p) es una tautología y de este se obtiene la siguiente conclusión:

[ ⋁( )] es verdadero o sea {x| ⋁( )}=U.

Aplicando el teorema 2 a esta última expresión, se obtiene:

{x| } U {x| } = U.

Si a esta expresión se le aplica el teorema 3 se obtiene:

P U P’= U , donde P={x| }.

1.13.4 Funciones proposicionales equivalentes.

Dos funciones proposicionales se llaman equivalentes, si y solo si, sus conjuntos de

verdad son idénticos.

De esta definición y del estudio anterior, se pueden establecer los siguientes

teoremas:

TEOREMA 11

Dos funciones proposicionales y son equivalentes, si se derivan de las fórmulas

r y s equivalentes.
 45

TEOREMA 12

Si y son equivalentes, se puede reemplazar a por ,en cualquier

razonamiento lógico.

Ejemplo 1.22

Aplicar el teorema 11 para demostrar el teorema 5

Solución

Del teorema 9 se infiere:

p q es equivalente a [p ⋀ q] ⋁ [( p) ⋀ ( q)].

Se reemplaza a p y q por y y se aplica el teorema 11, y la definición de

funciones proposicionales equivalentes, y se obtiene:
{ | }={ |[ ⋀ )] ⋁ [( ⋀( )]

Aplicando los teoremas 1, 2, y 3, y denominando P y Q a los conjuntos de verdad de

y , entonces se simplifica el miembro derecho de la igualdad y se obtiene:

{x| )} = {x|[ ⋀ ⋁ [( ⋀( P ∩ Q) U (P’ ∩ Q’) QED

Esta es una demostración formal del teorema 5

1.14 NEGACIONES DE PROPOSICIONES COMPUESTAS

Se analiza la negación de las proposiciones compuestas.

TEOREMA 13

Las negaciones de las proposiciones compuestas,se pueden expresar bajo las

siguientes formas:

Fórmula Negación
Conjunción p⋀q ( p) ⋁ ( q) (primera ley de De Morgan)
Disyunción p⋁q ( p) ⋀ ( q)(segunda ley de De Morgan
Equivalencia p q ( p) q o p ( q)
Implicación p q p ⋀ ( q)
 46

Tabla 1.09.Tabla de las negaciones, de las operaciones de la lógica proposicional.

Ejemplo 1.23

a)El pájaro es amarillo, y la fruta roja

Negación
El pájaro no es amarillo, o la fruta no es roja

b)La temperatura está alta, o tengo fiebre

Negación
La temperatura no esta alta, y no tengo fiebre

c)3x3=9, es equivalente a 4x3=12

Negación
3x3 es diferente de 9, es equivalente a 4x3=12

d) Si estudio, apruebo

Negación
Estudio, y no apruebo

1.14.1 Negaciones de proposiciones con cuantificadores

Proposición Negación
Todos los hombres son felices Algunos hombres no son felices
Algunos niños son scouts Ningún niño es scout

Negaciones incorrectas
Todos los hombres no son felices
Algunos niños no son scouts
No todos los niños son scouts

La imprecisión de las expresiones <<todos …..no …..>>y <<no todos….>>hacen

complicados los problemas lógicos.

En lugar de decir :<<no todos los hombres hablan inglés>> se debe decir <<algunos
hombres hablan inglés>>.

En lógica es conveniente expresar la negación de <<algún x es…>>. como <<ningún

x es ..>> en lugar de <<todos los x no son …>>, y la negación de <<todos los x
son…> como <<algún x no es …> y así se evita cualquier ambigüedad.
 47

Estas reflexiones conducen al siguiente teorema:

TEOREMA 14

Las negaciones de funciones proposicionales con cuantificadores, se expresan

por las siguientes equivalencias:

( ( ) (1.10)

( ) ( ) (1.11)

Demostración

Se prueba solo la primera equivalencia(1.10)

De la definición del cuantificador se tiene:

(1)
es verdadero, si y solo si, P es el conjunto U
es falso, si y solo si, P no es el conjunto U.
Negando las proposiciones (1) e invirtiendo los valores, se obtiene:

(2)
( ) es verdadero, si y solo si, P no es el conjunto U
( ) es falso, si y solo s,i P es el conjunto U.
Considerando el miembro de la derecha del teorema, se tiene por definición:

(3)
( ) es verdadero, si y solo si, P no es el conjunto vacío( φ).
( ) es falso, si y solo si, P es el conjunto vacío (φ).

Sustituyendo en las proposiciones (3) por , se obtiene:

(4)
( ) es verdadero si y solo si P’ no es el conjunto vacío( φ), o sea P no es el
conjunto U
.
( ) es falso si y solo si P’ es el conjunto φ, o sea P es el conjunto U.

Dado que las proposiciones (2) y (4) son idénticas, se verifica la primera de las dos
equivalencias del teorema 14.

Otra demostración

Otra alternativa para esta demostración es la siguiente:

 48

La expresión ( se lee como:

”es falso que para todos los x se cumpla ;

También se puede leer como:

“no es el caso que para todos los x , es verdadera”.

Si no es el caso que todo x satisfaga ,debe acontecer que al menos una de las x
debe fallar, para satisfacer .En otras palabras para al menos un x, debe ser
cierto.

En símbolos esto se escribe como: ( ) es cierto.

Por lo anterior ( ) ( ).

Si ahora se supone que ( ) es verdadero, entonces habrá un x para el cual

no se cumple, y por lo tanto no se satisface para todas las x.

En otras palabras es falso que se cumple para todo x, y esto se escribe en

símbolos como: (

Por lo anterior ) ).

De las dos implicaciones anteriores, se deduce la equivalencia.

Ejemplo 1.24.

1) Sea p la proposición “los carros son de color rojo”.Se pide formar la negación de:
“todos los carros son de color rojo”.

Solución:

Se asume ( es verdadero, o sea no es el caso que es verdadero.

Dicho de otra manera, es falso que todos los carros sean de color rojo, o sea al
menos un carro no es de color rojo.

Por lo tanto se puede afirmar, que al menos un carro no es de color rojo es una
proposición verdadera.

En símbolos se puede expresar como: ( ).

Por lo tanto: ( implica ( )

Ejemplo 1.25.
.
 49

Formar la negación de:Algún deporte es peligroso y toda clase de cine es aburrido.

Solución:

Se escribe la negación en su forma primaria, aplicando el teorema 13:

[ (Algún deporte es peligroso)] o [ (toda clase de cine es aburrido)].

Aplicando el teorema 14, resulta:

Todo deporte no es peligroso o alguna clase de cine no es aburrido.

Ningún deporte es peligroso o alguna clase de cine no es aburrido.

Ejemplo 1.26.

Formar la negación de:

Solución:

= ⋀ = ⋀

1.15 LEYES DE EQUIVALENCIA LÓGICA

1.15.1 Definición de equivalencia lógica

Sean p y q dos proposiciones cualesquiera, se dice que p y q son lógicamente

equivalentes, lo cual se denota por p⇔ q (o bien por p ≡ q), cuando p y q poseen la
misma tabla de verdad.

Las leyes de equivalencia lógica son muy útiles para establecer si una proposición
es lógicamente equivalente a otra proposición

Las leyes de equivalencia se pueden demostrar utilizando las tablas de verdad, o

mediante procedimientos deductivos.

Todas las tautologías son leyes de equivalencia.

1.15.2 Algunas leyes de equivalencia lógica y sus aplicaciones

En otros casos, es necesario simplificar una proposición compuesta dada , en otra

mas simple equivalente desde el punto de vista lógico.
 50

La necesidad de realizar esta simplificación se debe, a que la proposición

compuesta puede ser redundante en la cantidad de conectores, y de proposiciones
simples que la conforman.

Ley Denominación

≡V
ó

ó
í

ó ó

Tabla 1.10 Leyes lógicas equivalentes

En el siguiente ejemplo se muestra como simplificar una proposición compuesta, en

otra más sencilla y equivalente

Ejemplo 1.27.

Demostrar que ¬[¬(p r) r ] ¬(q → r) ≡ (p q) ¬r.

Demostración

Se parte de P≡¬[¬(p r) r] ¬(q → r),y se aplican las equivalencias lógicas de la

tabla 1.10, para llegar a Q≡ (p q) ¬r.

P≡¬[¬(p r) r] ¬(q → r) Justificación

P≡ ¬[¬[(p r) ¬r]] ¬(q → r) Ley de De Morgan para

 51

P≡ ((p r) ¬r) ¬(q → r) Doble negación

P≡ (¬r (p r)) ¬(q → r) Ley conmutativa para

P≡ ((¬r p) (¬r r)) ¬(q → r) Ley distributiva para

P≡ ((¬r p) F) ¬(q → r) Ley de contradicción

P≡ (¬r p) ¬(q → r) Ley de identidad para

P≡ (¬r p) ¬(¬q r) Equiv. para la implicación

P≡ (¬r p) (¬(¬q) ¬r) Ley de De Morgan para

P≡ (¬r p) (q ¬r) Doble negación

P≡ (¬r p) (¬r q) Ley conmutativa para

P≡ ¬r (p q) Ley distributiva para

P≡ (p q) ¬r Ley conmutativa para

P≡ Q≡ (p q) ¬r. QED

Ejemplo 1.28

Utlizar la Ley de equivalencia para el condicional, y demostrar el Teorema 4

Demostración

, Ley de equivalencia para el condicional

| | Ley de equivalencia del condicional

para funciones proposicionales

{x| }=P’ Teorema 3

{ ⋁ }=PUQ Teorema 2

| Teorema 2, Teorema 3(Q.E.D.)

1.16 TRADUCCIÓN DEL LENGUAJE NATURAL AL LENGUAJE DE

LA LÓGICA

La tarea de traducir un escrito del lenguaje natural al lenguaje de la lógica,

requiere de práctica,ya que no existen reglas fijas sobre como realizar este trabajo.El
 52

primer paso a realizar es comprender lo que se quiere traducir, y para ello se pueden
seguir las siguientes recomendaciones:

1.Leer con detenimiento el texto, en el lenguaje natural que se desea traducir,

prestando especial atención al sentido de cada frase.
2..Identificar en la lectura del texto las proposiciones simples, y después los
conectores, que puedan existir entre dichas proposiciones simples.

3.La identificación de los conectores se pueden realizar, si se conoce el equivalente

de cada conector en el lenguaje natural a saber:

a.La conjunción de dos proposiciones p q,se puede expresar en lenguaje natural

por una de las siguientes expresiones: 1. p y q; 2. p pero q; 3. p no obstante q;4. p
sin embargo q.

Por otro lado, la palabra “y” no siempre denota una conjunción, si no se aplica para
unir dos proposiciones

b.La disyunción se expresa por:1).p o q; 2.) Al menos p o q.

c. Las expresiones para el condicional se muestran en el ejemplo 1.16.

4. Listar las proposiciones simples que se identifiquen, asignándole una letra a cada
una de ellas, cuidando que no existan letras repetidas. En general las proposiciones
simples se identifican en forma afirmativa.

Por ejemplo, si se tiene una frase como “el niño no quiere jugarr”, se identifica como
p : “el niño quiere jugar” y la frase inicial se simboliza usando la negación, es decir,
¬p.

1.17. ARGUMENTACIÓN LÓGICA

1.17.1 Definición de argumento lógico

Un argumento lógico es una estructura proposicional de la forma

, en donde , , , son proposiciones que se denominan premisas, y
a se le conoce como la conclusión.

El argumento es válido ,si la proposición es una tautología.

También se dice que el argumento es válido,cuando la conclusión es una

consecuencia lógica de las premisas, o sea que al utilizar las leyes de
equivalencia lógica a las premisas, se puede obtener la conclusión.

De la tabla de verdad del condicional (tabla 1.04) se deduce, que la única

posibilidad para que el condicional sea falso,es que el antecedente sea verdadero
y el consecuente falso.Por lo tanto, si al menos una de las premisas es falsa,
 53

entonces será una proposición falsa, y por tanto la proposición

será una tautología, independientemente del valor de verdad
de q, ver tabla 1.04

El único caso en que el argumento(razonamiento) es inválido, ocurre cuando todas

las premisas son verdaderas y la conclusión es falsa

Ejemplo 1.29

Demostrar que p (p→ q) ⇒ q, es un argumento válido

Demostración

Se debe demostrar que p (p→ q) ⇒ q es una tautología,utilizando:

a)Tablas de la verdad.

b) Leyes de equivalencia lógica

a.Tabla de verdad

Premisas Conclusión
P q p→ q p (p→ q) Q p (p → q) → q
V V V V V V
V F F F F V
F V V F V V
F F V F F V

b. Leyes de equivalencia lógica

p (p→ q) → q Justificación

≡ p (¬p q) → q Equiv. para la implicación

≡ ¬[p (¬p q)] q Equiv. para la implicación

≡ [¬p ¬(¬p q)] q Ley de De Morgan para

≡ [¬p (¬(¬p) ¬q)] q Ley de De Morgan para .

≡ [¬p (p ¬q)] q Doble negación

≡ [(¬p p) (¬p ¬q)] q Ley distributiva para

≡ [(p ¬p) (¬p ¬q)] q Ley conmutativa para

 54

≡ [V (¬p ¬q)] q Ley de medio excluido

≡ [(¬p ¬q) V ] q Ley conmutativa para

≡ (¬p ¬q) q Ley de identidad para

≡ ¬p (¬q q) Ley asociativa para

≡ ¬p (q ¬q) Ley conmutativa para

≡ ¬p V Ley de medio excluido

≡V Ley de dominación para

Queda demostrado que p (p→ q) → q es una tautología

1.17.2 Reglas de inferencia en las argumentaciones

Una regla de inferencia es una instrucción, para obtener proposiciones verdaderas

adicionales, de una lista dada de proposiciones verdaderas.

Se pueden visualizar las reglas de inferencia como herramientas,para construir

nuevas proposiciones verdaderas a partir de unas dadas.

A continuación se presentan algunas reglas de inferencia, útiles para este curso

Regla Nombre
p (p → q) ⇒ q Modus ponendo ponens
¬q (p → q) ⇒ ¬p Modus tollendo tollens
(p q) ¬p ⇒ q Silogismo disyuntivo
(p q) ¬q ⇒ p
(p → q) (q → r) ⇒ (p → r) Silogismo hipotético
(p q) ⇒ p Ley de simplificación
(p q) ⇒ q
p⇒p q Ley de adición
p,q ⇒ p q Ley de conjunción
(p → q) (¬p → q) ⇒ q Ley de casos

Tabla 1.11 Reglas de inferencia lógica

Las reglas inferenciales modus ponens: si p es cierto, y si p entonces q (p implica a

q) es cierto, entonces q es verdadero y la modus tollens: si no q es cierta, y si p
entonces q es cierta, entonces se puede inferir que no p es cierta,aparecen en
tempranas edades de los niños.
 55

1.18 APLICACIONES DE LA TAUTOLOGÍA A LA TEORÍA DE

CONJUNTOS

Las tautologías estudiadas permiten deducir fórmulas importantes de la teoría

de conjuntos

TEOREMA 15

Cada subconjunto de U (conjunto universal) es el conjunto de verdad de una función

proposicional.

Demostración:

Sea A un subconjunto de U. Entonces A es el conjunto de verdad de la función

proposicional , y por lo tanto x A.

TEOREMA 16

Para todo P, Q, y R que sean subconjuntos de U, se cumple:

(1.12)

Demostración:

Se parte de la siguiente tautología: [p ⋀ (q ⋀ r)] [(p ⋀ q) ⋀ r].

Se sustituyen las variables de esta tautología por funciones proposicionales, y se
obtiene la siguiente función proposicional, que es verdadera para todo U

[ ⋀( ⋀ )] [( ⋀ ⋀ . (a)

Por lo tanto: { | ⋀( ⋀ )} = { | ⋀ ⋀ }.

Se aplica el teorema 1, y se obtiene: { | ⋀( ⋀ )} = P .

Y se sabe que: { |( ⋀ )⋀ } = (P .

Por lo tanto de (a), se obtiene:

P .

TEOREMA 17

Si dos fórmulas con proposiciones p, q, r, etc. son equivalentes, y contienen

únicamente operadores ⋀, ⋁, y , entonces se obtiene una relación verdadera en los
subconjuntos arbitrarios: P, Q, R, etc. de U, remplazando a p por P, a q por Q, a r
por R etc. a ⋀ por ⋁ ,a por ’ , y a por =.
 56

TEOREMA 18

(P⊆ (1.13)

Demostración

Para demostrar este teorema, se debe demostrar que si P⊆ es falso, entonces

es falso, y que si es falso, entonces P⊆ es falso.

Se supone inicialmente que P⊆ es falso. Si esto se cumple, entonces hay un x

para el que es verdadero y es falso. Para tal x, es falso, y por lo tanto
es falso.

Recíprocamente si se supone que es falso, entonces existe algún x

para el cual es verdadero(Teorema 14), o sea es falso,la
existencia de este x demuestra que P⊆ es falso.

1.19 RECÍPROCA Y CONTRA RECÍPROCA DEL CONDICIONAL.

En matemáticas, los teoremas pueden ser de dos clases: específicos y generales.

Un teorema específico es el que establece alguna propiedad de un objeto particular,

tal como 7 es un número primo, o 3,1416 es un valor aproximado de .

Un teorema general expresa una relación, que es verdadera para todos los
miembros del conjunto de objetos establecido, tal como: dados dos números reales
cualesquiera a y b, se verifica que a +b = b +a; los ángulos básicos de un triángulo
isósceles son iguales.

Se estudian los teoremas generales, que tienen la forma ( ) o que pueden

escribirse de esta forma. Por ejemplo, el segundo de los teoremas generales antes
mencionados, se puede escribir de la siguiente manera: (triángulos): si x es
isósceles, entonces los ángulos básicos de x son iguales.

A partir del condicional ( ) se pueden establecer dos condicionales

relacionados con este

Recíproco (1.14)

Contra recíproco (1.15)

Si se supone que es verdadero, ¿qué se puede afirmar sobre la

verdad de su recíproco y contra recíproco?
 57

Como primera aproximación,se consideran los diagramas correspondientes al

teorema 18 (figura 1.08)

’
P P’ P
Q P Q

Q’

a) b) c)

Figura 1.08. Ilustración de los conjuntos de verdad del condicional y su reciproco

De la inspección de la figura 1.08 a) y b) resulta evidente, que un condicional y su

recíproco son afirmaciones completamente independientes, y que de la verdad de
uno, no puede inferirse la verdad del otro. Solamente, si y solo si , P=Q, entonces el
recíproco de un condicional verdadero es verdadero

TEOREMA 19

Un condicional y su contra recíproco son proposiciones equivalentes.

Demostración

De la figura 1.08 a) y c) se puede deducir, que el condicional y su contra recíproco

son equivalentes. En esta figura, la región exterior al círculo que contiene a P es el
conjunto P’, y la región exterior al círculo que contiene a Q es Q’. Por lo tanto Q’⊆ ,
esta configuración se muestra en la figura 1.08c).Aplicando el razonamiento inverso,
se pasa de la figura 1.08c) a la 1.08a).

Si la demostración del contra recíproco de un teorema es más fácil, que la del

teorema dado, el teorema 19 valida la demostración.

Los condicionales se pueden expresar de diferentes maneras, y para reconocerlos

se utiliza el siguiente ejemplo:

Ejemplo 1.30

La implicación :<< Si un polígono es un cuadrado, entonces es un rectángulo>>. Se

puede expresar de las siguientes formas:
 58

El hecho de que un polígono sea un cuadrado, es condición suficiente para que

sea un rectángulo.

El hecho de que un polígono sea un rectángulo, es condición necesaria para que

sea un cuadrado.
Un polígono es un cuadrado, solo si es un rectángulo.

La primera de estas frases se puede expresar también como:

Una condición suficiente para que un polígono sea un rectángulo, es que sea un
cuadrado.

Una condición necesaria para que un polígono sea un cuadrado, es que sea un
rectángulo.

Del ejemplo anterior se infiere, que el recíproco de un condicional se puede obtener

de cualesquiera de las siguientes formas, dependiendo del modo en que se exprese
el condicional dado:

a. intercambiando por

b. intercambiando P por Q

c. remplazando <<necesario>>, por <<suficiente>>

d. remplazando <<si>> por <<solo si>>

e.remplazando <<solo si, por si>>.

1.20 MÉTODOS DE DEMOSTRACIÓN EN MATEMÁTICAS

1.20.1 Demostración directa (

Se le conoce como el método de la hipótesis auxiliar o demostración condicional. .

Si una proposición p es verdadera en una teoría, se puede demostrar que otra

proposición q es verdadera, mediante una argumentación válida, que utilice las
premisas disponibles de la teoría.Este es un método deductivo.

La metodología que se utiliza es la siguiente:

1.Se supone verdadera la proposición p (antecedente o hipótesis auxiliar)

2.Se construye a partir de la hipótesis, una argumentación lógica(válida) que utilice

los axiomas y teoremas de la teoría, para obtener mediante las reglas de validez y
de inferencia, la validez de q

3.En este momento concluye la demostración, y se establece la validez de

 59

En la aplicación del método directo, es recomendable tener en cuenta los siguientes

aspectos:

a.El método directo se aplica a la demostración de teoremas correspondientes a

una implicación, sin embargo no siempre se puede alcanzar la conclusión que se
pretende, y por ello se utilizan otros métodos.

b.Se puede fundamentar de una manera intuitiva la validez del método, en el hecho
de que la implicación es falsa, únicamente en el caso en el cual partiendo de un
antecedente verdadero se llega a una conclusión falsa, por ello cuando se asume
verdadero el antecedente y si la implicación cumple con las reglas de validez y de
inferencia, entonces necesariamente la conclusión es verdadera.

c.Es importante tener presente que al aplicar este método,no se determina la

validez absoluta del consecuente , sino su validez relativa, ya que se asume como
verdadero el antecedente

d.Se recomienda como estrategia, que si la conclusión deseada de un razonamiento

es una proposición condicional, se agregue el antecedente como nueva premisa, y
se traslada la demostración varios lugares hacia la derecha, para finalmente tratar
de deducir el consecuente, del conjunto original de premisas, más la premisa
agregada (hipótesis auxiliar); si esto es posible queda validada la proposición
condicional.

e.Para construir una demostración directa se deben preparar una serie de pasos,
justificados en definiciones, axiomas, leyes, teoremas, etc, que conduzcan a la
conclusión deseada. No hay metodologías predeterminadas para elaborarlos, ya
que son la práctica y la creatividad las herramientas fundamentales para alcanzar el
logro.

En la construcción de demostraciones matemáticas se suelen emplear dos leyes: La

ley de separación y la ley de sustitución.

1.20.1.1 Ley de separación

Se supone que es verdadera, y que si a pertenece al conjunto de

verdad P de entonces a debe pertenecer al conjunto de verdad Q de .

Esta ley es otra manera de expresar el teorema 18

1.20.1.2 Ley de sustitución

En cualquier paso de una demostración, se puede reemplazar una proposición o una

función proposicional, por una equivalente.

Esta ley tiene dos consecuencias importantes:

 60

a.En cualquier paso de una demostración, se puede remplazar una implicación por
su contra recíproca.

b. En lugar de probar que es verdadero, se puede probar la verdad de

la proposición equivalente: P⊆Q.

Generalmente en las demostraciones de teoremas, es esencial el uso de esta

segunda consecuencia.

Se quiere probar la siguiente proposición:

: si x es par , entonces es par .

Para ello se transforma la proposición a probar en :

{x|x es par } ⊆ {x| es par}, y esta es la demostración de inclusión estudiada

anteriormente.

Si no se conoce esta conversión, se suele comenzar con:

<< x es par por hipótesis>> y luego se procede a probar que es par .

Las demostraciones directas se pueden desarrollar de muchas maneras, pero la

siguiente es la más usual:

Se supone verdadera la hipótesis y entonces se utilizan los axiomas, definiciones o

teoremas demostrados anteriormente, en una argumentación lógica válida y se
concluye en lo que se quiere demostrar.

Ejemplo 1.31

Dados (1)

(2) )

(3)

Entonces se trata de demostrar:

(4) o P⊆S

Demostración

(1) Se supone que x P, o << es verdadero por hipótesis>>

(dado)

(2) es verdadero para P (separación

 61

(3) ) (dado).

(5) (sustitución, contra recíproco del dado)

(6) es verdadero para x P (separación)

(7) (dado)

(8) es verdadero para x P (separación)

(9)P⊆S (definición) QED

Ejemplo 1.32

Si a, b son números pares, entonces a + b es un número par".

Demostración:

Se supone que a y b son números pares

por lo tanto: a = 2n, n Z por definición de número

par

b=2k, k Z por definición de número par

a+b= 2n+2k ley uniforme de la suma

a+b=2(n+k), (n+k) Z ley distributiva del producto

(a+b) es un número par definición de número par

por lo tanto:

Si a, y b son números pares, entonces a + b es un número par. QED

Ejemplo 1.33

Utilizar el método directo, para demostrar el siguiente teorema: la suma de tres

enteros consecutivos es un múltiplo de tres.

Demostración

Si a, b, y c, son números enteros consecutivos, entonces:

a=n, n Z; b=n+1; c=n+2 por la definición de números enteros

a+b+c= n+(n+1)+(n+2) por la ley uniforme de la suma
 62

a+b+c=3n+3 por la ley asociativa y conmutativa

a+b+c=3(n+1) por la ley distributiva del producto

n+1 Z por la ley de clausura de los números enteros

a+b+c es múltiplo de tres (QED) por la definición de múltiplo

1.20.2 Demostración indirecta

Se utiliza a veces, cuando se presentan dificultades en elaborar una demostración

directa.

El método se fundamenta en el hecho que si p es falsa, entonces p es verdadera

El mejor modo de demostrar la falsedad de p, es verificar que no es compatible
con las afirmaciones dadas. Así se supone que p es verdadera, y si el
razonamiento que se hace en base a esta hipótesis y otras proposiciones
conocidas, conduce a una contradicción, entonces se puede inferir que p es
verdadera.

Por ejemplo, para probar que es verdadera, se supone

es verdadera.

Al aplicar las reglas para formar negaciones, se tiene: ⋀( } es verdadera.

Por definición de la conjunción, y por interpretación del cuantificador, se puede
afirmar que existe un x para para el cual y son verdaderas. Esto genera una
contradicción, con la tabla de verdad del condicional: si la hipótesis es verdadera y la
conclusión falsa, el condicional es falso.

Por lo tanto: ⋀ )} es falsa y en consecuencia es verdadera.

1.20.3 Demostración mediante el uso del contra recíproco

Ejemplo 1.34

Se pide demostrar el siguiente teorema: si el cuadrado de un número es impar,

entonces el número es impar.

Demostración

p=el cuadrado de un número es impar

q=el número es impar

Se pretende demostrar la implicación

 63

Se aplica inicialmente el método directo:

es un número impar por hipótesis

por definición de número impar

√ Extracción de la raíz cuadrada

De esta expresión no se puede afirmar nada, y en consecuencia se adopta como

estrategia para demostrar el teorema, utilizar el contra recíproco de la implicación

Se asume la validez de la negación de lo que se pretende demostrar:

a es un número par hipótesis del contra recíproco

a=2n; n Z definición de número par

= definición de número par

Se comprueba la validez de y por la equivalencia entre una implicación y su

contra recíproca, se infiere la validez de q : el número es impar(QED)

1.20.4 Demostración por contradicción o reducción al absurdo

La contradicción es la incompatibilidad entre dos proposiciones, esto es cuando

pretenden parecer válidas una proposición y su negación, por ejemplo no se puede
decir que el tiempo es lluvioso y seco en un mismo momento.

Una teoría es contradictoria o inconsistente, cuando se puede demostrar la

existencia de una contradicción en la teoría.

El método de demostración por reducción al absurdo, se fundamenta en la

condición de no contradicción para una teoría, y la estrategia a seguir consiste en
suponer como válida la negación de la proposición a demostrar, y razonando
correctamente a partir de esta hipótesis, se trata de generar una contradicción, lo
que permite afirmar que, si la hipótesis o sea la negación de la proposición que se
pretende demostrar es falsa, porque genera una contradicción, entonces la
proposición inicial es verdadera

La validez de este método se fundamenta en el siguiente teorema:

Si ⋀ es verdadera, entonces es verdadera

Se demuestra el teorema utilizando el método directo:

 64

⋀ Se asume verdadera la hipótesis

⋀ equivalencia del contra recíproco

⋁ reglas de la negación

⋁ verdadera, por ley del medio excluso

verdadera,por ley de implicaciónQED

Ejemplo 1.35

Demostrar, utilizando el método de reducción al absurdo, el siguiente teorema: Si

es un número par, entonces a es un número par.

Demostración

es impar( ;se asume como válida la negación de lo que se quiere demostrar

;n ;definición de número impar.

;ley uniforme del producto

leyes distributiva, conmutativa y asociativa.

ley distributiva del producto
ley de clausura del producto

número impar por definición

es impar por conclusión, pero es par por definición(contradicción)

Por lo anterior es un número par, por reducción al absurdo(QED)

Ejemplo 1.36

Demostrar que el número√ es irracional

Demostración

Se asume como verdadera: √ es un número racional

√ p y q no tienen factores comunes; Por definición de número racional

⁄ Elevando al cuadrado ambos lados de la igualdad

= Multiplicando ambos lados de la igualdad por

 65

es par y también p Por la demostración anterior

Por definición de número par

(6) 2 Sustitución de (5) en (3)

(7) = Elevando al cuadrado

(8) = Dividiendo por 2

(9) es par y también q Por demostración anterior.

Se demuestra que p y q son pares, y por lo tanto tienen un factor común(2),lo que
contradice a la proposición (1).

Por lo anterior es falsa , y p es verdadera:

√ es un número racional(QED)

1.20.5 Demostración por inducción

En ocasiones se presentan situaciones en la teoría de los números enteros, en las

que se pide demostrar proposiciones matemáticas como la siguiente: n ,
1+2+3+···+ . En estos casos, como no se puede demostrar la
verdad de la proposición,comprobándola en un número finito de casos,se debe
construir una demostración general,por otros medios.

Para garantizar, que después de haber comprobado la verdad de la proposición para

varios casos, y tener la certidumbre que no se va a presentar un caso, donde no se
cumpla, se debe formular un axioma que de sustento a esta situación.

Una analogía que ayuda en este caso, es la de pensar que los enteros positivos son
como los peldaños de una escalera infinitamente alta, con su base en tierra y su fín
en un sitio no conocido.El peldaño base es el 1,el siguiente es el 2, y así
sucesivamente.Para subir por esta escalera hasta un peldaño determinado,se deben
realizar dos pasos esenciales:1)Se deben colocar los pies en el peldaño inmediato
más bajo;2)Ser capaz de subir al peldaño siguiente.

El proceso anterior se formaliza mediante el siguiente axioma, denominado:Axioma

de la inducción matemática.

Sea un entero(positivo,negativo o cero) y el conjunto de los enteros mayores o

iguales que , o sea Si es un subconjunto de , con las dos
propiedades siguientes:1) contiene a . ;2)Para todos los enteros de , si
pertenece a entonces ,también pertenece a y por lo anterior se verifica que
el conjunto es igual al conjunto .
 66

Este axioma se puede se puede formular como un procedimiento operativo,que se

denomina :Principio de inducción matemática.

1.20.5.1 Principio de inducción matemática.

Sea un conjunto de números enteros definido como y una

proposición de la forma:Para todo de , .

Se puede demostrar la verdad de esta proposición, mediante el siguiente

procedimiento:
1)Se demuestra que para o sea es verdadera.
2)Se demuestra que para todo de , el condicional ,es verdadero

Ejemplo 1.37

Demostrar que para 1+2+3+···+

Demostración

Sea y :1+2+3+···+ .

Se demuestra que es verdadera.

2)Para todos los enteros

Entonces: +(k+1))=(k+1)(

(QED).

Por lo tanto, la proposición es verdadera para .

1.20.6 Demostración de existencia.

Un paso lógico a realizar antes de intentar resolver un problema, es determinar si el

problema tiene solución.

En el mundo real, muy diferente a la burbuja del mundo de la educación superior,

donde se asume que siempre los problemas propuestos tienen solución, y la
verdad es la respuesta del profesor, existen muchos problemas para los cuales no
hay solución.
 67

Un ejemplo de un problema matemático que no tiene solución es:

Hallar todos los enteros que satisfacen la siguiente ecuación; 7x+5=2x+9.

Para tener seguridad que se trabaja con problemas que tienen solución, los
matemáticos han desarrollado una serie de teoremas de existencia, que son de la
forma o sea hay un número x que satisface una propiedad (p) dada .

Un ejemplo importante de estos teoremas, es el siguiente:

(x es un numero real ) tal que, si a y b son números reales y a 0, entonces

ax+b=0.

Para probar este teorema se debe mostrar un número x, que tenga la propiedad
requerida.

El número x=-(b/a), satisface esta propiedad (la ecuación dada)

1.21 MÉTODOS DE REFUTACIÓN

Al pretender demostrar un teorema que se intuye es falso, se puede tratar de

refutarlo. Hay dos métodos de refutación:

a)Refutación por contradicción.

Se supone que la afirmación propuesta es verdadera, y se realiza un proceso

deductivo, que nos conduce a una afirmación que contradice un teorema conocido, y
entonces se puede inferir que la proposición dada es falsa.

Ejemplo 1.38

Refutar la afirmación :<<El cuadrado de un número impar es par>>

Todo número impar se puede expresar en la forma 2a+1, con a =número entero.
Todo número par se puede expresar como 2b, con b=número entero.

La afirmación dada implica que:

= 2b, para algún a y b

De el álgebra se puede afirmar ..Los dos miembros de la

ecuación representan al mismo entero, pero el de la izquierda no es divisible por 2
y el de la derecha si, lo que es una contradicción para la definición de igualdad.

b).Refutación mediante un ejemplo del contrario

Este método es adecuado, cuando se trata de refutar afirmaciones de la forma

Ejemplo 1.39.
 68

Por ejemplo:

La refutación de la anterior afirmación, se logra al mostrar un valor de x, que no

cumpla la afirmación. Por ejemplo x=1.

La refutación sirve para demostrar que la afirmación es falsa, más no que es válida
para todos los casos.

1.22 DEL ÁLGEBRA DE CONJUNTOS AL ÁLGEBRA DE BOOLE(2)

1.22.1 El álgebra de conjuntos.

En el álgebra de conjuntos se supone un conjunto universal U y todos sus

subconjuntos: A,B,C,..etc y el conjunto vacío , el cual es un subconjunto de U y
también de A,B,C, etc.

Se define en el álgebra de conjuntos,las siguientes operaciones:

a)La intersección de , como el subconjunto de U cuyos elementos pertenecen

simultáneamente a A y B;

b)La unión como el subconjunto de U,cuyos elementos pertenecen a A o a B

o a ambos; y

c) El complemento A’, como el subconjunto de U cuyos elementos no pertenecen a

A.

Las operaciones definidas presentan las siguientes propiedades:

a)La intersección y la unión son conmutativas: =: ; =

b)La intersección y la unión son asociativas: =:

=

c)Hay dos leyes distributivas:

Las identidades del álgebra de conjuntos se pueden demostrar, de dos

maneras:

a)Utilizando los diagramas de Venn;

b)Utilizando tablas análogas a las tablas de verdad,que se emplean para demostrar

las tautologías en el algebra proposicional.

El primer método se ilustra mediante el siguiente ejemplo

 69

Ejemplo 1.40

Demostrar la ley distributiva de la intersección: ,

utilizando los diagramas de Venn.

Demostración

Se supone que los conjuntos A,B,C, tienen las posiciones relativas mostradas en la
figura 1.09a) y se efectúa la operación indicada en la parte izquierda de la igualdad
de la ley distributiva.Al realizar , se obtiene la figura 1.09b),y al realizar
,se obtiene la figura 1.09c).

Al operar sobre la parte derecha de la igualdad A ∩ B se obtiene la figura 1.07d);

Al realizar la operación se obtiene la figura 1.09e)

Y al realizar , se obtiene la figura 1.09f), que es idéntica a la figura

1.09c),y aunque satisfactorio para la intuición, pero con poca rigurosidad
matemática, se demuestra la ley distributiva.

a) b) c)

d) e) f)

Figura 1.09 Diagramas de Venn

1.22.2 Tablas para definir las operaciones básicas en el álgebra de

conjuntos

Un método directo y riguroso muy utilizado en el álgebra de conjuntos, para

demostrar las identidades, es esencialmente el mismo que se utilizó en el algebra
proposicional, para probar las tautologías.

Se considera un subconjunto A de U y un elemento arbitrario de U.

 70

Si está en A se representa esta situación por el símbolo ;

Si no está en A se escribe el símbolo 0.

En el álgebra de conjuntos,los símbolos 1 y 0 corresponden a los valores de verdad

(V) o falsedad(F),del álgebra proposicional.

Si se tienen dos subconjuntos A y B, las posibles posiciones de un elemento

arbitrario ,se representan por la siguiente tabla

A B Interpretación
1 1 , está en ambos subconjuntos
1 0 está en A pero no B
0 1 está en B,pero no en A
0 0 no está en A,ni en B

Tabla 1.12.Tabla de equivalencia entre el algebra de conjuntos y el álgebra

proposicional

Según esta convención las tres operaciones básicas del álgebra de conjuntos,se
dfinen por las siguietes tablas:

Intersección

A B A
1 1 1
1 0 0
0 1 0
0 0 0
Tabla 1.13.Definición de la intersección en el álgebra de conjuntos

Unión

A B A
1 1 1
1 0 1
0 1 1
0 0 0
Tabla 1.14.Definición de la unión en el álgebra de conjunto

Complemento

A A’
1 0
0 1
Tabla 1.15.Definición del complemento en el álgebra de conjuntos
 71

Ejemplo 1.41

Demostrar la ley distributiva de la intersección: ,

utilizando las tablas equivalentes, a las tablas de verdad del álgebra proposicional.

Solución

A B C B A * A B A C (A B) (A C)*
1 1 1 1 1 1 1 1
1 0 1 1 1 0 1 1
0 1 1 1 0 0 0 0
0 0 1 1 0 0 0 0
1 1 0 1 1 1 0 1
1 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0
Tabla 1.16.Tabla de verdad para demostrar la ley distributiva de la intersección

Comparando las columnas señaladas con *, se demuestra la identidad, objeto del

problema.

1.22.2 Definición de una álgebra de Boole (7)

Se define una álgebra de Boole como un sistema abstracto formado por :

Términos no definidos: Un conjunto S de elementos no definidos A,B,C,etc,que

contiene al menos dos elementos distintos.

Operaciones no definidas: representadas por los símbolos , ’ , y denominadas

intersección,unión,y complementación respectivamente.

Axiomas

A1.CLAUSURA.
Si A y B son elementos del conjunto S, A son elementos
unívocamente definidos de S.

A2.ASOCIATIVIDAD.
Para toda terna A,B y C de elementos de S,se verifica:
a) (1.16)
b)A (1.17)
 72

A3.CONMUTATIVIDAD.
Para todo par A y B de elementos de S,se verifica:
a) (1.18)
b) (1.19)

A4.EXISTENCIA DE LOS ELEMENTOS NEUTROS

Existen dos elementos distintos de S,el O y el I,que satisfacen para todo A de S las
siguientes condiciones:
a) (1.20)
b) (1.21)
I se conoce como el elemento universal o elemento neutro para la intersección.
O es el elemento nulo o neutro para la unión

A5.EXISTENCIA DE LOS ELEMENTOS COMPLEMENTARIOS

Todo elemento de A que pertenece a S, posee un único elemento A',denominado
complemento con las siguientes propiedades:
a) (1.22)
b) (1.23)

A6.LEYES DISTRIBUTIVAS.
Para toda terna de elementos A,B;C,que pertenecen a S,se verifica:
a) (1.24)
b) (1.25)

CARACTERÍSTICAS DE LOS AXIOMAS

1.En los axiomas del álgebra de Boole se observa una dualidad completa, en el
sentido que si e se intercambian con y respectivamente,los axiomas no
varían.Por esto cuando se prueba un teorema en esta álgebra, se puede inferir
como cierto el teorema dual.

2.Estos axiomas son redundantes, puesto que algunos se pueden probar partiendo
de los otros. La elección de estos axiomas se hace por conveniencia en la
exposición, y debido a la analogía con los axiomas de un cuerpo.

3.Si A,B,C representan subconjuntos del conjunto universal U,entonces:

representa al conjunto vacío
I representa al conjunto universal U
, ,', tienen el mismo significado que en el álgebra de conjuntos.
Se evidencia la conexión del álgebra de Boole,con el álgebra de conjuntos

DEFINICIÓN

D1.La relación A⊆ B se define como equivalente a la proposición

1.22.3 Teoremas de una álgebra de Boole

 73

TEOREMA 1

(1.26)
Demostración

según A5a según A5b

según A4b según A4a

según A6a según A6b

según A5a según A5b

(QED) según A4b según A4a

TEOREMA 2

LEYES IDEMPOTENTES

(1.27)

Demostración

según A4
según A5b

según A6a

según A5a

(QED)

TEOREMA 3

LEYES DE MORGAN

(1.28)

Se debe demostrar que es el complemento de y por lo tanto se deben

cumplir las dos propiedades del axioma A5.
Para la propiedad A5a,setiene

Para la propiedad A5b,se tiene:

 74

TEOREMA 4

LEY DE INVOLUCIÓN

(1.29)

La demostración de este teorema se propone como problema.

TEOREMA 5

LEYES DE ABSORCIÓN

(1.30)

Demostración

según A6b,de derecha a izquierda

según Teorema 1

según definición de O

TEOREMA 6

(1.31)

La demostración de este teorema se propone como problema.

TEOREMA 7

Para todo A, O ⊆A ⊆ I
 75

Demostración

Según la definición D1, O⊆A es equivalente a ,que se verifica con el

teorema 1.

De igual manera ⊆ es equivalente a oa .

TEOREMA 8

Si ⊆ y ⊆ entonces ⊆ (1.32)

Demostración

⊆ es equivalente a y ⊆ a .Se debe demostrar que

según A5b y A4b

según A2a

Por definición e hipótesis

QED

TEOREMA 9

Si ⊆ y ⊆ , entonces (1.33)

Demostración

Las hipótesis son equivalentes a y .

De los teoremas 3 y 6 , ,es equivalente a

Por lo tanto de A5, es el complemento de

En consecuencia

TEOREMA 10

Sea Y = f(A,B),una función en las que Y, A, y B son elementos del álgebra de

Boole,elementos que pertenecen al conjunto {0,1}.

La función esta completamente definida por la tabla siguiente:

 76

A B f(A,B)

1 1 f(1,1)

1 0 f(1,0)

0 1 f(0,1)

0 0 f(0,0)

Tabla 1.17.Tabla para definir una función booleana

Los valores de la columna de la derecha, son números elegidos dentro del

conjunto{0,1}.

Entonces f(A,B) se expresa por cualquiera de las siguientes fórmulas:

f(A,B) = [f(1,1) x A x B] + [f(1,0) x A x B'] +[f(0,1) x A' x B'] + [f(0,0) x A'x B'] (1.34)

f(A,B) = [f(1,1) +A'+ B'] x [f(1,0) + A' + B] x [f(0,1) + A + B'] x [f(0,0) + A + B] (1.35)

Demostración

Se sustituyen de la tabla los valores de A y B, y se verifican que las expresiones

1.34 y 1.35 son correctas.

Para la ecuación 1.34 se tiene:

f(1,0)=f(1,1) x 0] + [f(1,0) x 1] + [f(0,1) x 0] + [f(0,0) x 0]

f(1,0)=0 + f(1,0) + 0 + 0

f(1,0)=f(1,0)

Para la ecuación 1.35 se tiene:

f(,0,0)=[f(1,1) + 1] x [f(1,0) + 1] x [f(0,1) + 1] x [f(0,0) + 0]

f(,0,0)=[1 x 1 x 1 x f(0,0)= f(0,0)

1.22.4 Operaciones en el álgebra de Boole.

 77

La mayoría de las álgebras básicas de Boole constan de elementos que pertenecen

al conjunto {0,1} y de las operaciones .Se emplean las letras ,
para designar elementos arbirarios del conjunto {0,1}.Se identifica el 0 con elemento
nulo de los axiomas, y a 1 con el elemento , a la operación + con la unión ya
con la intersección .

Las siguientes tablas corresponden a las operaciones

a b axb

1 1 1

1 0 0

0 1 0

0 0 0

Tabla 1.18.Tabla de la multiplicación en el álgebra de Boole

a b a+b

1 1 1

1 0 1

0 1 1

0 0 0

Tabla 1.19.Tabla de la adición en el álgebra de Boole

a a'

1 0

0 1
Tabla 1.20.Tabla de la complementación en el álgebra de Boole
 78

Se observa que estas tablas son idénticas a las de la lógica proposicional,cuando se

establece la siguiente correspondencia:

Lógica proposicional Álgebra de Boole

V 1

F 0

ʌ X

V +

'

p,q,r,… a,b,c,…

Tabla 1.21.Tabla de equivalencias entre la lógica proposicional y el álgebra de Boole

La correspondencia entre la lógica elemental y el álgebra de Boole permite

establecer,que cualquier afirmación válida en un sistema,se convierte
automáticamente en válida en el otro sistema.

1.22.5 Aplicaciones del álgebra de Boole.

1.22.5.1 Aplicaciones a los circuitos eléctricos

El álgebra de Boole dió origen a la electrónica digital, porque las señales digitales
son binarias por naturaleza, ya que asumen uno de dos valores 0 o 1.

La electrónica digital permitió la construcción de circuitos miniaturizados, que

realizan funciones matemáticas complejas, lo que transformó el desarrollo
industrial y social del mundo desde mediados del siglo XX.

En circuitos eléctricos se dice, que dos interruptores, S1 y S2 se conectan en

paralelo,cuando la corriente circula, si uno o los dos interruptores están
cerrados.Este concepto se representa en la figura 1.10a).

De una manera análoga, los interruptores se conectan en serie cuando la corriente

circula, sólo si los dos interruptores están cerrados(figura 1.10b)
 79

a)Paralelo b)Serie

Figura 1.10 Conexiones de interruptores

Se asigna a la variable de posición de cada interruptor S el valor de 1, si está

cerrado,y 0 si está abierto.

Sea Y la variable de posición del conjunto de interruptores, la cual depende de las

variables de posición de cada uno de los interruptores del circuito.

Y= f (S1,S2)

A Y también se le asigna el valor 1, si la corriente puede circular, y 0 si la corriente

se interrumpe.

La variable Y de los interruptores se puede expresar,de acuerdo a las tablas de

multiplicación y adición del álgebra de Boole, por las siguientes expresiones
booleanas:

Circuito paralelo: Y=S1+S2

Circuito serie:Y=S1 x S2.

La interpretación de los estados de conexión y desconexión de los circuitos

eléctricos conectados en paralelo y serie, permiten representar los axiomas del
álgebra de Boole,como asociaciones de circuitos serie y/o paralelo.

Ejemplo 1.42

Representar mediante circuitos eléctricos,la ley asociativa del álgebra de Boole

para la adición:

S1+(S2+S3)=(S1+S2)+S3

Solución
 80

De la definición de circuito paralelo mediante la adición de las variables booleanas,

es evidente que en ambos circuitos, los tres interruptores se conectan en paralelo y
por lo tanto son equivalentes

Ejemplo 1.43

Representar mediante circuitos eléctricos, la ley distributiva:

S1+(S2 x S3)=(S1+S2) x (S1+S3).

Solución

Desde el punto de vista circuital, S1+(S2 x S3) es el circuito mas simple,ya que
utiliza menos elementos.

Por lo anterior se infiere que el álgebra de Boole se puede utilizar para simplificar los
circuitos.

Ejemplo 1.44

Escribir la ecuación en el álgebra Boole, del circuito que se dibuja a continuación

 81

Solución

Y=[(S1 x S2)+S3+S4] x S5.

DISEÑO DE CIRCUITOS

Para el diseño de circuitos electricos que cumplan con ciertos propósitos,se utilizan
teorías que se estudian en el curso profesional de circuitos digitales en Ingeniería
Eléctrica.En este curso se utiliza un sistema gráfico, debido al nivel introductorio en
el cual se estudia este tema, y el cual se presenta mediante un ejemplo.

Ejemplo 1.45

Se desea encender o apagar una lámpara eléctrica de una habitación, con dos
interruptores ubicados en diferentes lugares.Desde cada interruptor la lámpara se
podrá apagar o encender.Se pide diseñar un circuito eléctrico que satisfaga esta
condición.

Solución

Se asume como D, la variable que representa el estado del interruptor ubicado en un

lugar, U la variable de estado del interruptor ubicado en el otro lugar,y Y la variable
que indica, si la lámpara esta encendida o apagada.

La tabla adjunta muestra la situación, que se quiere resolver

D U Y

1 1 1

1 0 0

0 1 0

0 1 1

Tabla 1.22.Tabla de la situación planteada en el ejemplo 1.43

 82

Se pretende encontrar una ecuación, que satisfaga los requerimientos de la tabla

1.22.

Aplicando la ecuación 1.34(Teorema 10), se obtiene la siguiente ecuación,que

satisface las condiciones de la tabla:

Y=(D x U) + (D'x U') (1.36)

La representación circuital de esta ecuación se muestra en la figura 1.10 a), y el

circuito completo para su montaje, se muestra en la figura 1.11 a)

Aplicando la ecuación 1.35 a la tabla,se obtiene la ecuación:

Y=(D + U') x (D' + U) (1.37)

La representación circuital de esta ecuación se muestra en la figura 1.11 b), y el

circuito completo para su montaje, se muestra en la figura 1.12b)

a)Representación de la ecuación 1.36 b)Representación de la ecuación 1.37

Figura. 1.11 Representaciones circuitales de la solución del ejemplo 1.45

a)Ecuación 1.36 b)Ecuación 1.37

Figura. 1.12.Circuito eléctrico completo para la solución del ejemplo 1.45

 83

1.22.5..2 Aplicaciones a los problemas lógicos

El teorema 10 del álgebra de Boole se puede aplicar, a la resolución de problemas

lógicos.Esta aplicación se presenta mediante el siguiente ejemplo.

Ejemplo 1.46

Se supone que A es un persona que siempre miente o siempre dice la verdad,pero

no se puede saber si dice la verdad o miente.En una habitación existen dos sillas
idénticas, pero una de ellas electrizada a tal nivel ,que quien se siente en ella se
muere electrocutado.Se supone, que la persona A conoce cual es la silla electrizada.

Una persona B desea sentarse en una de las sillas, pero no desea ser electrocutada.

B puede hacer una pregunta de la siguiente estructura”¿Es r verdad? En donde r es

una proposición ¿Cual debe ser la frase r ,que debe formular B?

Solución

Se definen las siguientes proposiciones

: A dice la verdad

La silla de la izquierda está electrizada

Es verdad?

Con estas proposiciones se construye la siguiente tabla

La respuesta de A a la pregunta.¿ es verdad?

V V V V
V F F F
F V V F
F F F V

En la tercera columna los valores corresponden a los valores de q. Así que la

respuesta que A le dé a B,le indicará en que silla se debe sentar.La columna de r se
obtiene de de la tercera columna, teniendo en cuenta si A dice o no la verdad.

En consecuencia, se necesita tener una combinación de y equivalente a .Si se

cambia la notación de la tabla , al álgebra de Boole, se obtiene la misma tabla que
la del ejemplo 1.45, y se puede aplicar el teorema 10,que conducen a las
ecuaciones 1.34 y 1.35.
 84

Utilizando la tabla 1.21 de equivalencias entre la lógica proposicional y el álgebra de

Boole, se obtienen las siguientes expresiones lógicas.

Para la ecuación 1.34., la expresión lógica equivalente es:

(1.38)

Para la ecuación 1.35, la expresión lógica equivalente es:

(1.39)

Por lo anterior, dos posibles preguntas a formular serían(1.38):¿Es usted veraz, y

la silla de la izquierda está electrizada? o(1.39) ¿es usted un mentiroso, y es la silla
de la izquierda la que no está electrizada?
 85

ACTIVIDADES DE LA UNIDAD

TEORÍA

Responder las siguientes preguntas:

1)Hacer un análisis comparativo,en cuanto al aprendizaje,a la aplicación y a la

utilidad de la Matemática,de las dos definiciones que se han utilizado para la
Matematica:

Definición 1: La Matemática es un cuerpo de conocimientos, relacionado con

hechos y procedimientos, que tratan con cantidades y magnitudes, y la forma y
relaciones entre ellas.

Definición 2: La Matemática es la ciencia de los patrones o modelos, estrechamente

relacionada con las ciencias, en su afán de buscar patrones en las evidencias
empíricas

2)Enumerar algunas razones, por las cuales es importante la matemática en la

sociedad humana.

3)Enumerar tres ejemplos, de los patrones que estudia la matemática.

4)Explicar lo que se quiere decir con la siguiente afirmación: Un aspecto esencial

durante la interacción con los problemas o contenidos matemáticos,es que los
estudiantes busquen,representen y describan cambios o formas de variación
(incluyendo invariantes) entre los objetos o atributos asociados con la actividad o
problema que los lleven a la identificación de patrones,conjeturas o relaciones .

5)Enumerar y describir las herramientas que utiliza la Matemática.

6)¿En qué consiste el pensamiento matemático?.¿Cómo se desarrolla la habilidad

de pensamiento matemático?

7)Definir:a)Lógica del sentido común;b) Lógica científica o formal;c) Lógica

matemática;d) Argumentación.

8)Explicar en su lenguaje, la siguiente expresión: A la lógica le interesa, la forma de

las proposiciones que hacen parte del argumento, y no la verdad o falsedad de estas

9) ¿Cuando un argumento es válido? ¿Por qué,si el argumento es correcto,la

conclusión puede ser falsa?¿Qué es una falacia?¿Por qué la lógica es una ciencia
deductiva?

10)Para cada una de las falacias estudiadas,se pide proponer un ejemplo y

justificarlo.

11)Enumerar dos diferencias entre la lógica proposicional y la de predicados

 86

12) Definir los siguientes conceptos: a)Proposición simple; b)Proposición compuesta,

c)Proposición matemática;d)Axioma;e)Conjunto;f)Subconjunto;g)Subconjunto propio
h)Correspondencia biunívoca.

13) Definir los siguientes conceptos: variable, función proposicional, conjunto de

verdad de una función proposicional,cuantificadores,conjunción de proposiciones,
disyunción de proposiciones.

14)¿Cuál es la relación que existe, entre la conjunción de dos funciones

proposicionales y la intersección de sus conjuntos de verdad?.

15)¿Cuál es la relación que existe, entre la disyunción de dos funciones

proposicionales y la unión de sus conjuntos de verdad?.

16)¿Cómo se define el complemento de un conjunto?

17)¿Cuál es la relación entre la negación de una función proposiciónal,y el

complemento del conjunto de verdad de la proposición?

18) Definir para dos proposiciones:a)el condicional;b)la implicación,c)la equivalencia.

19)¿Cuál es la diferencia,entre el condicional de dos proposiciones y la implicación.

20)Explicar con palabras propias,la diferencia entre condición suficiente y condición

necesaria.

21) Definir los conceptos de fórmula , tautología y equivalencia,

22)Justificar mediante un razonamiento, las siguientes afirmaciones:

a): es verdadero, si y solo si, P es el conjunto U
es falso, si y solo si, P no es el conjunto U.
( ) es verdadero, si ,y solo si P no es el conjunto U
( ) es falso, si y solo si, P es el conjunto U.
23)¿Qué es una ley de equivalencia lógica?¿Para qué sirve?

24)Enumerar e interpretar, las leyes de equivalencia lógica.

25)Definir operacionalmente, el concepto de argumento lógico.

26 Construir un argumento válido,cuya conclusión sea falsa.¿Cuando un argumento

es inválido?

27)¿Qué es una regla de inferencia lógica? Construir un ejemplo,donde aplique la

regla de inferencia “modus ponens” y otro con la regla “modus tollens”

28)Enumerar e interpretar las reglas de inferencia lógica(Tabla 1.11)

 87

29)Los antiguos griegos formularon una regla básica de razonamiento, para

demostrar proposiciones matemáticas denominada modus ponens .Se pide utilizar la
tabla 1.11, para expresar en palabras le regla de inferencia modus ponens,

30)Demostrar que un condicional y su contra recíproco, son funciones

proposicionales equivalentes.

31)Enumerar los métodos de demostración en matemáticas.

32)Describir en que consiste, el método de demostración directo en matemática.

33) Describir en que consiste, el método de demostración indirecto en matemática

34) Describir en que consiste, el método de demostración por el contra recíproco, en

Matemática

35) Describir en que consiste el método de demostración por reducción al absurdo,

en Matemática.

36)¿Qué es el método de refutación en Matemática?.¿Para qué sirve?

37)¿Qué es el álgebra de conjuntos?¿Cual es la relación del álgebra de conjutos

con el álgebra proposicional?

38)En el álgebra de Boole se define un conjunto S de elementos no definidos,

A,B,C,etc,que contienen al menos dos elementos distintos.¿Cuáles son los
elementos de A,B… ?

39)¿Cuáles son las características de los elementos neutros y complementarios, del

álgebra de Boole?¿Por qué se denominan neutros?

40)¿Existe alguna relación entre el álgebra de Boole, y el álgebra proposicional?

¿Cuál es esa relación?

41)¿Cuáles son las operaciones básicas en el álgebra de Boole?

42)¿Cómo justificaría la expresión booleana 1 + 1 =1?

43)¿Cuál fué el aporte del álgebra de Boole, al desarrollo de la Ingeniería Eléctrica?

44)Enumerar algunas aplicaciones del álgebra Boole.

PROBLEMAS

1) Indicar cuáles de las siguientes definiciones no son satisfactorias, justificando

la respuesta:
 88

a. Cuadrado es el rectángulo de cuatro lados

b.Pentágono regular es un polígono de cinco lados
c.Número real es el que no es complejo.
d.Cubo es un paralelipipedo rectángulo.
e)Dos rectas coplanarias son paralelas si y solo si no se cortan

[Respuesta:a)No satisfactoria;b)No satisfactoria;c)Si;d)No;e)Si]

2) Indicar cuáles de los siguientes juicios son proposiciones

a.Carlos es blanco.
b.Algunos estudiantes son pobres.
c.
d.Este triángulo es isósceles.

[Respuestas:a)Si;b)Si;c)No;d)Si]

3) Escribir los conjuntos dados en su forma de compresión.El conjunto universal es

el conjunto de los números reales.
a.{x
b.{x .
c. {x .
d.{x .
e.{x|
f.{

[Respuestas:a){2,-2};b) ;c) {-1};d) {0};e) {2},f) {-2}]

4) Establecer siempre que sea posible,una correspondencia 1 a 1 entre los

conjuntos dados:
a.El conjunto de los enteros positivos y de los enteros negativos.
b.{2,4,6,8,10,….};{3,6,9,12,15,….}
c.El conjunto de los profesores de la UFPS y el conjunto de todos los estudiantes de
la UFPS.
d.El conjunto de todos los enteros y el conjunto de los enteros positivos
e)El conjunto de los hombres casados y el conjunto de las mujeres casadas.

[Respuestas:a) ;b) ;c)No es posible;d) 0

e)No es posible por la bigamia]

5) Construir todos los subconjuntos del conjunto dado, e indicar cuáles son los
subconjuntos propios.
a.{1,3,4}
b.{Juan,Luis y Horacio}
c.{a,b,c,d}.
[Respuesta:a) ,todos son subconjuntos propios
excepto ]
 89

6)Para las siguientes situaciones planteadas,indicar cuáles son los cuantificadores

que hacen verdadera la situación descrita.
a. .
b.
c.Los ángulos opuestos por el vértice, son iguales.
d.Si es un entero par , es un entero par.
e.5 es una raiz cuadrada de 25.
f)El numero entero 11 es un numero primo

[Respuestas:a) ;b) ;c) ;d) ; e)Ninguna;f)Ninguna]

7) Escribir la conjunción y la disyunción de las siguientes proposiciones:

a.Juan es un estudiante. Ana es hermosa.
b.Todas las lineas son rectas.Todos los círculos son redondos.

8) Simplificar las siguientes conjunciones:

a. ⋀
b. ⋀
c ⋀ .
d ⋀
e. ⋀ .

[Respuestas:a) ;b) ,c) ;d) ;e) ]

9)¿Cuál de las siguientes proposiciones es más probable que ocurra?¿por qué?

a.Marina es cantante y trabaja en un banco.
b.Marina es tranquila y trabaja en un banco.
c.Marina es tímida y trabaja en un banco.
d.Marina es honesta y trabaja en un banco.
e.Marina trabaja en un banco.

[Respuesta:la opción d)]

10)Para las siguientes funciones proposicionales,se pide hallar los conjuntos de

verdad,de las conjunciones y disyunciones de las siguientes funciones
proposicionales,considerando como conjunto universal el conjunto de los números
reales(ℜ).

a.
b.
c. .
d.
e.
[Respuestas:a)Conjunción ;Disyunción {0.1};b)Conjunción:{-2};Disyunción{-2};
 90

c)Conjunción {x Disyunción {x d) Conjunción {7};Disyunción {x ;

e)Conjunción: ℜ , Disyunción : ℜ]

11)Hallar los conjuntos definidos por las operaciones dadas.Se considera como
conjunto universal, el conjunto de los números reales(ℜ).
a.
b.
c.

[Respuestas:a) { ;b) ) { ;c. ]

12) Demostrar que los dos conjuntos son iguales:

a.{
b.A .Sugerencia:Emplear la definición de intersección.
c.A .Sugerencia:Emplear la definición de unión.

13) Determinar los complementos de los conjuntos dados, en relación a los

conjuntos universales definidos:
a.{1,3,5,7,….} U=el conjunto de todos los enteros positivos
b.{ U=el conjunto de todos los números reales positivos
c.{ U=ℜ(el conjunto de todos los números reales).

[Respuestas:a){2,4,6,8,10…}=Conjunto de los enteros positivos pares;b) { ;

c) .{ ]

14)Determinar P’={ para las siguientes funciones proposicionales .Asuma

como conjunto universal,el de los números enteros( )
a.
b.
c.
d.

[Respuestas:a) .{ ;b){ c) ;d) .{

15) “En un juicio, el fiscal argumentó: Si el acusado es culpable, entonces tendría

un testigo.” A ello, el abogado defensor respondió inmediatamente: “Eso es
totalmente falso.” El acusado decidió despedir a su abogado defensor. Justifique la
decisión del acusado.
[Respuesta:Para que la implicación sea falsa, la unica posibilidad es que el
antecedente”el acusado es culpable” sea verdadero y el consecuente “tendría un
 91

testigo” sea falso”.El acusado despidió al abogado, porque al no tener el testigo, el

abogado defensor reconoce la culpa de su defendido con esa afirmación]

15)A partir de las dos proposiciones dadas, formar un condicional o una

implicación,e indicar en cada caso, si es falso o verdadero el condicional:

a. p es: .
b. p es: “Este círculo tiene un radio de 5 cm”; q es”Este círculo tiene una área de
25 ;
c.p es:”Este círculo tiene un radio de 5 cm” ;q es”Este círculo tiene una
circunferencia de 10 cm”.
d. p es: “Un cuadrado tiene 4 cm de lado; q es ”Un cuadrado tiene un área de
16 ;
e. p es: “Un cuadrado tiene 4 cm de lado”; q es “Un cuadrado tiene un perímetro de 8
cm.”

[Respuestas:a)F,condicional;b)V.Implicación;c)V.Implicación;d)V.Implicación;e)F.Imp
licación]

16) Utilizar el teorema 4,y considerar al conjunto de los enteros como conjunto
niversal,para deducir el conjunto de verdad de los siguientes condicionales:

a.Si ,entonces
b.Si entonces .
c.Si entonces .

[Respuestas:a) ;b) ;c) { ]

17) Los antiguos griegos formularon una regla básica de razonamiento, para
demostrar proposiciones matemáticas denominada modus ponens,la cual establece
que si se conoce una proposicion p como verdadera y se razona correctamente
(implicación verdadera), entonces se puede concluir que q es verdadera. Se pide:

a.Construir una tabla de la verdad para la siguiente proposición:[p⋀(p (Ejemplo

1.28)
b. Explicar como utilizar la tabla de verdad anterior para demostrar que modus
ponens es una regla válida de inferencia.

18)Determinar cual de las siguientes afirmaciones son falsas, o

verdaderas.Considere como conjunto universal, al conjunto de números enteros:

a) solo si .
b) si .
 92

c) es suficiente para .
d) es necesario para .
e) .
f) .
g) .

[Respuestas:a)V;b)F;c)V;d)F;e)F;f)V;g)V]

19)Cuales de las siguientes condiciones son necesarias ,para que un entero

positivo sea divisible por 6

a.3 divide a
b. 9 divide a
c.12 divide a
d.
e.6 divide a
f.2 divide a y 3 divide a
g.2 divide a
[Respuestas:a);b);e);g)]

20) Demostrar que ⋁ es una tautología.

21) Utilizar las tablas de verdad y demostrar el teorema 13:

a)Negación de la conjunción(primera ley de morgan).
b)Negación de la disyunción (segunda ley de morgan).
c)Ley de negación de la implicación;ley de negación de la equivalencia.

22) Hallar el conjunto de verdad de las siguientes equivalencias,asumiendo como

conjunto universal el conjunto de los números reales
a. ( ⋁
b. (x
c.
d.

[Respuestas:a) ℜ b) { ; c) ℜ d) ]

23) Formar las negaciones de las siguientes proposiciones:

a.Todas las habitaciones del hotel están ocupadas.
b.
c.En todos los triángulos,la suma de los valores de los ángulos interiores es de 180°
d.Todos los caminos van a Roma,y algunos caminos son intransitables
e. Algunos hombres son soldados,o todos los hombres son esclavos.
f.
g. Eduardo miente cuando dice que yo soy el culpable.
 93

[Respuestas:a)Algunas habitaciones del hotel no están ocupadas;b)

;c)En algunos triángulos ,la suma de los ángulos interiores no es de
180°;d)Algunos caminos no van a Roma o todos los caminos son
transitables.;e)Todos los hombres no son soldados y algunos hombres son
libres.;f ;g)Eduardo dice que soy culpable y dice la verdad]

24) Explicitar los cuantificadores implicados en las siguientes proposiciones y

formar la negación:
a.Si dos ángulos son congruentes,sus valores son iguales.
b.Sea x un entero,Si es par entonces x es par .
c.Si p es primo,hay un primo mayor que p.

[Respuestas:a) ,”Existen dos ángulos congruentes y sus valores no son iguales”

;b) ,Existe un numero entero tal que par y x es impar;c) .Existe un número p
primo y no hay un primo mayor que p]

25) Formar la recíproca y la contra recíproca de las siguientes implicaciones:

a. Si todos los ángulos de un triángulo son iguales,el triángulo es equilátero.
b. Si un cuadrilátero es un paralelogramo,sus diagonales se cortan en el punto
medio.
c.Si a>b,entonces a-c>b-c.

[a)Si un triángulo es equilátero entonces todos los ángulos del triángulo son
iguales;Si el triángulo no es eqilátero entonces los ángulos del triángulo no son
iguales.b)Si las diagonales se cortan en el punto medio, entonces el cuadrilatero es
un paralelogramo; Si las diagonales no se cortan en el punto medio, entonces el
cuadrilatero no es un paralelogramo c)Si a-c>b-c.,entonces a>b;Si -
entonces ]

26)Escribir la implicación dada, utilizando las expresiónes de”condición suficiente” y

,”condición necesaria”:
a. Si los ángulos básicos de un triángulo son iguales,el triángulo es isósceles.
b. Si dos rectas son perpendiculares a una misma recta,son paralelas.
c. Si ,entonces .
d.Si un triángulo está inscrito en una semicircunferencia, es un triángulo rectángulo.
e.Si un cuerpo se encuentra en equilibrio,el vector suma de todas las fuerzas que
actúan sobre él, es cero.
f.Si dos fuerzas están en equilibrio,son iguales,opuestas y de la misma dirección.

27)Para las implicaciones dadas en el problema 24, escribir la recíproca empleando

la frase”solo si”.

28)Para los las siguientes afirmaciones matemáticas,algunas de las cuales son

verdaderas y otras falsas,se pide demostrar las verdaderas y refutar las falsas:
a. La suma de tres enteros impares es impar.
 94

b.
c.
d
e.Una condición necesaria para que la ecuación , tenga una raíz
real, es que .
f)
g)Hacer uso de la inducción matemática para demostrar que +

29)Demostrar las siguientes afirmaciones matemáticas:

a.La suma de dos números pares es igual a un número par.
b.La suma de dos números impares es igual a un número par.
c.El producto de dos números impares es igual a un número impar.
d.La suma de números pares es igual a un número par.
e.El producto de números pares es igual a un número par.
f.El producto de números impares es igual a un número impar.
g.La suma de un número par de números impares es igual a un número par.
h.La suma de un número impar de números impares es igual a un número impar.
i)Hacer uso de la inducción matemática,para demostrar que es divisible por 2

30) Demostrar que si x e y son números racionales, entonces x+y es un número

racional.

31)Demostrar que √ es un número irracional.

32)Demostrar el teorema 4 del álgebra de Boole(Ley de involución).

33)Demostrar el teorema 6.

34)Demostrar que ⊆ si y solo si

35)Demostrar que si

36)Representar los circuitos eléctricos, de las siguientes expresiones del álgebra de

Boole:
a.S x S' = 1
b.S x S = 0
c.S + 1= 1
d.1 x S =S
e.S1 + (S1' x S2) = S1 + S2)
f.(S1 + S2) x (S1 + S2') = S1

37)Para los circuitos eléctricos que se dibujan a la izquierda,se pide escribir las
ecuaciones de Boole, y demostrar que son iguales a los circuitos dibujados a la
derecha,utilizando las identidades dadas en el problema 34.
 95

a.

b.

38)Diseñar un circuito, de forma que cualquiera de tres interruptores ubicados en

diferentes lugares,pueda encender o apagar una lámpara eléctrica.

39)Un cohete se puede disparar cuando el comandante en jefe(CJ) y dos de sus

tres ayudantes,cualesquiera que sean, coloquen sus interruptores en la posición de
fuego. Se pide diseñar un circuito que responda a estas exigencias.

40) Una prisión está dotada de dos puertas: una conduce a la libertad y otra a la
muerte; en cada puerta hay un guardián que conoce la función de las dos puertas;
cada guardián puede responder únicamente Si o No; uno de los dos da siempre una
respuesta verdadera, el otro siempre una respuesta falsa. El prisionero ignora cuál
dice la verdad y cuál miente.Le puede hacer una, y solo una, pregunta a uno de los
guardianes. ¿Qué pregunta debe hacer a uno de los guardias, para poder
determinar la puerta que conduce a la libertad?

41)A un prisionero se le dan cuatro botellas de liquido cristalino R, R', L, L'.Se le dice
que en el par R, R' una contiene agua y la otra veneno. Lo mismo en el caso de L y
L'.Sin embargo los los venenos se neutralizan mutuamente de forma que sis se
beben los dos no ocurre nada.
Al prisionero se le dice que escoja una botella entre R y R' y otra entre , L y L' y
beba sus contenidos.Como gracia especial se le permite hacer una pregunta, y que
la respuesta seá un sí o un no.
¿Cuál debe ser la pregunta que debe hacer el prisionero para estar seguro que al
beber las botellas no morirá.?

[Respuesta::El prisionero debe señalar a una de las dos botellas R , R' y a otra de
las dos botellas L, L' y preguntar´:”¿Es posible sin morir beber estas dos botellas?.Si
la respuesta es afirmativa el las beberá.Si la respuesta es negativa el bebera la
botella señalada de las R y delas botellas L,la que no señaló]
 96

UNIDAD II

RESOLUCIÓN DE PROBLEMAS

La resolución de problemas exitosa requiere del conocimiento del contenido matemático, del conocimiento de
estrategias de resolución de problemas, de un automonitoreo efectivo, y una disposición productiva a plantear
y resolver problemas. La enseñanza de la resolución de problemas requiere aún más de los profesors, ya que
deben ser capaces de promover tal conocimiento y actitudes en sus estudiantes. …La enseñanza en sí misma es
una actividad de resolución de problemas National Research Council’s Mathematics 2000, p. 341).
 97

2.01. NATURALEZA DEL PROBLEMA Y SU PROCESO DE

RESOLUCIÓN

La sociedad humana ha evolucionado, en la medida que ha resuelto los problemas

relacionados con la transformación de la naturaleza, para utilizar sus recursos en
beneficio de la calidad de vida del ser humano, y gracias a esta actividad,y a la
carencia de ética,la especie humana se ha convertido en la mayor depredadora del
medio ambiente, y de las otras especies en este planeta

En psicología se considera como problema, a una situación en la cual de

antemano no se sabe como actuar.

Carretero M, citado por Tapia J en (12),define como problema, un obstáculo que se

encuentra entre una situación dada y una meta a conseguir, que obliga al sujeto a
considerar posibles caminos para la solución.

Para Carretero, el obstáculo surge de una ausencia de conocimento del sujeto,que

se debe a carencia de información adecuada sobre la estructura del problema,
implícita en los datos y su representación, o falta de conocimiento sobre como
operar con esos datos o su representación. Vencer ese obstáculo permitirá
alcanzar la meta, y en consecuencia resolver el problema.

Lesh & Zawojewski (11) definen la resolución de problemas, como “el proceso de
interpretar una situación matemáticamente, la cual involucra varios ciclos interactivos
de expresar, probar y revisar interpretaciones, y de ordenar, integrar, modificar,
revisar o redefinir, grupos de conceptos matemáticos desde varios tópicos dentro y
más allá de las matemáticas”

Los problemas a resolver presentan pecularidades especificas, que los diferencian

entre si, sin embargo algunas características comunes a todos los problemas
son(12):

a)Pensamiento directivo:La actividad mental del solucionador se dirige de un estado

de incertidumbre hacia una meta.La manera como se defina la meta, puede afectar
la estrategia o camino de solución

b)Limitaciones estruturales y operacionales:El sistema cognitivo cuando actúa tiene

unas limitaciones, y las más significativas al resolver problemas son:
1)Recursos limitados de la atención, en el proceso de recoger información y
categorizar la información
2)Límites de la memoria operativa,donde se reconocen y ejecutan las diferentes
estrategias de solución.La solución de problemas requiere de conocimientos
previos,ya que sólo aquel que conoce es capaz de reconocer lo que desconoce.Se
requiere conocimiento tanto de la situación a resolver, como del proceso que se
sigue para resolver el problema.
3)La complejidad de los procesos de recuperación de la información de la memoria
de largo plazo(MLP),en ocasiones entorpece el proceso de solución.
 98

4)Por lo anterior, el solucionador funciona de forma serial en el proceso de

solución,desde el estado inicial hasta alcanzar la meta, pasando por una serie de
estados intermedios.
5)Representaciones incompletas.Son lagunas o inconsistencias en la representación
mental de la situación problemática. . Para que haya un problema, lógicamente es
necesario que existan lagunas,que haya estados intermedios inciertos. El
solucionador tiene que elaborar una estructura representacional,que incluya la
secuencia de estados intermedios para llegar a la meta.

Las estrategias que se utilizan para la resolución de problemas pueden ser de

naturaleza algorítmica, o heurística.

En la estrategia algorítmica se aplica un procedimiento instruccional, a una situación

por resolver, y de una manera automática y sin pasar por una fase mental creativa,
se obtiene el resultado.Por ejemplo, cuando se resuelve una ecuación matemática,
se sigue una secuencia determinada,en base a unas reglas establecidas,que lleva
siempre a la solución correcta.

En opinión del autor, a esta situación no se le puede definir problema,porque

además de no haber incertidumbre, no se recorre la fase mental creativa por parte
del solucionador,y por ello es mas recomendable denominarlo ejercicio.

La heurística es un término que proviene del griego,que significa descubrir o

inventar,y en su concepción moderna se refiere a la comprensión del método que
conduce a la solución de problemas:En particular, las operaciones mentales
típicamente útiles en el proceso de resolución de problemas.

Polya en su libro “Cómo plantear y resolver problemas”(1), desarrolla una serie de

estrategias, importantes en la resolución de problemas, y propone una nueva
metodología en los procesos de enseñanza-aprendizaje de las matemáticas.

En este libro, el autor propone cuatro pasos básicos para resolver un problema:
1)Comprender el problema; 2)Concebir un plan; 3)Ejecutar el plan; 4)Examinar la
solución.

En el libro “Mathematical Problem Solving”(13) Schoenfeld basado en trabajos

realizados en los años 80,con estudiantes y profesores que poseían los
conocimientos, y a quienes les proponía resolver problemas suficientemente
difíciles (siguiendo las ideas de Pólya), considera insuficientes las estrategias
planteadas por Polya para la resolución de problemas, y sostiene que este proceso
es más complejo e involucra más elementos, inclusive algunos de carácter
emocional afectivo,psicológico,y sociocultural.

Schoenfeld reconoce cuatro aspectos, que intervienen en el proceso de resolución

de problemas de naturaleza matemática
:
1)Los recursos(entendidos como conocimientos previos, o bien, el dominio del
conocimiento).
 99

2)Las heurísticas (estrategias cognitivas).

3)El control (estrategias metacognitivas).

4)El sistema de creencias(conjunto de prejuicios de los estudiantes sobre las

dificultades para tener éxito en matemáticas)

Los recursos, se refieren al conocimiento matemático ,que posee el solucionador

para afrontar la resolución de un problema.

Las estrategias heurísticas son reglas o planteamientos generales, que se basan en

la experiencia y se derivan de la lógica, para el abordaje de un problema; este
aspecto fué ampliamente considerado por Polya en su libro “Matemáticas y
razonamientos plausibles”.

La manera como los individuos utilizan la información y las estrategias heurísticas

que poseen, para resolver un problema, es lo que Schoenfeld denomina control.Este
factor involucra conductas de interés, tales como: planificar, seleccionar metas y
submetas, y monitoreo constante durante el proceso de resolución.

Finalmente, Schoenfeld establece un aspecto transversal en la resolución de

problemas, y lo denomina sistema de creencias. Éste consiste en el conjunto de
ideas o percepciones, que los estudiantes poseen acerca de la matemática y su
enseñanza.

Por lo anterior,solucionar un problema es encontrar un camino adecuado, para

encontrar la meta desde un punto de partida. La resolución de problemas suele
implicar tareas, que exigen procesos de razonamiento más o menos complejos,y
procesos mentales creativos.

Aunque un sujeto posea el conocimiento de los contenidos informativos necesarios

para resolver un problema, puede que no lo resuelva, si no activa dicho
conocimiento mediante las estrategias de representación, planificación y ejecución
adecuadas, por no comprender la naturaleza del problema, por falta de motivación
para resolverlo, por usar estrategias de solución inadecuadas, o por usar las
adecuadas pero sin la supervisión y regulación del proceso, necesaria para corregir
errores y ajustar el proceso hasta alcanzar la solución.

De igual manera, si un sujeto carece de la base de conocimientos necesaria para

poder determinar la naturaleza exacta del problema, y cuales estrategias son las
adecuadas,como ocurre con los sujetos novatos en un área determinada,es muy
probable que el problema no se resuelva, o se hace con un costo grande en tiempo
y esfuerzo.

Por lo anterior, se infiere la importancia de establecer en el pensum de estudios de

Ingeniería, de una actividad académica, que forme a los estudiantes en la
metodología de resolución de problemas
.
 100

La solución de estos problemas es en buena parte competencia de la Ingeniería. La

Ingeniería versa sobre el estudio y aplicación de la ciencia y la tecnología, utilizando
el ingenio y la inventiva, para resolver problemas que satisfagan necesidades
humanas, utilizando modelos generalmente matemáticos, provenientes de la
ciencia y aplicando el método científico.

Para este curso se entiende por problema, una situación a resolver, cuya solución
implica un proceso reflexivo, y la ejecución de un paso creativo, que depende del
estadio mental y de la experiencia de la persona que lo resuelve.

Una situación que se soluciona mediante la aplicación de un algoritmo, se define

como un ejercicio, y no se considera un problema.

Se reconocen varias clases de problemas: problemas por demostrar, problemas

por resolver, problemas de razonamiento lógico,problemas prácticos.

Los problemas por demostrar tienen como propósito verificar o negar la validez de
proposiciones matemáticas,mediante las denominadas pruebas matemáticas.La
prueba matemática muestra de un modo concluyente, la falsedad o veracidad de
una proposición claramente enunciada.

Los elementos principales en un problema por demostrar de naturaleza

matemática, son : la hipótesis y la conclusión.

El propósito de un problema por resolver es descubrir cierto objeto, por ejemplo la

incógnita del problema. Estos problemas pueden ser teóricos o concretos. Ejemplos
típicos van desde descubrir al asesino en una novela policíaca, determinar la
incógnita de un problema algebraico, o determinar una propiedad de un cuerpo en
un problema de física.

Los principales elementos de un problema por resolver son : la incógnita, los

datos y la condición,

Los problemas de razonamiento lógico,son problemas por resolver, en los cuales

la solución depende básicamente del proceso de razonamiento, que utiliza la lógica
del sentido común,y muy poco los conocimientos matemáticos o físicos.

Si bien la unidad se centra en la metodología de los problemas por resolver,muchos

de los aspectos que se analizan, también se aplican a la resolución de problemas
en general

Los problemas prácticos utilizan la ciencia y la tecnología, para resolver una

situación muchas veces compleja,y se requiere de una visión multidisciplinar.Estos
problemas están en el centro del ejercicio de la ingeniería. Por ejemplo, el
egresado de Ingeniería Electromecánica de la Universidad Francisco de Paula
Santander en Cúcuta (Colombia) debe ser competente en la solución de problemas
de control y conversión de energía, de los sistemas encargados de los procesos
de transformación de energía electromecánica.
 101

Los problemas prácticos de la ingeniería, por ejemplo el diseño de un sistema de

control de un proceso electromecánico de conversión de energía, son esencialmente
complejos, ya que involucran un gran número de incógnitas, con múltiples
condiciones y una gran cantidad de datos.

La solución de un problema práctico de ingeniería pasa por resolver modelos

matemáticos, simular procesos, y la utilización de la experiencia acumulada en la
solución de problemas similares. Por esto se considera a la Ingeniería como una
ciencia y un arte.
.
2.02 FACTORES ADVERSOS EN LA RESOLUCIÓN DE PROBLEMAS

La solución de un problema depende que el sujeto asuma el papel de solucionador,

esto es que sienta la necesidad o el placer por resolver el problema.Además de
una alta motivación, el sujeto debe poseer los conocimentos, habilidades y
destrezas requeridas, lo que Schoenfeld denomina los recursos.

Un factor altamente negativo para la motivación en los estudiantes que inician los
estudios de educación superior, son los prejuicios que arrastran desde el
bachillerato, acerca de la naturaleza de la matemática y su aprendizaje, lo que
según Schoenfeld, se conoce como el sistema de creencias

Las creencias condicionan muchos aspectos relacionados con el aprendizaje de

la matemática. Por ejemplo, determinan en el estudiante cuándo se debe enfocar en
conocimientos formales y cuándo no. También determina la forma, si la
Matemática se aprende memorizando o no. Los estudiantes pueden creer que la
Matemática es solamente una serie de reglas , que simplemente van a memorizar.
O pueden creer que la matemática es elaboración de conceptos, establecimiento de
relaciones,y patrones. En este último caso, es probable que van a tratar de
comprender la Matemática, pues creeran que tal comprensión les va a ser útil en
otras actividades en la vida.

Schoenfeld establece una serie de creencias sobre la matemática, que tiene el

estudiante, de las cuales las más importantes son:

Los problemas matemáticos tienen una y solo una respuesta correcta.

Existe una única manera correcta para resolver cualquier problema, usualmente es
la regla que el profesor dio en la clase. .

Los estudiantes corrientes no pueden esperar entender matemáticas porque es

demasiado dificil, simplemente pueden memorizarla y aplicarla cuando la hayan
aprendido mecánicamente. Esta creencia se ve con bastante frecuencia.

La Matemática es una actividad de personas que trabajan solas.No hay trabajo

en equipo, en el desarrollo de la Matemática
 102

Los estudiantes que han entendido las matemáticas,y que han estudiado, podrán
resolver cualquier problema que se les asigne en cinco minutos o menos.

Las matemáticas aprendidas en la escuela tienen poco o nada que ver con el
mundo real.

Además de estos prejuicios ,Schoenfeld verificó en su trabajo,que a diferencia del

matemático que utiliza la argumentación matemática y el razonamiento formal en la
solución de problemas, el estudiante no utiliza jamás esta herramienta formal a la
hora de resolver un problema.

2.03 NIVELES DE PENSAMIENTO PARA RESOLVER UN PROBLEMA

Sanders (1966), separa el nivel de comprensión de una situación problemática,

en dos categorías: Traducción e Interpretación, y siguiendo la taxonomía de Bloon,
propone una taxonomía de siete niveles, que es muy útil en las matemáticas para
resolver problemas.Esta taxonomía se muestra a continuación:

1.Memoria: El estudiante recuerda o memoriza información

2. Traducción: El estudiante transforma la información de una forma literal o

coloquial, a una forma simbólica diferente o idioma.

3. Interpretación: El estudiante descubre las relaciones entre los hechos, las

generalizaciones, definiciones, valores y habilidades.

4. Aplicación: El estudiante resuelve un problema similar a los cotidianos en vida, y

para ello requiere la identificación del problema, la selección y el uso de las
generalizaciones, y las habilidades apropiadas.

5. Análisis: El estudiante resuelve un problema a la luz del conocimiento consciente

de las partes de la forma de pensar.

6. Síntesis: El estudiante resuelve un problema que requiere de un pensamiento

original, creativo.

7. Evaluación: El estudiante hace un juicio de bueno o malo, correcto o incorrecto,

de acuerdo con las normas que él valora.

2.04 FASES PARA LA RESOLUCIÓN DE UN PROBLEMA

De acuerdo a la metodología de Polya,y Sanders,se reconocen cuatro fases o

etapas en el proceso de resolución de problemas:

a) La comprensión del problema, que se produce después de la lectura reflexiva de

la situación problemática propuesta.Esta fase debe incluir la traducción y la
interpretación de la situación problemática propuesta.
 103

b)La concepción del plan,que surge como producto de una acción creativa después
del proceso de comprensión(análisis),en donde participan mecanismos lógicos y
psicológicos, y en donde se vislumbra el camino que conduce a la solución.

c)La ejecución del plan, que debe realizarse siguiendo un proceso lógico,
sistemático y argumentativo,(pensamiento matemático) justificando cada uno de los
pasos que se ejecutan para alcanzar la solución,en base al razonamiento
matemático, a los conocimientos previos, a la experiencia o a la intuición.

d) El examen de la solución, es un proceso de evaluación, en donde se contrasta la

solución obtenida con el sentido común, y otras soluciones de casos similares.En
esta fase también se debe realizar un proceso reflexivo sobre los aspectos mas
significativos del proceso de solución,para internalizar(asimilar) el proceso, y así
enriquecer el sentido común.

2.04.1 Comprensión del problema

En esta etapa se interpreta la información de la situación problemática a resolver,

de acuerdo con el conocimiento del mundo, del lenguaje y las experiencias del
solucionador. Este proceso debe ser fundamentalmente reflexivo y amerita tiempo y
dedicación,si se quiere tener éxito en la solución del problema

Se debe establecer con claridad cuál es la situación problemática a resolver,

indicando cuál es el objetivo a alcanzar, cuál es el contexto, y cuáles las
limitaciones de la situación.

En el caso de problemas matemáticos a resolver,se debe establecer sin lugar a

dudas, cuál es la incógnita, cuáles son los datos, cuáles son las condiciones o
restricciones del problema, y hacer una exploración sobre si los datos y las
condiciones son suficientes, para determinar la incógnita,o si existe alguna
condición que sea contradictoria.

Siempre que sea posible, se debe realizar una representación gráfica de la

situación problemática propuesta,ya que en ocasiones esto ayuda a la concepción
del plan de solución.

Se debe tratar de conseguir una representación visual o gráfica del problema, por
medio de cualquier notación simbólica, lo que permite establecer más fácilmente las
relaciones entre las partes de un problema. El proceso de toda representación en
general es un proceso muy activo, en donde se añaden detalles a la representación,
que no los proporcionaba la situación original.Para Mayer and Hegarty (1996),la
mayoría de los procesos de resolución presentan mayor dificultad en construir una
representación útil del problema,que el proceso de ejecución de la solución

2.04.2 Concepción de in plan

El plan que permite resolver un problema se obtiene, cuando se sabe cuáles son los
cálculos, razonamientos o pasos, que se deben realizar para determinar la incógnita
 104

.
Se debe descubrir el camino que conduce a la solución.Este es el paso más difícil en
la resolución de problemas.

El plan surge de una buena idea, y esta se fundamenta en procesos lógicos y

sicológicos.

Es necesario recordar conocimientos adquiridos en diversos campos académicos y

en la experiencia(memoria de largo plazo) acumulada en la vida. Según Navarro R
(26) “Concepciones científicas sobre ciencia cognoscitiva ( Brown, 1979 ; Rumelhart
y Norman, 1985; Anderson y Hinton, 1989; Ruiz, 1994; Baddeley, 1998 ) establecen
diferencias entre el uso de las memorias de corta y de larga duración. La primera
genera retención por medio limitado, y tiene poca utilidad para el aprendizaje
permanente, mientras que la segunda, es un sistema activo que permite organizar,
retener y procesar la información, y faculta a la persona para establecer
relaciones, formular generalizaciones, y lograr aprendizajes perdurables y
significativos”

Es indispensable tener una gran motivación para la resolución del problema, para
generar los mecanismos sicológicos creativos,que conducen a esa buena idea,
que será la base para la concepción del plan.

Ayuda para la concepción del plan, más no lo genera, examinar las siguientes
preguntas:

1) ¿Se ha encontrado con un problema semejante? ¿Conoce algún problema con un

planteamiento ligeramente diferente?

2) ¿Conoce un problema con una incógnita similar? ¿Conoce algún teorema o ley
que le pueda ser de utilidad?

3) Si encuentra un problema resuelto, relacionado con el analizado, ¿Se puede

utilizar el método utilizado? ¿Se puede utilizar el resultado? ¿Se requiere introducir
alguna modificación para adaptar la solución a la situación analizada?

4) ¿Se puede enunciar el problema de otra manera, sin alterar la esencia del
problema?

5) ¿Se puede resolver algún problema relacionado con el problema propuesto?

¿Se utilizan todos los datos y las condiciones en la solución?

6)¿Se puede hacer una representación gráfica, de la situación problemática

propuesta?

Las personas que inician en la actividad de resolver problemas deben memorizar

estas preguntas,para considerarlas en el momento de resolver un problema.
 105

¿Pero cómo actuar ,si no aparece la idea,que permita encontrar el camino a la

solución?

En el libro Mathematical Thinking de Mason(14),se reflexiona acerca de la situación

de sentirse atrapado, cuando en el proceso de resolucion,no se encuentra una
salida para el problema.

En este estado surgen sentimientos de impotencia, al sentir que no se realiza

ningún progreso, y hasta de pánico ,que frecuentemente impulsan a abandonar la
tarea de resolución del problema.En este momento es oportuno reconocer la
situación, escribiendo sobre un papel en blanco la palabra “atrapado”,esto permite
tomar una cierta distancia, de las emociones incapacitantes que la situación
genera.Puede ocurrir ,que en este momento se abandone el trabajo o se haga una
pausa, y se retome otra actividad, pero antes de hacerlo es recomendable escribir
que aspectos del problema bloquean el camino a la solución,ya que esto permitirá
posteriormente retomar la solución del problema con mayor facilidad.

En este momento se debe recordar que el éxito requiere pasión, persistencia,

emoción, la capacidad de sobrevivir y, especialmente, entender el valor de un
fracaso..

Al retomar el trabajo se debe hacer una nueva y cuidadosa lectura del problema,y
una revisión de lo alcanzado hasta ese momento, y conviene hacerse las siguientes
preguntas:¿Qué se conoce?¿Qué necesito?¿Qué debo introducir para encontrar el
camino?¿Cual es la relación que necesito y no puedo determinar?¿Qué deseo
alcanzar?.Si no se logra visualizar la solución, es el momento de consultar con otras
personas conocedoras del tema.Sentirse atrapado en la solución de un
problema y terminar alcanzando la solución, es una de las experiencias más
enriquecedoras en la formación de un actitud perseverante, y de la cual se termina
aprendiendo mucho.

2.04.3 Ejecución del plan

Al ejecutar el plan se debe verificar la veracidad de cada paso, bien sea por una
demostración formal, por un razonamiento, o porque la experiencia o la intuición
sirven de soporte.

2.04.4 Revisión y evaluación de la solución

Una vez se obtiene la solución, ayuda a la visión retrospectiva del problema,

examinar las siguientes preguntas:

¿Se puede verificar el resultado?; ¿Se puede verificar el razonamiento? ¿Se puede
obtener el resultado de un modo distinto? ¿El valor obtenido en el resultado es
coherente con el sentido común?;¿Se puede utilizar el resultado o el método para
resolver algún otro problema?;¿Cuál es el aprendizaje obtenido de la resolución del
problema, que debo incorporar en mi memoria de largo plazo?
 106

Ejemplo 2.01

Problema a resolver,tomado de la referencia (1)

Determinar la diagonal de un paralelepípedo rectangular, dadas su longitud, ancho

y altura.

COMPRENSIÓN DEL PROBLEMA

1)¿Entiende todas las palabras involucradas en el problema?:

¿Qué es un paralelepípedo? Es un sólido limitado por seis paralelogramos, cuyas

caras opuestas son iguales y paralelas.

¿Qué es un paralelepípedo rectangular?Es un paralelepípedo en el cual los

paralelogramos se intersectan en ángulo recto.

¿Qué es un paralelogramo? Es una clase especial de cuadrilátero (polígono formado

por solo cuatro lados)cuyos lados opuestos son iguales y paralelos .

¿Puede dar un ejemplo práctico de un paralelepípedo?.Si, el salón de clases.

¿Qué es la diagonal de un paralelepípedo?Es el segmento rectilíneo, entre dos

vértices que se encuentran en planos perpendiculares, de paralelogramos
opuestos.

¿Todas las diagonales del paralelipipedo son iguales? Si

¿Puede dibujar un paralelepípedo y su diagonal? Si.A continuación se presenta el

dibujo del paralelipipedo, y una de sus diagonales

Figura 2.01. Un paralelepípedo y una de sus diagonales

1)TRADUCCIÓN

a)Separación de las principales partes del problema

 107

¿Cuál es la incógnita?: la longitud de la diagonal de un paralelepípedo

¿Cuáles son los datos?: la longitud, el ancho y la altura del paralelepípedo.

¿Cuál es la condición? : que el paralelepípedo sea rectangular.

b)Introducir una notación adecuada.

Se acostumbra utilizar para las incógnitas, letras minúsculas de las últimas del
alfabeto: w, x, y, z.

Para los datos se utilizan las primeras letras del alfabeto: a, b, c, d, e, etc., que se
relacionen con la naturaleza del dato.

En la situación que se estudia, se asignan: la letra x para la incógnita ¨longitud de la

diagonal del paralelepípedo¨.

Para los datos de la geometría del paralelepípedo se utilizan: la letra a para el

ancho, la letra l para la longitud, y h para la altura

2)INTERPRETACIÓN

a)¿Es posible dibujar una figura relacionada con el problema donde se muestren
la incógnita y los datos?
Si,se muestra a continuación

x
h
1
a
y
4 l 3
Figura 2.02. Dimensiones de un paralelepípedo

b)¿Es posible satisfacer la condición? ¿Es suficiente la condición para determinar la

incógnita?

En un paralelepípedo
1 rectangular al definir a, l, h queda determinado el sólido, y en
consecuencia su diagonal.

CONCEPCIÓN DE UN PLAN