Accions

Recurs

Exemple de contrapositiva

De Wikisofia

La revisió el 10:18, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de contrapositiva |Idi...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

Plantilla:RecursoEnlace Plantilla:Multimèdia

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». Plantilla:Propietat