segunda-feira, 28 de setembro de 2009

Símbolos em Latex para construir fórmulas em Lógica

Aqui vão alguns comandos que defino para simplificar a digitação de símbolos utilizados na construção de fórmulas lógicas em Latex:
\newcommand{\TOP}{\top}
\newcommand{\BOT}{\bot}
\newcommand{\NOT}{\neg}
\newcommand{\CONS}{\circ}
\newcommand{\INCONS}{\bullet}
\newcommand{\IMP}{\to}
\newcommand{\AND}{\wedge}
\newcommand{\OR}{\vee}
\newcommand{\BIMPLI}{\leftrightarrow}
\newcommand{\XOR}{\otimes}
\newcommand{\T}{\begin{tt}T\end{tt}\, }
\newcommand{\F}{\begin{tt}F\end{tt}\, }
\newcommand{\x}{\ensuremath{\times}}
\newcommand{\BIGOR}{\bigvee}
\newcommand{\BIGAND}{\bigwedge}
\newcommand{\CR}{\vdash}
\newcommand{\SR}{\models}
\newcommand{\EQUALDEF}{\stackrel{\mbox{\tiny def}}{=}}

Veja exemplos de uso em :



Nenhum comentário:

Postar um comentário

Deixe seu comentário! Não uso verificação de palavras.

Receba as postagens deste blog por email