Accions

Recurs

Exemple de contrapositiva

De Wikisofia

Així, l'equivalència

[math]\displaystyle{ \forall{x} (Px\rightarrow{Sx}) \equiv \forall{x} (¬Sx \rightarrow{¬Px}) }[/math]

pot significar que l'enunciat «Totes les persones són subjectes de dret» és equivalent al seu contrapositiva : «Allò que no pot ser subjecte de dret no és una persona».