Scrivere nel linguaggio della logica le proprietà derivanti da questa espressione:
Dati due numeri interi a e b, se a è minore o uguale a b e b è minore o uguale ad a, allora i due numeri a e b sono uguali tra di loro.
La soluzione non è disponibile agli utenti non registrati
