Accions

Recurs

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...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

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.

Plantilla:Propietat


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: