¿Cuál es el problema con esta estúpida mesa?
\begin{table}[h]
\centering{
\begin{tabular} {l l l l l l l l}
\hline
B & F & C & P & B \lor F & P \lor C & \lnot (F \land C) & \lnot (P \land B) \\ % ERROR= missing $ inserted
T & T & T & T \\
\hline
\end{tabular}
}
\end{table}
Respuesta1
LaTeX es bueno para componer matemáticas, pero no es clarividente: no sabe que quieres escribir alguna fórmula matemática a menos que tú se lo digas.
Varios comandos solo se pueden usar en modo matemático y generar un error al encontrarlos fuera de ese modo es la mejor manera de decirle al usuario que algo anda mal.
De hecho, el primer error que aparece al escribir el código es
! Missing $ inserted.
<inserted text>
$
l.5 B & F & C & P & B \lor
F & P \lor C & \lnot (F \land C) & \lnot ...
lo que significa exactamente que TeX encontró un comando matemático en un lugar inadecuado. El autor de TeX podría haberlo programado para que utilice el modo matemático para un símbolo fuera de lugar, pero esto fácilmente conduciría a una mala composición tipográfica.
Hay unagrandediferencia entre
B $\lor$ F
y
$B\lor F$
como se muestra en la siguiente imagen:
La principal diferencia es la forma de las letras. Las letras que denotan variables matemáticas se han escrito en cursiva durante siglos y el uso del modo matemático en toda la fórmula garantiza esto. Ciertas tradiciones tipográficas utilizan tipos verticales para variables en mayúsculas, en particular la francesa, y es posible configurar TeX para que siga este estilo diferente. En cualquier caso, tienes la garantía de que las letras se escribirán como desees independientemente del contexto, cuando se encuentren en una fórmula matemática.
Cualquier buena guía de LaTeX te dirá cuáles son los comandos que lo ponen en modo matemático; hay varios, especialmente si lo haces
\usepackage{amsmath}
para cargar un paquete especializado en composición tipográfica matemática, que proporciona decenas de entornos y comandos que resuelven muchos problemas con fórmulas matemáticas complicadas: alineaciones multilínea, ecuaciones divididas, matrices, puntos, lo que sea.
Dicho esto, ¿cuál es la mejor manera de componer su tabla en la que todas las celdas deben estar en modo matemático? Fácil, usa el modo matemático para todo:
\begin{table}[htp] % <---- don't forget t and p
\centering
$% start math mode
\begin{array} {l l l l l l l l}
\hline
B & F & C & P & B \lor F & P \lor C & \lnot (F \land C) & \lnot (P \land B) \\
T & T & T & T \\
\hline
\end{array}
$
\end{table}
Tenga en cuenta que \centeringes una declaración que no requiere argumento: significa "durante el entorno actual, tipografiado de forma centrada".
El arrayentorno es el análogo matemático de tabular: debe emitirse en modo matemático, por lo que está rodeado de $signos y todas las celdas usarán implícitamente el modo matemático.
Es posible que desees escribir "T" (para "verdadero", si entiendo bien tu objetivo) en letra vertical, para indicar que no es una variable. puedes definir
\newcommand{\True}{\mathrm{T}}
en el preámbulo y escriba la segunda línea como
\True & \True & \True & \True \\
y tu tabla daría como resultado
¿Por qué utilizar un comando largo en lugar de una sola letra? porque agregasignificadoa su entrada. Esa “T” en particular se usa con un significado muy específico (verdad lógica) que es diferente de cualquier otro uso de la misma. Mejor aún, si cambia la definición en el preámbulo de
\newcommand{\True}{\top}
una sola ejecución de LaTeX cambiarátodoesas T (y solo aquellas que significan "verdadero") a un símbolo diferente (que, por cierto, los lógicos usan con frecuencia, junto con \bottom"falso").
Definir macros para tareas específicas es una de las características más útiles de (La)TeX: de esta manera su documento será lo más independiente posible de un estilo particular; no codificas una convención particular, por lo que eres libre de cambiaruniformementesu convención si las circunstancias (léase un árbitro exigente o un editor de textos, por ejemplo) así lo imponen.