Verificare che le seguenti proposizioni:
sono equiveridiche.
Verificare che le proposizioni
sono equiveridiche o meno.