Proposición simple
Resumen inicial
Identificación de proposiciones simples o atómicas caracterizadas por expresar una sola idea indivisible sin conectivos lógicos ni negaciones.
Explicación en palabras simples
Una proposición simple (o atómica) es el tipo más básico de proposición: expresa una sola afirmación directa y no contiene conectores lógicos (como "y", "o", "si... entonces") ni la palabra "no". Por ejemplo, "El número $7$ es primo" o "$12 > 5$" son proposiciones simples porque no se pueden dividir en oraciones más pequeñas sin que pierdan su sentido. Son los bloques fundamentales con los que se construyen razonamientos más complejos.
Explicación formal
Definición formal
En el cálculo proposicional, una proposición simple (o atómica) es una fórmula bien formada que carece de operadores o conectivos lógicos proposicionales:
$$p \in \mathcal{P}_{\text{atómica}} \implies p \text{ no contiene elementos del conjunto de conectivos } \{\neg, \land, \lor, \to, \leftrightarrow, \oplus\}$$
y posee una estructura predicativa mínima indivisible formada por un sujeto y un predicado o por una relación entre elementos.
Desglose simbólico
- Proposiciones predicativas simples: Atribuyen una propiedad a un único objeto (ej. $p$: "$11$ es impar").
- Proposiciones relacionales simples: Expresan una relación indivisible entre dos o más objetos (ej. $q$: "$5 < 9$", $r$: "$A$ es paralela a $B$").
- Simbolización: Se denotan convencionalmente mediante letras minúsculas $p, q, r, s, t$.
Síntesis didáctica
Una proposición es simple si al intentar descomponerla en oraciones independientes no se obtienen dos o más afirmaciones completas con sentido propio.
La alternativa correcta es 'El número $23$ es un número primo'. Es una afirmación única sin conectivos ni negación.
Definiciones clave
- Proposición simple / atómica: Enunciado declarativo básico carente de conectores lógicos y de negación.
- Proposición relacional: Proposición simple que vincula dos entidades mediante una relación indivisible (como "$a < b$" o "Juan y María son hermanos").
- Operador de negación ($\neg$): Conectivo unario que al aplicarse sobre una proposición simple la transforma formalmente en compuesta ($\neg p$).
Propiedades y relaciones importantes
- Indivisibilidad lógica: Toda proposición simple posee exactamente una asignación atómica de valor de verdad en la tabla de verdad ($2^1 = 2$ filas).
- La negación genera compuestos: La presencia de un "no" o "es falso que" convierte a la proposición en compuesta ($\neg p$).
Ejemplo guiado
Determina si cada enunciado es una proposición simple o compuesta: 1) "$18$ es múltiplo de $3$", 2) "$18$ es múltiplo de $3$ y de $6$", 3) "El número $18$ no es primo".
- Paso 1: Analizar "$18$ es múltiplo de $3$": Expresa una única afirmación indivisible sin conectores lógicos ni negación. Es una **proposición simple**.
- Paso 2: Analizar "$18$ es múltiplo de $3$ y de $6$": Contiene la conjunción "y" que enlaza dos proposiciones ("$18$ es múltiplo de $3$" y "$18$ es múltiplo de $6$"). Es una **proposición compuesta**.
- Paso 3: Analizar "El número $18$ no es primo": Contiene el operador lógico de negación "no". En lógica matemática la negación es un conectivo, por lo que es una **proposición compuesta**.
- Paso 4: Concluir que solo el primer enunciado es una proposición simple atómica.
La alternativa correcta es 'Porque contiene el conectivo lógico de negación "no"'. La negación es un operador lógico que estructura proposiciones compuestas.
Procedimiento
- Paso 1: Confirmar que la expresión es una proposición con valor de verdad definido ($V$ o $F$).
- Paso 2: Buscar conectivos lógicos binarios ("y", "o", "entonces", "si y solo si").
- Paso 3: Buscar operadores de negación ("no", "nunca", "es falso que").
- Paso 4: Si no contiene ningún conectivo ni operador de negación y expresa una sola idea, clasificarla como proposición simple.
Errores frecuentes y cómo corregirlos
- Error 1: Clasificar proposiciones que contienen "no" como simples debido a su brevedad. Cómo corregirlo: La negación es un conectivo lógico unario ($\neg p$); por lo tanto, cualquier proposición negada es formalmente una proposición compuesta.
- Error 2: Confundir conjunciones gramaticales relacionales con conectores lógicos. Cómo corregirlo: En frases como "Las rectas $L_1$ y $L_2$ son paralelas", la "y" une términos de una relación indivisible, constituyendo una proposición simple.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- El signo $+$ es un operador aritmético, no un conectivo lógico.
- La igualdad afirma una única relación entre dos cantidades.
- No, contiene la disyunción "o", que une dos proposiciones simples.
- Sí, establece una relación geométrica directa e indivisible entre dos segmentos.
- No, la presencia de la negación "no" la convierte formalmente en una proposición compuesta.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Identificar y diferenciar proposiciones simples (atómicas) de proposiciones compuestas.
Verificar la ausencia de conectivos lógicos ($\land, \lor, \to, \leftrightarrow$) y del operador de negación ($\neg$) en una afirmación indivisible.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué es una proposición simple (o atómica)?
Una proposición simple es indivisible en términos lógicos; describe un solo hecho matemático o lógico sin recurrir a enlaces lógicos como 'y', 'o', 'si... entonces' ni a la negación 'no'.
Respuesta: Una proposición que expresa una sola idea sin conectivos lógicos ni negación.
-
¿Cuál de las siguientes afirmaciones constituye una proposición simple?
'El número $17$ es menor que $20$' expresa una única idea atómica y no tiene conectivos lógicos. Las demás contienen conjunciones, condicionales o negaciones, lo que las hace compuestas.
Respuesta: El número $17$ es menor que $20$.
-
¿Qué característica define la 'indivisibilidad' de una proposición simple?
La indivisibilidad lógica implica que no se puede fraccionar el enunciado en dos o más declaraciones declarativas independientes unidas por conectivos lógicos.
Respuesta: Que no puede dividirse en proposiciones más sencillas conectadas lógicamente.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifique el enunciado que representa una proposición simple de relación.
'El número $5$ es menor que el número $8$' es una proposición simple relacional. Aunque compara dos elementos, la proposición en sí expresa un único juicio directo y no contiene conectivos lógicos.
Respuesta: El número $5$ es menor que el número $8$.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿La proposición 'El número $5$ no es un número par' es una proposición simple?
Falso. La palabra 'no' representa al operador lógico de negación. Al aplicarse sobre una proposición simple ('El número 5 es un número par'), la transforma en una proposición compuesta.
Respuesta: Falso
-
¿El enunciado '$10 \\cdot 2 = 20$' es una proposición de tipo simple?
Sí, es una proposición simple porque expresa una única igualdad aritmética declarativa cerrada y sin conectivos lógicos.
Respuesta: Verdadero
-
¿El enunciado 'Santiago es la capital de Chile y Madrid es la capital de España' es una proposición simple?
Es falso, porque está formada por dos proposiciones simples unidas por el conector lógico 'y' (conjunción), convirtiéndose en una proposición compuesta.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Considere la proposición: "La recta $L_1$ es paralela a la recta $L_2$". ¿Cuál de las siguientes afirmaciones sobre esta proposición es lógicamente correcta?
Aunque el enunciado nombra dos elementos ($L_1$ y $L_2$), expresa una sola propiedad de relación recíproca directa (paralelismo) que no puede ser dividida en dos afirmaciones lógicas independientes. Por ende, es una proposición simple.
Respuesta: Es una proposición simple de relación porque conecta dos entidades a través de un vínculo indivisible.
-
Un profesor de lógica solicita a sus alumnos dar un ejemplo de proposición simple. Cuatro estudiantes entregan las siguientes respuestas. ¿Quién propuso el ejemplo correcto?
La frase de Camila es una oración declarativa con un sujeto y un predicado que expresa una única idea directa sin conectivos ni negaciones, lo cual cumple la definición de proposición simple. Los demás ejemplos contienen conectores ('o', 'si... entonces') o negación ('no es verdad que').
Respuesta: Camila: "La Tierra gira alrededor del Sol."
-
¿Cuál de las siguientes proposiciones presentadas en un libro de texto de geometría se clasifica como una proposición simple?
La opción 'El triángulo $ABC$ es semejante al triángulo $DEF$' describe una única relación directa entre dos triángulos, sin conectivos lógicos ni negación, por lo que es una proposición simple. Las otras alternativas tienen conectivos ('si... entonces', 'e' de conjunción) o negación ('no').
Respuesta: "El triángulo $ABC$ es semejante al triángulo $DEF$."