Predikátová logika: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d Logika predikátová premiestnená na Predikátová logika |
d robot Pridal: cs, de, el, en, es, fa, fr, hu, it, ja, ko, nl, pl, ru, sv, zh |
||
Riadok 1:
'''Logika predikátová'''
Řádek 40 ⟶ 39:
[[zákony de Morganove|zákony de Morganove]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
[[el:Κατηγορηματική λογική]]
[[en:Predicate logic]]
[[es:Lógica de primer orden]]
[[fa:منطق محمولات]]
[[fr:Calcul des prédicats]]
[[hu:Elsőrendű logika]]
[[it:Teoria del primo ordine]]
[[ja:一階述語論理]]
[[ko:1차 논리]]
[[nl:Predicatenlogica]]
[[pl:Rachunek predykatów pierwszego rzędu]]
[[ru:Логика первого порядка]]
[[sv:Predikatlogik]]
[[zh:一阶逻辑]]
|