Diferència entre revisions de la pàgina «Regles de la lògica de predicats»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Extractes d'obres }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Cita de Garrido 3 |I...».) |
m (Jorcor ha mogut Recurs:Cita de Garrido 3 a Recurs:Regles de la lògica de predicats) |
||
| (8 revisions intermèdies per 2 usuaris 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 14: | Línia 6: | ||
|Idioma=Español | |Idioma=Español | ||
}} | }} | ||
| − | + | <big>'''Regles del càlcul de la lògica de predicats'''</big> | |
| + | |||
| + | '''IG''' (Introducció del generalitzador): <math>\frac{Pa}{\forall xPx}</math> | ||
| + | <small>(Condició:"a" no ha de succeir en cap supòsit 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> | ||
| + | <small>(Condició: "a" no ha de succeir en <math>\exists xPx</math>, ni en A, ni en cap altre supòsit no cancel·lat). | ||
| + | |||
| − | {{Ref|Ref=M. Garrido, '' | + | |
| − | + | {{Ref|Ref=M. Garrido, ''Lógica simbólica'', Tecnos, Madrid 1983, p.138.|Cita=true}} | |
| − | |||
| − | |||
| − | |||
| − | }} | ||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 00:07, 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. |