Símbolos e notações gerais

Sı̀mbolos e notações gerais

Ao longo do curso serão adotados os seguintes símbolos e notações (sem prejuízo de outros símbolos e notações que irão sendo introduzidos ao longo destas notas):

$\exists$:{\em existe}
$\forall$:{\em qualquer que seja} ou {\em para todo(s)}
$\Rightarrow$:{\em implica}
$\sse$:{\em se, e somente se}
$\therefore$:{\em portanto}
$\because$:{\em pois}
$\talque$:{\em tal que }
$:=$:{\em definição} (o termo à esquerda de := é definido pelo termo
ou expressão à direita)
i.e.:{\em id est} (em português, {\em isto é})
$\Box$:{\em indica o final de uma demonstração }