Κατηγορηματική λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: af, fi, he, mk, simple, sr Αφαίρεση: uk |
μ Ρομπότ: Αφαίρεση: es, it, pl, pt, ru |
||
Γραμμή 16:
[[de:Prädikatenlogik]]
[[en:Predicate logic]]
[[fa:منطق محمولات]]
[[fi:Predikaattilogiikka]]
Γραμμή 22 ⟶ 21 :
[[he:שפה מסדר ראשון]]
[[hu:Elsőrendű logika]]
[[ja:一階述語論理]]
[[ko:1차 논리]]
[[mk:Предикатна логика]]
[[nl:Predicatenlogica]]
[[simple:Predicate logic]]
[[sk:Predikátová logika]]
|