Predikátová logika: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
Thijs!bot (diskusia | príspevky)
d robot Pridal: af, fi, he, mk, simple, sr Odobral: uk
JAnDbot (diskusia | príspevky)
d robot Odobral: es, it, pl, pt, ru
Riadok 45:
[[el:Κατηγορηματική λογική]]
[[en:Predicate logic]]
[[es:Lógica de primer orden]]
[[fa:منطق محمولات]]
[[fi:Predikaattilogiikka]]
Řádek 51 ⟶ 50:
[[he:שפה מסדר ראשון]]
[[hu:Elsőrendű logika]]
[[it:Teoria del primo ordine]]
[[ja:一階述語論理]]
[[ko:1차 논리]]
[[mk:Предикатна логика]]
[[nl:Predicatenlogica]]
[[pl:Rachunek predykatów pierwszego rzędu]]
[[pt:Lógica de primeira ordem]]
[[ru:Логика первого порядка]]
[[simple:Predicate logic]]
[[sr:Исказни рачун]]