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