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

Elsőrendű logika (szerkesztés)

59 bájt hozzáadva , 14 évvel ezelőtt

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

86 916

szerkesztés

A lap 2007. március 24., 13:55-kori változata (szerkesztés) Pasztillabot (vitalap \| szerkesztései) a (Robot dolgozik: – cseréje nagykötőjelre) ← Régebbi szerkesztés		A lap 2007. október 3., 03:09-kori változata (szerkesztés) (visszavonás) Thijs!bot (vitalap \| szerkesztései) 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) Újabb szerkesztés →
--> [[Kategória:Matematikai logika]]▼ {{csonk-dátum\|csonk-mat\|2005 júniusából}}▼ [[en:~~First-order~~Predicate 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}}