Κατηγορηματική λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ r2.5.2) (Ρομπότ: Τροποποίηση: fa:منطق مسند, zh:谓词逻辑 |
μ r2.7.1) (Ρομπότ: Προσθήκη: ko:술어 논리 |
||
Γραμμή 22:
[[hu:Elsőrendű logika]]
[[ja:一階述語論理]]
[[ko:술어 논리]]
[[mk:Предикатна логика]]
[[nl:Predicatenlogica]]
|