Exemple de contrapositiva
De Wikisofia
La revisió el 13:48, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 13:48, 5 set 2015 per Sofibot (discussió | contribucions)
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».