Labākā atbilde
-
1 0
leuw 5 (3855)125 14 g
Otrā reize, kad es ko tādu dzirdu un pirmā bija šodien - veicot mājasdarbu uzdevumus, un tad likās, ka čalis īsto nosaukumu pārvērtis par... nu, jā, mudikātiem. Jo tie tiešām nav forši, bet ir tik loģiski, ka grūti iebraukt.
Vienvārdsakot, tie ir predikāti. Predikātu loģika (kas iet zem "izteikumu loģikas") ir viena no diskrētās matemātikas... nozarēm. Predikātu loģikas izteiksmes matemātiski raksturo objektu īpašības un attieksmes starp tiem, izmantojot simbolus, piešķirot pazīmes un kvantorus.
Šāda izskatās predikātu loģikas izteiksme: ¬(P (x, y) → ∃z∀x(Q(x, z) ∧ (¬Q(x, y) ∨ P (y, z))))