Seos (matemaatika): erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P r2.7.3) (Robot: lisatud pms:Relassion |
PResümee puudub |
||
23. rida:
{{vaata| Predikaat}}
''n''-aarne '''predikaat''' on ''n'' muutuja [[funktsioon (matemaatika]]|funktsioon]], mille väärtused on [[tõeväärtus]]ed.
Et ''n''-aarne seos määrab üheselt ära ''n''-aarse predikaadi, mille väärtus [[funktsiooni argument|argument]]ide ''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub> korral on [[tõene]] [[siis ja ainult siis, kui]] (''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>) on seose ''R'' (graafiku) element. Analoogiliselt määrab predikaat üheselt ära seose. Sellepärast märgitakse seost ja predikaati sageli ühe ja sama sümboliga. Näiteks järgmist kahte [[propositsioon]]i vaadeldakse [[ekvivalentsus (loogika)|ekvivalentsetena]]:
| |||