Κατηγορηματική λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: cs, de, es, fa, fr, hu, it, ja, ko, nl, pl, ru, sk, sv, zh |
μ Ρομπότ: Προσθήκη: pt:Lógica de primeira ordem, uk:Числення висловлень |
||
Γραμμή 24:
[[nl:Predicatenlogica]]
[[pl:Rachunek predykatów pierwszego rzędu]]
[[pt:Lógica de primeira ordem]]
[[ru:Логика первого порядка]]
[[sk:Predikátová logika]]
[[sv:Predikatlogik]]
[[uk:Числення висловлень]]
[[zh:一阶逻辑]]
| |||