Predikátová logika: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
MerlIwBot (diskusia | príspevky)
JAnDbot (diskusia | príspevky)
d r2.5.2) (robot Odobral: ar, es, he, id, it, ko, pl, pt, ru, sr, uk Zmenil: fa, zh
Riadok 10:
 
[[af:Predikaatlogika]]
[[ar:منطق الرتبة الأولى]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
[[el:Κατηγορηματική λογική]]
[[en:Predicate logic]]
[[es:Lógica de primer orden]]
[[et:Predikaatloogika]]
[[fa:منطق محمولاتمسند]]
[[fi:Predikaattilogiikka]]
[[fr:Calcul des prédicats]]
[[he:שפה מסדר ראשון]]
[[hu:Elsőrendű logika]]
[[id:Logika predikat tingkat pertama]]
[[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:Логика првог реда]]
[[sv:Predikatlogik]]
[[zh:一阶谓词逻辑]]
[[uk:Логіка першого порядку]]
[[zh:一阶逻辑]]