[00S](Svolto il 2022-10-11) Notate che “” è vera se è vuoto; questo è consistente con quanto discusso nell’esercizio [016]. Questo però ha una conseguenza importante: l’implicazione
è sempre valida quando è un insieme non-vuoto, ed è invece falsa quando .