% !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 