<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% !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$ &amp; and \\
  $\vee$ &amp; or \\
  $\rightarrow$ &amp; material conditional \\
  $\leftrightarrow$ &amp; material biconditional \\
  $\vdash$ &amp; logical derivability \\
  $\neg$ &amp; negation\\
  $\forall$ &amp; universal quantification\\
  $\exists$ &amp; existential quantification\\
  $\top$ &amp; true\\
  $\bot$ &amp; false\\
  $\Box$ &amp; necessity\\
  $\diamond$ &amp; contingency\\
\end{tabular}
\end{center}

% ----------------------------------------------------


% Fin archivo listofsymbols.tex
\endinput </pre></body></html>