Diferència entre revisions de la pàgina «Regles de la lògica de predicats»
De Wikisofia
| Línia 9: | Línia 9: | ||
'''IG''' (Introducció del generalitzador): <math>\frac{Pa}{\forall xPx}</math> | '''IG''' (Introducció del generalitzador): <math>\frac{Pa}{\forall xPx}</math> | ||
| − | <small>(Condició:"a" no ha de succeir en cap | + | <small>(Condició:"a" no ha de succeir en cap supòsit previ no cancel·lat)</small> |
| Línia 19: | Línia 19: | ||
'''EP''' (Eliminació del particularitzador): <math>\exists xPx\\Pa\\.\\.\\.\\\frac{A}{A}</math> | '''EP''' (Eliminació del particularitzador): <math>\exists xPx\\Pa\\.\\.\\.\\\frac{A}{A}</math> | ||
| − | <small>(Condició: "a" no de succeir en <math>\exists xPx</math>, ni en A, ni en cap altre supòsit no cancel·lat). | + | <small>(Condició: "a" no ha de succeir en <math>\exists xPx</math>, ni en A, ni en cap altre supòsit no cancel·lat). |
Revisió del 00:02, 26 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 supòsit 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]
(Condició: "a" no ha de succeir en [math]\displaystyle{ \exists xPx }[/math], ni en A, ni en cap altre supòsit no cancel·lat).
| M. Garrido, Lógica simbólica, Tecnos, Madrid 1983, p.138. |