Tabla de verdad de la negación

Resumen inicial

Estructura canónica de la tabla de verdad de la negación ($\neg p$), compuesta por $2$ filas que alternan estrictamente el valor de verdad.

Explicación en palabras simples

La tabla de verdad de la negación es la más sencilla de todas las tablas de lógica. Como solo tiene una variable ($p$), solo hay dos posibilidades: que $p$ sea Verdadera o que $p$ sea Falsa ($2^1 = 2$ filas). En la columna de la negación ($\neg p$), los valores simplemente se invierten: cuando $p$ vale $V$, $\neg p$ vale $F$; y cuando $p$ vale $F$, $\neg p$ vale $V$.

Infografía: Tabla de Verdad de la Negación

Explicación formal

Definición formal

La tabla de verdad de la negación unaria es la representación tabular exhaustiva de la función booleana de complemento $f_\neg: \{V, F\} \to \{V, F\}$:
$$\begin{array}{|c|c|} \hline p & \neg p \\ \hline V & F \\ F & V \\ \hline \end{array}$$
donde cada fila $i \in \{1, 2\}$ representa una asignación de modelo $\mathcal{M}_i \models p$.

Desglose simbólico

Número de filas: $2^n = 2^1 = 2$ estados atómicos independientes.
Inversión biyectiva: $v(\neg p) = 1 - v(p)$ en el álgebra de Boole $(\{0, 1\}, \land, \lor, \neg)$.
Involución tabular: La columna resultante de $\neg(\neg p)$ reproduce exactamente la columna inicial de $p$.

Síntesis didáctica

La tabla de la negación opera fila por fila de manera determinística: la salida en cada celda es exactamente el complemento lógico de la celda de entrada.

Definiciones clave

Tabla de verdad de la negación: Arreglo matricial de 2 filas que muestra la inversión veritativa del operador $\neg$.
Columna de entrada: Columna que lista las combinaciones de verdad de las variables atómicas ($V, F$).
Columna de salida: Columna evaluada mediante la aplicación del operador lógico.

Propiedades y relaciones importantes

Complementariedad estricta: En ninguna fila coinciden los valores de $p$ y $\neg p$.
Base para tablas mayores: En fórmulas con múltiples variables, la subcolumna de negación se calcula aplicando la regla de 2 filas a cada celda de la variable correspondiente.

Ejemplo guiado

Construye la tabla de verdad completa para la fórmula $\neg p \lor p$ y clasifica el resultado.

Diagrama: Tabla de Verdad de la Negación

Paso 1: Listar la columna base de $p$: Fila 1 = $V$, Fila 2 = $F$.
Paso 2: Calcular la columna de $\neg p$: Para Fila 1 $\neg V = F$, para Fila 2 $\neg F = V$.
Paso 3: Evaluar la disyunción $\neg p \lor p$: Fila 1 ($F \lor V = V$), Fila 2 ($V \lor F = V$).
Paso 4: Concluir la clasificación: Como la columna final contiene únicamente valores $V$, la fórmula es una tautología.

Procedimiento

Paso 1: Dibujar una tabla con dos columnas: una para $p$ y otra para $\neg p$.
Paso 2: Escribir los valores de $p$ en orden descendente: primera fila $V$, segunda fila $F$.
Paso 3: Invertir cada valor en la columna $\neg p$: colocar $F$ en la primera fila y $V$ en la segunda fila.
Paso 4: Verificar que no existan contradicciones ni celdas vacías.

Errores frecuentes y cómo corregirlos

Error 1: Construir 4 filas para una tabla que solo contiene la variable $p$. Cómo corregirlo: El número de filas viene dado por $2^n$; al haber una sola variable ($n=1$), la tabla tiene únicamente $2^1 = 2$ filas.
Error 2: Asignar el mismo valor de entrada a la columna de salida. Cómo corregirlo: La negación siempre cambia el valor; $V$ pasa a ser $F$ y $F$ pasa a ser $V$.

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 el orden canónico de asignación de $p$ comienza con falsedad $F$."

"La tabla de verdad de la negación unaria consta de $2^1 = 2$ filas y mapea biyectivamente cada valor veritativo a su complemento estricto."

"La afirmación de que en la tabla de la negación existe una fila donde $p$ y $\neg p$ son ambos verdaderos."

"La afirmación de que la negación de $V$ resulta en una salida indeterminada en la tabla."

"En la tabla de verdad, las columnas de $p$ y $\neg p$ presentan valores disjuntos y complementarios en cada una de sus filas."

"La afirmación de que la columna resultante de $\neg p$ coincide con la columna de $p$."

"La afirmación de que la tabla de verdad de la negación sobre una variable requiere 4 filas."

Al terminar debes poder

Cuadro resumen: Tabla de Verdad de la Negación

Construir, llenar e interpretar la tabla de verdad del conectivo de negación ($\neg p$).

Asignar las $2$ filas canónicas de entrada ($V, F$) y generar la columna de complemento ($F, V$).

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

¿Qué describe mejor tabla de verdad de la negación?
La definición correcta es: la tabla de negación muestra que ¬p invierte el valor de verdad de p. Esa es la idea central de tabla de verdad de la negación.

Respuesta: la tabla de negación muestra que ¬p invierte el valor de verdad de p
¿Cuál de los siguientes casos ejemplifica mejor tabla de verdad de la negación?
El ejemplo correcto es: Si p = V, entonces ¬p = F; si p = F, entonces ¬p = V.. Ese caso representa adecuadamente tabla de verdad de la negación.

Respuesta: Si p = V, entonces ¬p = F; si p = F, entonces ¬p = V.
¿Qué afirmación clave conviene recordar sobre tabla de verdad de la negación?
La afirmación correcta es: La negación trabaja con una sola variable proposicional.. Esa observación ayuda a usar bien el concepto.

Respuesta: La negación trabaja con una sola variable proposicional.

Reconocimiento

Identificar elementos, datos o procedimientos.

Identifica la opción que corresponde a tabla de verdad de la negación.
Se reconoce tabla de verdad de la negación en el ejemplo: Si p = V, entonces ¬p = F; si p = F, entonces ¬p = V..

Respuesta: Si p = V, entonces ¬p = F; si p = F, entonces ¬p = V.

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

¿Es correcto afirmar que la tabla de negación muestra que ¬p invierte el valor de verdad de p?
¿El caso “Si p = V, entonces ¬p = F; si p = F, entonces ¬p = V” corresponde a tabla de verdad de la negación?
¿La afirmación “La conjunción exige dos valores verdaderos para resultar verdadera.” describe tabla de verdad de la negación?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

En una guía PAES, una estudiante debe reconocer tabla de verdad de la negación. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: Si p = V, entonces ¬p = F; si p = F, entonces ¬p = V.. Ese caso representa tabla de verdad de la negación sin ambigüedad.

Respuesta: Si p = V, entonces ¬p = F; si p = F, entonces ¬p = V.
Un profesor escribe la afirmación “La negación trabaja con una sola variable proposicional”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Tabla de verdad de la negación, porque su idea clave es: La negación trabaja con una sola variable proposicional..

Respuesta: Tabla de verdad de la negación
En un control se pide identificar la definición correcta de tabla de verdad de la negación. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: la tabla de negación muestra que ¬p invierte el valor de verdad de p.

Respuesta: la tabla de negación muestra que ¬p invierte el valor de verdad de p

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación