„Elsőrendű logika” változatai közötti eltérés

a
Robot: következő hozzáadása: cs, el, fa, it, ja, ko, nl, sk következő eltávolítása: he, pt következő módosítása: en, pl, zh
a (Robot dolgozik: – cseréje nagykötőjelre)
a (Robot: következő hozzáadása: cs, el, fa, it, ja, ko, nl, sk következő eltávolítása: he, pt következő módosítása: en, pl, zh)
-->
 
[[Kategória:Matematikai logika]]
{{csonk-dátum|csonk-mat|2005 júniusából}}
 
[[en:First-orderPredicate logic]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
[[el:Κατηγορηματική λογική]]
[[en:First-order logic]]
[[es:Lógica de primer orden]]
[[fa:منطق محمولات]]
[[fr:Calcul des prédicats]]
[[it:Teoria del primo ordine]]
[[he:תחשיב הפסוקים]]
[[ja:一階述語論理]]
[[pl:Klasyczny rachunek logiczny]]
[[ko:1차 논리]]
[[pt:Lógica de primeira ordem]]
[[nl:Predicatenlogica]]
[[ru:Логика первого порядка]]
[[pl:Rachunek predykatów pierwszego rzędu]]
[[ru:Логика первого порядка]]
[[sk:Predikátová logika]]
[[sv:Predikatlogik]]
[[zh:一阶逻辑]]
[[zh:一階邏輯]]
 
[[Kategória:Matematikai logika]]
{{csonk-dátum|csonk-mat|2005 júniusából}}
86 916

szerkesztés