Lògica: exemple d'enunciats contradictoris
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
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.