Re: Ifthenelse e bicondizionale

#45113
Up
0
Down
::

Cari tutti,
per ragioni che, mi pare, non è essenziale riportare, ho ridefinito il comando \ifthenelse del pacchetto ifthen, aggiungendo un nuovo operatore, che potremmo chiamare \IF, ai tre operatori booleani (\NOT, \OR, e \AND) già definiti dal pacchetto ifthen. Si tratta del condizionale (se…allora), ossia di un operatore tale che `A \IF B’ è falsa con A vero e B falso, ed è vera altrimenti.
Ora mi piacerebbe, se possibile, definire un operatore corrispondente al bicondizionale in logica (…se e solo se…), ossia un operatore, che potremmo chiamare \IFF, tale che `A \IFF B’ è vera con A e B entrambi veri o entrambi falsi, ed è falsa altrimenti.
Senza dubbio a causa della mia incapacità, non ce l’ho fatta.
Qualcuno è in grado di aiutarmi?

Grazie in anticipo e buona giornata a tutti.
Beppe Spolaore.
N.B. L’ideale sarebbe se questo operatore avesse la stessa sintassi di \AND e \OR, ossia `argomento operatore argomento’. Ma ok…, andrebbe passabilmente bene anche se finisse per avere la classica sintassi latex `operatore{argomento}{argomento}’.

Come hai fatto per \IF?

Ciao
Enrico

Go to top