Proposición compuesta
Identificar proposiciones compuestas formadas a partir de la unión de dos o más proposiciones simples mediante conectivos lógicos o por el uso de la negación.
Introducción
Imagina que juntas varios bloques de Lego para armar un automóvil de juguete. Cada bloque individual era una parte simple, pero al conectarlos creas algo más grande y complejo.
En lógica, las proposiciones compuestas son exactamente eso: construcciones formadas al unir dos o más proposiciones simples usando palabras clave llamadas conectivos lógicos (como "y", "o", "si... entonces") o al aplicar la negación ("no"). Aprender cómo se forman te permitirá construir razonamientos lógicos completos y analizar problemas complejos paso a paso.
Explicación
Una proposición compuesta (o proposición molecular) es aquella que resulta de la combinación de una o más proposiciones simples mediante operadores lógicos denominados conectivos lógicos (o conectores).
Los conectivos lógicos fundamentales son:
- 'Negación ("no", "es falso que", representado por $\sim$ o $\neg$): Modifica el valor de verdad de una proposición.'
- 'Conjunción ("y", representado por $\land$): Requiere que ambas partes sean verdaderas.'
- 'Disyunción inclusiva ("o", representado por $\lor$): Al menos una parte debe ser verdadera.'
- 'Condicional ("si... entonces", representado por $\rightarrow$ o $\Rightarrow$): Expresa una implicación lógica.'
- 'Bicondicional ("si y solo si", representado por $\leftrightarrow$ o $\Leftrightarrow$): Expresa una equivalencia mutua.'
Ejemplos de proposiciones compuestas:
- '$p \land q$: "El número $4$ es par y el número $9$ es un cuadrado perfecto."'
- '$\sim r$: "No es verdad que el número $2$ sea impar."'
- '$s \rightarrow t$: "Si un triángulo tiene tres lados iguales, entonces es equilátero."'
Es importante señalar que el valor de verdad de una proposición compuesta depende exclusivamente de los valores de verdad de las proposiciones simples que la componen y de los conectivos lógicos utilizados.
Cómo hacerlo paso a paso
- Paso 1: Identificar las proposiciones simples (proposiciones atómicas) contenidas en el enunciado.
- Paso 2: Buscar e identificar los conectivos lógicos presentes (como 'y', 'o', 'si... entonces', 'si y solo si', 'no').
- Paso 3: Si se encuentra al menos un conectivo lógico o una negación que una o modifique las proposiciones simples, clasificar el enunciado como una proposición compuesta.
Ejemplos
1 Descomponga la proposición compuesta 'Si apruebo el examen, entonces iré de vacaciones' en sus proposiciones simples e identifique el conectivo lógico.
- Paso a: Identificamos la primera proposición simple: $p$: 'Apruebo el examen'.
- Paso b: Identificamos la segunda proposición simple: $q$: 'Iré de vacaciones'.
- Paso c: Identificamos el término de enlace: 'Si... entonces...', el cual representa al conectivo lógico condicional ($\rightarrow$).
2 Determine si el enunciado '$12$ es divisible por $3$ y $12$ es divisible por $4$' es una proposición compuesta.
- Paso a: El enunciado contiene dos declaraciones lógicas simples: '$12$ es divisible por $3$' y '$12$ es divisible por $4$'.
- Paso b: Ambas declaraciones están unidas por el conector lógico 'y', que representa una conjunción ($\land$).
- Paso c: Como está formada por dos proposiciones simples conectadas, es una proposición compuesta.
3 ¿Es una proposición compuesta el enunciado 'No es cierto que el sol sea frío'?
- Aunque contiene una sola declaración base ('El sol es frío'), está modificada por el operador de negación 'No es cierto que'. En la lógica matemática formal, la negación de una proposición atómica genera una proposición compuesta (o molecular).
4 ¿Es una proposición compuesta el enunciado 'El triángulo equilátero tiene tres lados de igual longitud'?
- Este enunciado expresa una única idea directa sobre el triángulo equilátero. No contiene conectivos lógicos ni negación alguna. Por lo tanto, es una proposición simple, no compuesta.
Ejemplos Verdadero/Falso
"Creer que la negación de una proposición simple sigue siendo simple. La negación es un operador lógico y, por lo tanto, produce una proposición compuesta."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que un enunciado con palabras como 'y' o 'o' es siempre compuesto, sin analizar si conecta proposiciones o elementos gramaticales (como en '2 y 3 son números primos', que expresa que ambos son primos, lo cual es equivalente a '2 es primo y 3 es primo', pero en '2 y 3 suman 5', no se puede dividir en '2 suma 5 y 3 suma 5', por lo que esta última es simple)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Clasificar enunciados extensos como compuestos simplemente por su longitud, ignorando la ausencia de conectivos lógicos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No identificar conectivos implícitos en el lenguaje cotidiano, como comas que actúan como conjunciones ('Estudié, aprobé' equivale a 'Estudié y aprobé')."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir un enunciado abierto compuesto (con variables) con una proposición compuesta verdadera/falsa."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Una proposición compuesta (o molecular) es un enunciado que contiene al menos una proposición simple combinada con conectivos lógicos (como conjunción, disyunción, condicional, bicondicional) o modificada por una negación.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Cuál de los siguientes operadores lógicos puede transformar una única proposición simple en una proposición compuesta?
La negación ($\sim$) es un operador unitario. Se aplica sobre una sola proposición simple ($p$) y da origen a una proposición compuesta ($\sim p$). Los demás conectivos requieren conectar al menos dos proposiciones simples.
Respuesta: La negación
-
¿De qué depende el valor de verdad de una proposición compuesta?
El principio de composicionalidad lógica establece que el valor de verdad de una proposición compuesta queda unívocamente determinado por los valores de verdad de sus partes simples componentes y las definiciones de los operadores lógicos utilizados.
Respuesta: De los valores de verdad de sus proposiciones simples componentes y de las reglas de los conectivos lógicos.
-
¿Qué define a una proposición compuesta (o molecular)?
Una proposición compuesta se caracteriza por estar conformada por proposiciones simples unidas por conectivos lógicos (como la conjunción, disyunción, condicional, bicondicional) o modificadas por el operador de negación.
Respuesta: Un enunciado formado por la combinación de proposiciones simples a través de conectivos lógicos o la negación.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifique cuál de los siguientes enunciados representa una proposición compuesta.
'Si estudias hoy, entonces aprobarás mañana' contiene la estructura condicional 'Si... entonces...' conectando dos proposiciones simples. Por lo tanto, es una proposición compuesta.
Respuesta: Si estudias hoy, entonces aprobarás mañana.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿El enunciado 'No es verdad que Chile esté en Europa' es una proposición compuesta?
Verdadero. Al contener la negación 'No es verdad que', es una proposición compuesta por la aplicación de este operador sobre la proposición simple 'Chile está en Europa'.
Respuesta: Verdadero
-
¿La expresión lógica '$3 < 5$ o $4 > 10$' representa una proposición de tipo simple?
Falso. Está compuesta por dos enunciados simples ('$3 < 5$' y '$4 > 10$') unidos por el conectivo de disyunción 'o'. Por ende, es compuesta.
Respuesta: Falso
-
¿Los conectivos lógicos en una proposición compuesta deben conectar siempre exactamente dos proposiciones simples?
Falso. La negación ($\sim$) es un conector unitario que afecta a una sola proposición simple. Por otro lado, proposiciones compuestas más grandes pueden conectar múltiples proposiciones a la vez empleando varios operadores.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Sean las proposiciones simples $p$: "Hoy es lunes" y $q$: "Tengo clases". Si se forma el enunciado "Si hoy es lunes, entonces tengo clases", ¿cuál de las siguientes opciones describe correctamente este nuevo enunciado?
El enunciado combina dos proposiciones simples ($p$ y $q$) mediante el conectivo condicional 'Si... entonces...', por lo cual se clasifica formalmente como una proposición compuesta condicional ($p \rightarrow q$).
Respuesta: Es una proposición compuesta de tipo condicional.
-
Un estudiante de secundaria quiere redactar una proposición compuesta que emplee el operador de negación. ¿Cuál de las siguientes opciones corresponde a su objetivo?
La frase 'No es cierto que todos los números pares sean compuestos' contiene la negación 'No es cierto que', la cual opera sobre el enunciado simple, conformando una proposición compuesta. Los demás enunciados son una proposición simple, una pregunta y otra proposición simple.
Respuesta: "No es cierto que todos los números pares sean compuestos."
-
En un curso de lógica digital se analiza el comportamiento de una compuerta que recibe dos señales. Si el enunciado lógico es: "La señal A está activa o la señal B está inactiva", ¿cómo se clasifica formalmente este enunciado?
El enunciado posee dos proposiciones simples ('La señal A está activa' y 'La señal B está inactiva') enlazadas por el conectivo 'o' de disyunción, lo cual la define como una proposición compuesta disyuntiva.
Respuesta: Como una proposición compuesta disyuntiva.