Accions

Recurs

Regles de la lògica de predicats

De Wikisofia

La revisió el 00:07, 26 set 2018 per Jorcor (discussió | contribucions) (Jorcor ha mogut Recurs:Cita de Garrido 3 a Recurs:Regles de la lògica de predicats)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

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.