Mostra la font per a Lògica: exemple d'enunciats contradictoris

{{RecursWiki
|Tipus=Exemple
}}
{{RecursBase
|Nom=Lògica: exemple d'enunciats contradictoris
|Idioma=Espanyol
}}
{{Exemple}}

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.
{{InfoWiki}}