Diferència entre revisions de la pàgina «Cita de Deaño 2»
De Wikisofia
(modificant original) |
|||
| (Hi ha 2 revisions intermèdies del mateix usuari que no es mostren) | |||
| Línia 1: | Línia 1: | ||
| − | {{RecursWiki | + | {{PendentRev}}{{RecursWiki |
|Tipus=Extractes d'obres | |Tipus=Extractes d'obres | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 41: | Línia 32: | ||
''Llei de particularització:'' | ''Llei de particularització:'' | ||
{{Ref|Ref=A. Deaño, ''Introducción a la lógica formal, ''Alianza, Madrid 1978, p.233-236.|Cita=true}} | {{Ref|Ref=A. Deaño, ''Introducción a la lógica formal, ''Alianza, Madrid 1978, p.233-236.|Cita=true}} | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 22:20, 24 maig 2017
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ón a la lógica formal, Alianza, 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: