1.
Proposiciones
Una proposición es un enunciado del cual se puede afirmar si es verdadero o falso, pero no las
dos cosas a la vez. Por esta razón las preguntas, las órdenes y las exclamaciones no son
proposiciones.
1.1 proposición simple
Una proposición simple es aquella que se forma sin utilizar términos de enlace.
2. Ejercitación y ejemplificación:
Determinar cuál de las siguientes expresiones son proposiciones
a) Tokio es la capital de Japón.
Esta expresión es una proposición porque se puede afirmar si es verdadero o falso que
Tokio es la capital de Japón.
b) ¿Cuál es la raíz cuadrada de 576?
Esta expresión no es una proposición porque es una pregunta y por tanto no se puede afirmar
si es verdadera o falsa
c) Cierre la puerta.
Esta expresión no es una proposición porque es una orden y por esto no se puede afirmar si es
verdadera o falsa.
3. Proposiciones compuestas
Una proposición compuesta es aquella que se forma a partir de dos o más proposiciones
simples que se relacionan mediante enlaces denominados conectivos lógicos.
Por ejemplo,
La proposición “Un triángulo equilátero es equiángulo y en un cuadrado cada ángulo interno
mide 90°” es una proposición compuesta formada por las siguientes proposiciones simples:
p: un triángulo equilátero es equiángulo.
q: en un cuadrado cada ángulo interno mide 90°.
En este caso, las proposiciones p y q se unen mediante el conectivo lógico “y”.
3.1 Conectivos lógicos
Los conectivos lógicos son los términos de enlace que se utilizan para formar proposiciones
compuestas. Cada conectivo lógico se simboliza de una manera diferente y define una
operación lógica según la función que cumple. Los conectivos lógicos son:
El conectivo “no” se denomina monádico porque se aplica a una sola proposición. En cambio, a
los conectivos y, o, si… entonces, si y sólo si, se les denomina diádicos porque se aplica a dos
proposiciones.
Ejemplos:
Escribir la negación de p: el planeta más grande del sistema solar es Júpiter. Luego, determinar
su valor de verdad. La negación de p es:
¬p: el planeta más grande del sistema solar no es Júpiter. El valor de verdad de ¬p es falso
porque Júpiter si es el planeta más grande del sistema solar.
Simbolizar la proposición “Un polígono es regular si sus lados tienen igual medida”. La
proposición se puede reescribir como “Si los lados de un polígono tienen igual medida,
entonces, es un polígono regular”. Luego, se tienen dos proposiciones simples p y q
relacionadas mediante el conectivo si… entonces. Por tanto, la proposición se simboliza p → q.
4.
5.
A partir de las tablas de verdad de la conjunción, la disyunción, la implicación y la equivalencia,
se pueden obtener los posibles valores de verdad de otras proposiciones compuestas. Si todos
los valores de verdad de una proposición compuesta son verdaderos, entonces, la proposición
es una tautología. En cambio, cuando todos los valores de verdad son falsos, entonces, la
proposición es una contradicción. En el caso en el que haya al menos un valor de verdad falso y
otro verdadero, la proposición es una contingencia
Ejercicios
2.