Предикатна логика: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
с Бот Додава: af, el, es, fa, fi, hu, it, ja, ko, pt, simple, sk, sr Менува: he, nl, pl, zh
Ред 32:
[[Категорија:Логика]]
 
[[af:Predikaatlogika]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
[[el:Κατηγορηματική λογική]]
[[en:Predicate logic]]
[[es:Lógica de primer orden]]
[[fa:منطق محمولات]]
[[fi:Predikaattilogiikka]]
[[fr:Calcul des prédicats]]
[[he:תחשיבשפה הפסוקיםמסדר ראשון]]
[[hu:Elsőrendű logika]]
[[nl:Predikatenlogica]]
[[it:Teoria del primo ordine]]
[[pl:Klasyczny rachunek logiczny]]
[[ja:一階述語論理]]
[[ko:1차 논리]]
[[nl:Predicatenlogica]]
[[pl:Rachunek predykatów pierwszego rzędu]]
[[pt:Lógica de primeira ordem]]
[[ru:Логика первого порядка]]
[[simple:Predicate logic]]
[[sk:Predikátová logika]]
[[sr:Исказни рачун]]
[[sv:Predikatlogik]]
[[zh:谓词演算一阶逻辑]]