Category:Predicate logic

<nowiki>lógica de predicados; elsőrendű logika; исчисление предикатов; Prädikatenlogik; منطق مسند; 谓词逻辑; Prædikatslogik; 述語論理; Predikatlogik; предикатна логіка; 謂詞邏輯; Predikaattilogiikka; Предикаттық логика; predikata logiko; предикатна логика; logica dei predicati; logique des prédicats; лёгіка прэдыкатаў; lógica de predicados; Predikaatlogika; Predikatų logika; 술어 논리; Κατηγορηματική λογική; logika predykatów; predikatlogikk; predicatenlogica; Predikátová logika; Предикатна логика; Predikaatloogika; תחשיב הפרדיקטים; predicate logic; lògica de predicats; 谓词逻辑; Predikátová logika; familia de sistemas lógicos; subfield of logic; Familie logischer Systeme; symbolisen logiikan osa-alue; разьдзел лёгікі; 逻辑类型; 逻辑类型; specialisme binnen de logica; lógica predicativa; calcul des relations; calcul des prédicats; прэдыкатная лёгіка; предикатная логика; логика предикатов; Prädikatorenlogik; Prädikatenkalkül; Quantorenlogik; منطق محمولات; منطق دسته-یکم; منطق دسته یکم; منطق مسندی; منطق مرتبه اول; 述詞邏輯; 謂詞邏輯; 述語論理学; Predikat; predikatkalkyle; kvantorlogikk; predicaatlogica; predikaatlogica; predikatenlogica; predicaat; predicatencalculus; predikatencalculus; 술어논리; Ensimmäisen kertaluvun predikaattilogiikka; Ensimmäisen kertaluvun logiikka; Toisen kertaluvun logiikka; Toisen kertaluvun predikaattilogiikka; Predikaattikalkyyli; calcolo dei predicati; predikátumkalkulus; Predikátový kalkul; Rozšíření predikátové teorie; תחשיב פרדיקטים</nowiki>