Diferència entre revisions de la pàgina «Regles de la lògica de predicats»
De Wikisofia
(modificant original) |
|||
| Línia 6: | Línia 6: | ||
|Idioma=Español | |Idioma=Español | ||
}} | }} | ||
| − | [[File:2315F.png|400px|center]] | + | Regles del càlcul de la lògica de predicats |
| + | |||
| + | '''IG''' (Introducció del generalitzador): <math>\frac{Pa}{\forall xPx}</math> | ||
| + | <small>(Condició:"a" no ha de succeir en cap supost previ no cancel·lat)</small> | ||
| + | |||
| + | |||
| + | '''EG''' (Eliminació del generalitzador): <math>\frac{\forall x Px}{Pa}</math> | ||
| + | |||
| + | |||
| + | '''IP''' (Introducció del particularitzador): <math>\frac{Pa}{\exists xPx}</math> | ||
| + | |||
| + | |||
| + | '''EP''' (Eliminació del particularitzador): <math>\exists xPx\\Pa\\.\\.\\.\\\frac{A}{A}</math> | ||
| + | |||
| + | |____________| | ||
| + | |||
| + | [[File:2315F.png|400px|center]]: | ||
{{Ref|Ref=M. Garrido, ''Lógica simbólica'', Tecnos, Madrid 1983, p.138.|Cita=true}} | {{Ref|Ref=M. Garrido, ''Lógica simbólica'', Tecnos, Madrid 1983, p.138.|Cita=true}} | ||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 15:06, 25 set 2018
Regles del càlcul de la lògica de predicats
IG (Introducció del generalitzador): [math]\displaystyle{ \frac{Pa}{\forall xPx} }[/math] (Condició:"a" no ha de succeir en cap supost previ no cancel·lat)
EG (Eliminació del generalitzador): [math]\displaystyle{ \frac{\forall x Px}{Pa} }[/math]
IP (Introducció del particularitzador): [math]\displaystyle{ \frac{Pa}{\exists xPx} }[/math]
EP (Eliminació del particularitzador): [math]\displaystyle{ \exists xPx\\Pa\\.\\.\\.\\\frac{A}{A} }[/math]
|____________|
S'ha produït un error en crear la miniatura: Fitxer inexistent
:
| M. Garrido, Lógica simbólica, Tecnos, Madrid 1983, p.138. |