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); lògica de predicats (ca); 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); logika predykatów (pl); predikatlogikk (nb); predicatenlogica (nl); исчисление предикатов (ru); Predikátová logika (sk); Predikaatloogika (et); תחשיב הפרדיקטים (he); predicate logic (en); Предикатна логика (bg); Κατηγορηματική λογική (el); Predikátová logika (cs) familia de sistemas lógicos (es); Familie logischer Systeme (de); symbolisen logiikan osa-alue (fi); subfield of logic (en); разьдзел лёгікі (be-tarask) 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 10 files are in this category, out of 10 total.