Erlazio n-tar: berrikuspenen arteko aldeak

Ezabatutako edukia Gehitutako edukia
MerlIwBot (eztabaida | ekarpenak)
t robota Erantsia: et:Seos Ezabatua: en:Finitary relation (strongly connected to eu:Matematika-erlazio)
t Robota: Aldaketa kosmetikoak
5. lerroa:
'''[[Predikatu-kalkulu|predikatu]]''' n-kotea: <math> R(x_1,x_2, \ldots , x_n) = egiazkoa </math> n aldagaien [[funtzio (matematika)|funtzio]] bat da [[egia-balio]]etan.
 
Aurrekoa bezalako erlazio batek modu bakar batean predikatu n-kote bat definitzen duela eta, zeina <math> x_1,x_2,\ldots , x_n </math>-rako balio duen [[baldin eta soilik]] <math> (x_1,x_2,\ldots , x_n) </math> <math> R \, </math>-n badago, eta alderantziz, erlazioa eta predikatua ikur berberaz adierazten dira. Beraz, adibidez, bi proposizio hauek baliokidetzat hartzen dira:
* <math> R(x_1,x_2,\ldots , x_n) </math>
* <math> (x_1,x_2,\ldots , x_n) \in R </math>