Accions

Diferència entre revisions de la pàgina «Predicat, lletres de»

De Wikisofia

m (bot: - « és un + «és un)
m (bot: - <center>'''Veure exemple + <center>'''Vegeu exemple)
 
(Hi ha 3 revisions intermèdies del mateix usuari que no es mostren)
Línia 5: Línia 5:
  
 
<div class='mw-collapsible mw-collapsed'>
 
<div class='mw-collapsible mw-collapsed'>
<center>'''Veure exemple 1 ↓'''</center>
+
<center>'''Vegeu exemple 1 ↓'''</center>
 
<div class="mw-collapsible-content">
 
<div class="mw-collapsible-content">
 
<center>[[File:910jord.png|400px]]</center>
 
<center>[[File:910jord.png|400px]]</center>
Línia 15: Línia 15:
  
 
<div class='mw-collapsible mw-collapsed'>
 
<div class='mw-collapsible mw-collapsed'>
<center>'''veure exemple 2 ↓'''</center>
+
<center>'''veg. exemple 2 ↓'''</center>
 
<div class="mw-collapsible-content">
 
<div class="mw-collapsible-content">
 
<math> \forall{x}  \forall{y} (Axy \rightarrow{}Gyx)</math>
 
<math> \forall{x}  \forall{y} (Axy \rightarrow{}Gyx)</math>
Línia 21: Línia 21:
 
Per a tot x i per a tot y, si x estima a y, y se sent agraïda a x;
 
Per a tot x i per a tot y, si x estima a y, y se sent agraïda a x;
  
Sempre que una persona estima a una altra aquesta l'hi agraeix.
+
Sempre que una persona n'estima una altra aquesta li ho agraeix.
  
  
Línia 61: Línia 61:
 
<math> \forall{x}  \forall{y} (¬Axy \rightarrow{}Mxy)</math>
 
<math> \forall{x}  \forall{y} (¬Axy \rightarrow{}Mxy)</math>
  
Per a tot x i per a tot y, si no succeeix que x és amic d'y, x se sent molest amb y;
+
Per a tot x i per a tot y, si no succeeix que x és amic de y, x se sent molest amb y;
  
 
Quan no s'és amic d'algú ens és fàcil sentir-nos molests amb ell.
 
Quan no s'és amic d'algú ens és fàcil sentir-nos molests amb ell.

Revisió de 22:48, 17 maig 2018

 Símbols que en lògica de predicats s'assignen a aquella part de l'enunciat que expressa la propietat que posseeix un objecte o individu, o la relació que s'estableix entre objectes i individus. En «Cervantes és un gran escriptor espanyol», el predicat és «és un gran escriptor espanyol»; predicat que alguns individus verifiquen, o fan veritable. Hi ha predicats que es refereixen a més d'un objecte o individu: «________ és el pare de________», o «________ està entre________ i ________ » (relacions).

En el llenguatge formal, se'ls assignen lletres majúscules, normalment a partir de P,Q,R,..., si bé de vegades se'ls assigna la inicial corresponent.

Vegeu exemple 1 ↓

i

veg. exemple 2 ↓

[math]\displaystyle{ \forall{x} \forall{y} (Axy \rightarrow{}Gyx) }[/math]

Per a tot x i per a tot y, si x estima a y, y se sent agraïda a x;

Sempre que una persona n'estima una altra aquesta li ho agraeix.


[math]\displaystyle{ \forall{y} \exists{x}(Gxy) }[/math]

Per tot y hi ha algun x que és la seva ànima bessona;

Tota ànima té la seva ànima bessona.


[math]\displaystyle{ \forall{y} \exists{x}(Axy) }[/math]

Per a tot y hi ha algun x que estima a y;

Tothom estima a algú.


[math]\displaystyle{ \forall{x} \forall{y} (Axy) }[/math]

Per a tot x i per a tot y, x estima a y;

Tothom estima a tothom.


[math]\displaystyle{ \exists{x} \exists{y}(Axy) }[/math]

Per a algun x i per algun y, x estima a y;

Algú estima a algú.


[math]\displaystyle{ \exists{x} \forall{y} (Axy) }[/math]

Per a algun x i per a tot y, x estima a y;

Algú estima a tothom.


[math]\displaystyle{ \forall{x} \forall{y} (¬Axy \rightarrow{}Mxy) }[/math]

Per a tot x i per a tot y, si no succeeix que x és amic de y, x se sent molest amb y;

Quan no s'és amic d'algú ens és fàcil sentir-nos molests amb ell.


[math]\displaystyle{ ¬ \forall{x} \forall{i} (Axy) }[/math]

No per a tot x i per a tot y, x estima a y;

No tothom estima a tothom.


exemple 2