Κατηγορηματική λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: pt:Lógica de primeira ordem, uk:Числення висловлень |
μ Ρομπότ: Προσθήκη: af, fi, he, mk, simple, sr Αφαίρεση: uk |
||
Γραμμή 12:
[[Κατηγορία:Λογική]]
[[af:Predikaatlogika]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
Γραμμή 17 ⟶ 18 :
[[es:Lógica de primer orden]]
[[fa:منطق محمولات]]
[[fi:Predikaattilogiikka]]
[[fr:Calcul des prédicats]]
[[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]]
[[sk:Predikátová logika]]
[[sr:Исказни рачун]]
[[sv:Predikatlogik]]
[[zh:一阶逻辑]]
| |||