Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MATEMÁTICA
TEMA 1
PROPOSICIONES
Objetivo
Introducción
La lógica es un procedimiento razonado que no acepta conclusiones erradas. Esto se puede lograr
definiendo en forma estricta cada uno de los conceptos. Todo debe definirse de tal forma que no
dé lugar a dudas o imprecisiones en la veracidad de su significado. Nada puede darse por
supuesto. Por ejemplo, en el lenguaje ordinario, un enunciado u oración se puede definir como
“una palabra o grupo de palabras que declara, pregunta, ordena, solicita o exclama algo”. Sin
embargo, en lógica simbólica una oración tiene un significado mucho más específico y se llama
proposición, que son los elementos fundamentales de la lógica. Una proposición es un enunciado
que sólo puede ser verdadero o sólo puede ser falso, El valor de verdad de una proposición es la
cualidad de veracidad que describe adecuadamente la proposición. Este puede ser verdadero (1)
o falso (0) para comparar dos o más proposiciones utilizaremos una herramienta denominada
tabla de verdad la cual es una representación de los posibles valores de verdad que podría tomar
dos o más proposiciones. Las tablas de verdad sirven para mostrar los valores, las relaciones y los
resultados posibles al realizar las operaciones lógicas por lo general se utilizan proposiciones del
tipo compuestas las mismas que son proposiciones relacionadas con un conector lógico.
Negación: ~ , ¬ “no”
Disyunción: ∨ “o”
Conjunción: ∧ “y”
Condicional: → “si… entonces”
Bicondicional: ↔ “si y solo si”
Si al evaluar una fórmula lógica, resulta que todos los valores de verdad son siempre verdaderos para
cualquier combinación de los valores de verdad de las proposiciones componentes, se dice que dicha
fórmula es una Tautología o Ley lógica.
Ejemplo 1
Analizando la proposición p ~p mediante la tabla de verdad, se tiene:
p ~p p ~p
V F V
F V V
Se observa que para cualquier combinación de las proposiciones p y su negación ~p, la proposición
p ~p es siempre verdadera. Luego, la proposición compuesta p ~p es una tautología.
Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para cualquier
valor de verdad de las proposiciones intervinientes el resultado de dicha fórmula es siempre falso, se
dice que dicha fórmula es una Contradicción.
Ejemplo 1
Analicemos la fórmula lógica p ~p
p ~p p ~p
V F F
F V F
Si una proposición no es una tautología ni una contradicción (es decir que contiene al menos un valor V
y otro F) es una Contingencia.
Ejemplo 1
EQUIVALENCIA LÓGICA
Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B, denotado
por sí y solo si es una tautología.
Cuando se requiere sustituir una estructura por otra que sea equivalente, alternativamente el
símbolo se lo reemplaza por otra expresión que cumpla los requerimientos de tautología ante
poniendo el símbolo
Ejemplo 1
Las operaciones lógicas definidas entre las formas proposicionales y algunas de sus más
importantes propiedades se incluyen en las denominadas leyes del algebra de proposiciones o
leyes lógicas y básicamente son expresiones equivalentes su demostración es mediante tablas
de verdad similar al ejemplo anterior
En la tabla anterior queda demostrado una de las leyes de la implicación o condicional que la ecuación
lógica es una equivalencia.
Los siguientes recursos complementarios son sugerencias para que se pueda ampliar la
información sobre el tema trabajado, como parte de su proceso de aprendizaje autónomo:
Videos de apoyo:
Bibliografía de apoyo:
Basurto Hidalgo, Eduardo (2010), MATEMÁTICAS, Prentice Hall
Aguilar Márquez Arturo, Bravo Vásquez, Fabián, Gallegos Ruiz Hernán Aurelio, Cerón Villegas
Miguel, Reyes Figueroa Ricardo (2015), MATEMÁTICAS SIMPLIFICADAS, México, Pearson.
Conamat, (2015), MATEMÁTICAS SIMPLIFICADAS, Pearson
Jiménez, (2015), MATEMÁTICAS Y VIDA COTIDIANA 1, Pearson.