Lògica: exemple d'enunciats contradictoris

Dos enunciats contradictoris no poden ser tots dos veritables ni tots dos falsos; si un és veritable, l'altre és fals, i viceversa:

Si és veritat que «totes les alumnes aproven» és fals que «alguna alumna no aprova»; si aquest últim enunciat és veritable, llavors el primer és fals.

Si és veritat que «cap alumna suspèn», llavors és fals que «alguna alumna suspèn»; si és veritable aquest últim enunciat, és fals l'anterior. Plantilla:Propietat