blob: 244b5fef1e8523a08f7575c217406da956397c85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
% !TEX root = main.tex
% !TEX encoding = Windows Latin 1
% !TEX TS-program = pdflatex
%
% Archivo: listofsymbols.tex (Lista de simbolos)
\ListofSymbols
\
% ------------- Editar tabla -----------------------
\begin{center}
\begin{tabular}{rl}
$\wedge$ & and \\
$\vee$ & or \\
$\rightarrow$ & material conditional \\
$\leftrightarrow$ & material biconditional \\
$\vdash$ & logical derivability \\
$\neg$ & negation\\
$\forall$ & universal quantification\\
$\exists$ & existential quantification\\
$\top$ & true\\
$\bot$ & false\\
$\Box$ & necessity\\
$\diamond$ & contingency\\
\end{tabular}
\end{center}
% ----------------------------------------------------
% Fin archivo listofsymbols.tex
\endinput
|
