Category:Predicate logic

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

Subcategories

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

Media in category "Predicate logic"

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