Proposición compuesta

Resumen inicial

Identificación y formalización de proposiciones compuestas formadas por la unión de proposiciones simples mediante conectivos lógicos o negación.

Explicación en palabras simples

Una proposición compuesta (o molecular) es una afirmación construida al combinar dos o más proposiciones simples mediante palabras de enlace llamadas conectivos lógicos (como "y", "o", "si... entonces", "si y solo si") o al aplicar una negación ("no", "es falso que"). Por ejemplo, "$6$ es par y $6$ es múltiplo de $3$" es una proposición compuesta. Su verdad o falsedad depende directamente de los valores de verdad de las partes que la forman y del conectivo que las une.

Proposición compuesta y conectivos lógicos

Explicación formal

Definición formal

En el cálculo proposicional, una proposición compuesta (o molecular) es una fórmula proposicional bien formada $\Phi$ obtenida por la aplicación inductiva de al menos un conectivo u operador lógico sobre una o más proposiciones simples $p_1, p_2, \dots, p_n$:
$$\Phi = \omega(p_1, p_2, \dots, p_n) \quad \text{donde } \omega \in \{\neg, \land, \lor, \to, \leftrightarrow, \oplus\}$$
El valor de verdad global $v(\Phi)$ es una función determinística de los valores atómicos $v(p_i)$ evaluados a través de las tablas de verdad de los conectivos intervinientes.

Desglose simbólico

Conectivo unario de negación: $\neg p$ ("no $p$").
Conectivo binario de conjunción: $p \land q$ ("$p$ y $q$").
Conectivo binario de disyunción inclusiva: $p \lor q$ ("$p$ o $q$").
Conectivo binario condicional: $p \to q$ ("si $p$, entonces $q$").
Conectivo binario bicondicional: $p \leftrightarrow q$ ("$p$ si y solo si $q$").

Síntesis didáctica

Toda proposición que contenga al menos un operador lógico ($\neg, \land, \lor, \to, \leftrightarrow$) es por definición una proposición compuesta. La cantidad de filas en su tabla de verdad para $n$ variables atómicas distintas es exactamente $2^n$.

Definiciones clave

Proposición compuesta / molecular: Estructura lógica estructurada a partir de proposiciones simples y conectivos lógicos.
Conectivo lógico: Operador formal ($\neg, \land, \lor, \to, \leftrightarrow$) que vincula o modifica proposiciones.
Principio de composicionalidad veritativa: Regla por la cual el valor de verdad del compuesto se deduce exclusivamente del valor de sus partes atómicas.

Propiedades y relaciones importantes

Función de verdad de orden $n$: Una proposición compuesta con $n$ variables proposicionales independientes genera una tabla de verdad de $2^n$ combinaciones posibles.
Jerarquía de operadores: Por convención, la negación $\neg$ posee mayor precedencia que la conjunción $\land$ y la disyunción $\lor$, las cuales a su vez preceden al condicional $\to$ y bicondicional $\leftrightarrow$.

Ejemplo guiado

Ejemplos de proposiciones compuestas

Identifica las proposiciones simples y el conectivo lógico presente en el enunciado: "Si un polígono tiene $4$ lados, entonces es un cuadrilátero".

Paso 1: Identificar el antecedente simple: $p$: "Un polígono tiene $4$ lados".
Paso 2: Identificar el consecuente simple: $q$: "El polígono es un cuadrilátero".
Paso 3: Identificar la estructura de enlace: La construcción "Si... entonces..." corresponde al conectivo condicional ($\to$).
Paso 4: Escribir la formalización simbólica compuesta: $p \to q$.

Procedimiento

Paso 1: Leer el enunciado y aislar las oraciones atómicas o proposiciones simples componentes.
Paso 2: Asignar una variable proposicional ($p, q, r, \dots$) a cada proposición simple distinta.
Paso 3: Identificar los términos de enlace lingüísticos ("y", "o", "si... entonces", "si y solo si", "no").
Paso 4: Traducir los enlaces a sus símbolos de conectivos lógicos ($\land, \lor, \to, \leftrightarrow, \neg$) para estructurar la fórmula proposicional.

Errores frecuentes y cómo corregirlos

Error 1: Creer que una proposición compuesta requiere al menos dos proposiciones simples distintas. Cómo corregirlo: La negación de una única proposición simple (como $\neg p$: "El $3$ no es par") es por definición una proposición compuesta.
Error 2: Confundir conectores del lenguaje cotidiano con operadores lógicos en frases de relación. Cómo corregirlo: En "El punto $A$ y el punto $B$ determinan una recta", la "y" une objetos geométricos en una relación atómica simple indivisible.

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"La afirmación de que los conectivos lógicos pueden operar sobre expresiones que no son proposiciones."

"La afirmación de que una proposición compuesta exige obligatoriamente la presencia de dos o más variables distintas."

"La afirmación de que la tabla de verdad de una fórmula con dos variables proposicionales posee 2 filas."

"La afirmación de que la negación de una proposición simple se clasifica como una proposición simple."

"La afirmación de que el valor de verdad de una proposición compuesta es independiente del valor de sus proposiciones simples."

"Una proposición compuesta o molecular resulta de combinar proposiciones simples mediante uno o más conectivos lógicos ($\neg, \land, \lor, \to, \leftrightarrow$)."

"El valor de verdad de una proposición compuesta queda unívocamente determinado por los valores de verdad de sus proposiciones atómicas y la tabla de verdad de sus conectivos."

Al terminar debes poder

Resumen de tabla de verdad 2ⁿ

Identificar, descomponer y estructurar proposiciones compuestas a partir de proposiciones simples y conectivos lógicos.

Reconocer los conectores lingüísticos ($\land, \lor, \to, \leftrightarrow, \neg$), aislar las proposiciones atómicas y formular la expresión simbólica compuesta.

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?
¿La expresión lógica '$3 < 5$ o $4 > 10$' representa una proposición de tipo simple?
¿Los conectivos lógicos en una proposición compuesta deben conectar siempre exactamente dos proposiciones simples?

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.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación