☰

不足しているドルが挿入されました

tag-icon • tag-icon errors
不足しているドルが挿入されました

この馬鹿げたテーブルに何が問題なのですか?

\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}

答え1

LaTeX は数式の組版に優れていますが、予知能力はありません。つまり、ユーザーが指示しない限り、数式を組版したいかどうかはわかりません。

いくつかのコマンドは数式モードでのみ使用できるため、そのモード外でそれらのコマンドが見つかった場合にエラーを発生させることが、ユーザーに何か問題があることを伝える最善の方法です。

実際、コードをタイプセットするときに最初に発生するエラーは

! Missing $ inserted.
<inserted text> 
                $
l.5         B & F & C & P & B \lor
                                   F & P \lor C & \lnot (F \land C) & \lnot ...

これはまさに、TeX が不適切な場所で数式コマンドを見つけたことを意味します。TeX の作者は、不適切な場所にある記号に数式モードを使用するようにプログラムすることもできましたが、これではすぐに不適切なタイプセットになってしまいます。

あります大きいとの差

B $\lor$ F

そして

$B\lor F$

次の図に示すように:

ここに画像の説明を入力してください

主な違いは文字の形状です。数学変数を表す文字は、何世紀にもわたって斜体で表記されてきました。数式全体を数式モードで使用すると、このことが保証されます。フランス語など、一部の印刷技術では大文字の変数に直立体を使用しますが、この異なるスタイルに従うように TeX を設定することもできます。いずれにしても、数式で使用されている文字は、コンテキストに関係なく希望どおりに表記されることが保証されます。

LaTeXの優れたガイドには、数式モードにするコマンドが何であるかが書かれています。特に、数式モードにするにはいくつかのコマンドがあります。

\usepackage{amsmath}

数式組版に特化したパッケージをロードします。このパッケージは、複数行の配置、分割方程式、行列、ドットなど、複雑な数式に関する多くの問題を解決する数十の環境とコマンドを提供します。

では、すべてのセルが数式モードになる表をタイプセットする最適な方法は何でしょうか? 簡単です。表全体に数式モードを使用します。

\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}

は引数を取らない宣言であることに注意してください\centering。これは、「現在の環境の期間中、中央揃えでタイプセットされる」ことを意味します。

環境arrayは の数学的類似物ですtabular。数式モードで発行する必要があるため、符号で囲まれ$、すべてのセルは暗黙的に数式モードを使用します。

変数ではないことを示すために、「T」（「true」の略）を縦書きでタイプセットするといいでしょう。次のように定義できます。

\newcommand{\True}{\mathrm{T}}

プリアンブルに次のように入力し、2行目を次のように入力します。

\True & \True & \True & \True \\

そして、あなたの表は

ここに画像の説明を入力してください

なぜ1文字ではなく長いコマンドを使うのか？意味あなたの入力に対して、この特定の「T」は、他の用法とは異なる非常に特別な意味（論理的真実）で使用されています。さらに良いのは、前文の定義を次のように変更することです。

\newcommand{\True}{\top}

LaTeXを1回実行すると、全てこれらの T (「真」を意味するもののみ) を別の記号 (ちなみに、論理学者は\bottom「偽」を意味する記号と一緒にこの記号をよく使用します) に変換します。

特定のタスクのためのマクロを定義することは、(La)TeXの最も便利な機能の1つです。これにより、文書は特定のスタイルから可能な限り独立し、特定の規則をハードコードする必要がないため、自由に変更できます。均一に状況（たとえば、うるさい審査員やコピー編集者）によ​​ってそうせざるを得ない場合は、その慣例に従ってください。

関連情報