Ciao a tutti.
Ho trovato una soluzione. Anche se la cosa non è, verosimilmente, di interesse generale, per amor di completezza posto una possibile definizione dell’operatore bicondizionale (nome interno \TE@leftrightarrow}:
`\def\TE@leftrightarrow{\relax
\noexpand\ifTE@negate\noexpand\TE@negatefalse\noexpand\else\noexpand
\TE@negatetrue\noexpand\fi\noexpand
\else
\noexpand\TE@setvalfalse\noexpand
\fi
\noexpand\ifTE@negate\noexpand\TE@negatefalse\noexpand\else\noexpand
\TE@negatetrue\noexpand\fi\noexpand
\fi
\noexpand\ifTE@val\noexpand\else\noexpand
\ifnum}`
Il (relativo) vantaggio di disporre di tutti gli operatori verocondizionali nella stessa sintassi degli operatori booleani è la possibilità di ottenere direttamente, data una formula della logica proposizionale scritta in latex (ossia usando i tradizionali comandi \rightarrow, \leftrightarrow, \land (o \wedge) ecc.) il suo valore di verità (data un’assegnazione), la sua tavola di verità, un responso di verità logica ecc. OK, suppongo che pochi considereranno questa possibilità molto eccitante… Ma tant’è.
Au revoir.