Category:Predicate logic

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
lógica de predicados (es); Elsőrendű logika (hu); исчисление предикатов (ru); Prädikatenlogik (de); منطق مسند (fa); 谓词逻辑 (zh); Prædikatslogik (da); 述語論理 (ja); Predikatlogik (sv); предикатна логіка (uk); 謂詞邏輯 (zh-hant); Predikaattilogiikka (fi); Предикаттық логика (kk); predikata logiko (eo); предикатна логика (mk); logica dei predicati (it); logique des prédicats (fr); лёгіка прэдыкатаў (be-tarask); lógica de predicados (pt); Predikaatlogika (af); Predikatų logika (lt); 술어 논리 (ko); Κατηγορηματική λογική (el); logika predykatów (pl); predikatlogikk (nb); predicatenlogica (nl); Predikátová logika (sk); Предикатна логика (bg); Predikaatloogika (et); תחשיב הפרדיקטים (he); predicate logic (en); lògica de predicats (ca); 谓词逻辑 (zh-hans); Predikátová logika (cs) familia de sistemas lógicos (es); subfield of logic (en); Familie logischer Systeme (de); symbolisen logiikan osa-alue (fi); разьдзел лёгікі (be-tarask); 逻辑类型 (zh-hans); 逻辑类型 (zh); specialisme binnen de logica (nl) lógica predicativa (es); calcul des relations, calcul des prédicats (fr); прэдыкатная лёгіка (be-tarask); предикатная логика, логика предикатов (ru); Prädikatorenlogik, Prädikatenkalkül, Quantorenlogik (de); منطق محمولات, منطق دسته-یکم, منطق دسته یکم, منطق مسندی, منطق مرتبه اول (fa); 述詞邏輯, 謂詞邏輯 (zh); 述語論理学 (ja); Predikat (sv); predikatkalkyle, kvantorlogikk (nb); predicaatlogica, predikaatlogica, predikatenlogica, predicaat, predicatencalculus, predikatencalculus (nl); 술어논리 (ko); Ensimmäisen kertaluvun predikaattilogiikka, Ensimmäisen kertaluvun logiikka, Toisen kertaluvun logiikka, Toisen kertaluvun predikaattilogiikka, Predikaattikalkyyli (fi); calcolo dei predicati (it); Predikátumkalkulus (hu); Predikátový kalkul, Rozšíření predikátové teorie (cs); תחשיב פרדיקטים (he)
predicate logic 
subfield of logic
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Subclass oflogical system
Part oflogic
Has part
  • first-order logic
  • higher-order logic
Different from
  • first-order logic
Authority control
Edit infobox data on Wikidata

Subcategories

This category has the following 10 subcategories, out of 10 total.

Media in category "Predicate logic"

The following 11 files are in this category, out of 11 total.