Accions

Recurs

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
}}
 
{{RecursoEnlace
 
|Enllaç=
 
}}
 
{{Multimèdia
 
|Upload Type=
 
|File=
 
|Embed=
 
 
}}
 
}}
 
{{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 contrapositiva : «Allò que no pot ser subjecte de dret no és una persona».
+
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».
{{Propietat
 
|Propi=No
 
|Allow=No
 
|Accept=No
 
}}
 
 
{{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».