Cita de Deaño 2
De Wikisofia
La revisió el 10:23, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Extractes d'obres }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Service= |Embed= }} {{RecursBase |Nom=Cita de De...».)
Plantilla:RecursoEnlace Plantilla:Multimèdia Algunes lleis de lògica de predicats
Lleis d'interdefinició dels quantificadors:
[math]\displaystyle{ \forall{x} Px\leftrightarrow{}¬\exists{x}¬Px }[/math]
[math]\displaystyle{ \exists{}xPx\leftrightarrow{}¬ \forall{x}¬Px }[/math]
[math]\displaystyle{ \forall{x} ¬Px \leftrightarrow{}¬\exists{x}Px }[/math]
[math]\displaystyle{ \exists{x}¬Px \leftrightarrow{}¬\exists{x}Px }[/math]
Lleis aristotèliques d'oposició:'Llei d'identitat:
Llei de contradicció:
Llei de terç exclòs:
Modus ponendo ponens:
Modus tollendo tollens:
Llei d'especificació:
Llei de particularització:
| A. Deaño, Introducció a la lògica formal, Aliança, Madrid 1978, p.233-236. |
Original en castellà
Algunas leyes de lógica de predicados
Leyes de interdefinición de los cuantificadores:
[math]\displaystyle{ \forall{x} Px\leftrightarrow{}¬\exists{x}¬Px }[/math]
[math]\displaystyle{ \exists{}xPx\leftrightarrow{}¬ \forall{x}¬Px }[/math]
[math]\displaystyle{ \forall{x} ¬Px \leftrightarrow{}¬\exists{x}Px }[/math]
[math]\displaystyle{ \exists{x}¬Px \leftrightarrow{}¬\exists{x}Px }[/math]
Leyes aristotélicas de oposición:
Ley de identidad:
Ley de contradicción:
Ley de tercio excluso:
Modus ponendo ponens:
Modus tollendo tollens:
Ley de especificación:
Ley de particularización: