Diferència entre revisions de la pàgina «Exemple de contrapositiva»
De Wikisofia
m (bot: - seu contrapositiva : + seu contrapositiva:) |
|||
| Línia 12: | Línia 12: | ||
<math> \forall{x} (Px\rightarrow{Sx}) \equiv \forall{x} (¬Sx \rightarrow{¬Px})</math> | <math> \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 | + | 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». |
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 09:11, 19 oct 2017
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».