Diferència entre revisions de la pàgina «Exemple de contrapositiva»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de contrapositiva |Idi...».) |
m (bot: - seu contrapositiva : + seu contrapositiva:) |
||
(Una revisió intermèdia per un altre usuari que no es mostra) | |||
Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
Línia 20: | 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».