Accions

Recurs

Diferència entre revisions de la pàgina «Regles de la lògica de predicats»

De Wikisofia

(adding es)
 
(5 revisions intermèdies per 2 usuaris que no es mostren)
Línia 1: Línia 1:
{{TextOriginal|es}}
+
{{PendentRev}}{{RecursWiki
[[File:2315F.png|400px|center]]
 
{{TextOriginalSeparador|dev}}
 
{{RecursWiki
 
 
|Tipus=Extractes d'obres
 
|Tipus=Extractes d'obres
 
}}
 
}}
Línia 9: Línia 6:
 
|Idioma=Español
 
|Idioma=Español
 
}}
 
}}
[[File:2315F.png|400px|center]]
+
<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, ''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ó 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.