Variable proposicional
Resumen inicial
Definición y uso de variables proposicionales ($p, q, r$) como símbolos abstractos que representan proposiciones simples y adoptan valores en $\{V, F\}$.
Explicación en palabras simples
Así como en álgebra usamos letras como $x$ o $y$ para representar números desconocidos, en lógica usamos letras minúsculas como $p$, $q$, $r$, $s$ para representar frases u oraciones completas. Estas letras se llaman variables proposicionales. Gracias a ellas, no necesitamos escribir oraciones largas repetidamente y podemos analizar la estructura pura del razonamiento sin distraernos con el tema del que se habla. Cada variable proposicional puede tomar solo uno de dos valores: Verdadero ($V$) o Falso ($F$).
Explicación formal
Definición formal
En el lenguaje formal de la lógica proposicional $\mathcal{L}_0$, una variable proposicional (o átomo lógico) es un símbolo perteneciente a un conjunto numerable de variables atómicas $\mathcal{V} = \{p, q, r, s, t, p_1, p_2, \dots\}$. Formalmente, cada variable proposicional $p \in \mathcal{V}$ actúa como un elemento primitivo de la sintaxis cuyo dominio semántico de asignación de verdad es:
$$\operatorname{Dom}(v(p)) = \mathbb{V} = \{V, F\}$$
Desglose simbólico
- Símbolos atómicos estándar: Letras latinas minúsculas $p, q, r, s$.
- Espacio de estados para $n$ variables: $\mathbb{V}^n = \{V, F\}^n$, con cardinalidad $|\mathbb{V}^n| = 2^n$.
- Abstracción semántica: La variable $p$ captura la condición veritativa de un enunciado sin depender del significado empírico de las palabras.
Síntesis didáctica
Las variables proposicionales permiten traducir oraciones del lenguaje natural a fórmulas matemáticas manipulables mediante álgebra de Boole y tablas de verdad.
La alternativa correcta es 'Letras latinas minúsculas como $p, q, r, s$'. Son los símbolos universales para variables proposicionales atómicas.
Definiciones clave
- Variable proposicional: Símbolo literal ($p, q, r$) que representa una proposición simple arbitraria.
- Átomo lógico: Expresión mínima indivisible en la sintaxis del cálculo proposicional.
- Asignación de variable: Fijación de un valor de verdad específico ($v(p) = V$ o $v(p) = F$) a una variable lógica.
Propiedades y relaciones importantes
- Distinción respecto a variables algebraicas: Una variable algebraica $x$ representa una cantidad numérica en $\mathbb{R}$, mientras que una variable proposicional $p$ representa un estado de verdad en $\{V, F\}$.
- Consistencia veritativa: Dentro de una misma fórmula o deducción lógica, una variable proposicional $p$ debe mantener el mismo valor de verdad en todas sus apariciones.
Ejemplo guiado
Define variables proposicionales para representar simbólicamente el siguiente razonamiento: "Si $16$ es divisible por $4$, entonces $16$ es un número par".
- Paso 1: Identificar la primera proposición simple del enunciado: "16 es divisible por 4".
- Paso 2: Asignar la primera variable proposicional: Sea $p$: "$16$ es divisible por $4$".
- Paso 3: Identificar la segunda proposición simple: "16 es un número par".
- Paso 4: Asignar la segunda variable proposicional: Sea $q$: "$16$ es un número par". La estructura lógica simbolizada es $p \to q$.
La alternativa correcta es 'La variable algebraica toma valores numéricos, mientras que la proposicional toma valores de verdad $\{V, F\}$'. Tienen dominios de definición completamente distintos.
Procedimiento
- Paso 1: Identificar las proposiciones atómicas individuales presentes en el texto.
- Paso 2: Asignar una letra minúscula única ($p, q, r, \dots$) a cada proposición atómica distinta.
- Paso 3: Declarar explícitamente el diccionario de equivalencias (ej. Sea $p$: "El triángulo es isósceles").
- Paso 4: Utilizar las variables asignadas para construir y operar con la fórmula lógica correspondiente.
Errores frecuentes y cómo corregirlos
- Error 1: Asignar la misma letra proposicional a dos afirmaciones diferentes. Cómo corregirlo: Cada proposición simple con significado distinto debe recibir una variable proposicional diferente ($p$ para la primera, $q$ para la segunda).
- Error 2: Creer que una variable proposicional $p$ posee un valor de verdad fijo inmutable a priori. Cómo corregirlo: Una variable proposicional es un símbolo abstracto que puede asumir tanto el valor $V$ como el valor $F$ según el contexto o la fila de la tabla de verdad.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Se descomponen las dos ideas simples.
- Se asignan letras minúsculas distintas $p$ y $q$.
- Sí, en la lógica bivalente solo puede tomar los valores Verdadero o Falso.
- Sí, la asignación de verdad de una variable debe ser consistente dentro del mismo argumento.
- Sí, ambas posiciones corresponden a la misma proposición atómica $p$.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
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 es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, asignar y utilizar variables proposicionales ($p, q, r$) para abstraer proposiciones simples.
Asociar una letra minúscula distinta a cada afirmación atómica e interpretar su dominio de evaluación en $\{V, F\}$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué es una variable proposicional en el estudio de la lógica formal?
Una variable proposicional ($p, q, r, ...$) representa un enunciado declarativo completo cuyo contenido específico no está determinado, sirviendo para estudiar estructuras lógicas puras.
Respuesta: Un símbolo (usualmente una letra minúscula) que representa una proposición declarativa arbitraria.
-
¿Qué valores puede tomar una variable proposicional bajo el sistema lógico binario?
Una variable proposicional representa una proposición. Dado que en lógica clásica las proposiciones solo pueden ser verdaderas ($V$) o falsas ($F$), la variable toma valores de este conjunto binario.
Respuesta: Únicamente los valores del conjunto $\\{V, F\\}$ (Verdadero o Falso).
-
¿Cuál es la principal utilidad de usar variables proposicionales en lógica matemática?
El uso de variables proposicionales independiza la validez de los razonamientos de las palabras concretas utilizadas, permitiendo estudiar las propiedades estructurales de las relaciones lógicas de forma general.
Respuesta: Permitir la abstracción y el análisis formal del razonamiento de forma independiente de su significado semántico.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifique cuál de los siguientes símbolos representa la notación estándar para una variable proposicional simple.
Por convención lógica, las variables proposicionales se denotan con letras minúsculas a partir de la letra $p$ ($p, q, r, s, ...$). Las mayúsculas o conectivos tienen otras funciones lógicas.
Respuesta: $p$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿La variable proposicional $p$ en lógica proposicional puede representar de manera directa al valor numérico $15$?
Falso. Una variable proposicional representa enunciados declarativos (proposiciones), no valores numéricos ni variables algebraicas ordinarias.
Respuesta: Falso
-
¿Dos apariciones de la misma variable proposicional $p$ dentro de una misma fórmula lógica deben asumir obligatoriamente el mismo valor de verdad?
Verdadero. En una expresión lógica dada, una misma variable representa a la misma proposición y, por ende, debe mantener un valor de verdad consistente ($V$ o $F$) a lo largo de toda la evaluación.
Respuesta: Verdadero
-
Si $p$ es una variable proposicional, ¿la expresión '$\\sim p$' también califica como una variable proposicional simple?
Falso. La expresión '$\sim p$' es una fórmula lógica compuesta que contiene la variable $p$ y el operador lógico de negación, no es una variable simple.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Un diseñador de software lógico quiere simular el comportamiento de tres enunciados distintos en un circuito lógico digital. Para lograr esto, define en su programa las variables $p$, $q$ y $r$. ¿Qué representan estas variables dentro del modelo conceptual diseñado?
En el modelamiento de la lógica formal aplicada a circuitos de software, las variables minúsculas $p$, $q$ y $r$ se utilizan como variables proposicionales para representar las proposiciones lógicas de entrada, que pueden estar en estado verdadero ($1$) o falso ($0$).
Respuesta: Proposiciones simples que pueden asumir valores verdaderos o falsos.
-
Al simplificar un argumento sobre geometría, un estudiante reemplaza las frases "El triángulo es equilátero" por la variable $p$, y "El triángulo tiene tres ángulos interiores de $60^\\circ$" por la variable $q$. ¿Qué objetivo se logra primordialmente al realizar este reemplazo simbólico?
La traducción de enunciados verbales a variables proposicionales tiene como fin abstraer el contenido semántico particular para centrarse exclusivamente en la validez y estructura del razonamiento lógico.
Respuesta: Estudiar la estructura del argumento de manera abstracta y formal, evitando la distracción semántica del texto.
-
Si definimos la variable $p$: "El número entero $n$ es divisible por $2$" y la variable $q$: "El número entero $n$ es divisible por $3$". ¿Qué representa formalmente la expresión combinada "$p$ y $q$" en términos de variables proposicionales?
El enunciado combina dos proposiciones simples representadas por las variables $p$ y $q$ mediante el enlace lógico 'y'. En lógica, esto se representa como la conjunción de dichas variables ($p \land q$).
Respuesta: La conjunción lógica de dos proposiciones simples representadas por las variables $p$ y $q$.