Category:Predicate logic

Wikimedia Commons, 자유로운 미디어 저장소
둘러보기로 가기 검색하러 가기
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); разьдзел лёгікі (be-tarask); specialisme binnen de logica (nl); Familie logischer Systeme (de); subfield of logic (en); subfield of logic (en); 逻辑类型 (zh); 逻辑类型 (zh-hans); symbolisen logiikan osa-alue (fi) 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)
술어 논리 
subfield of logic
미디어 올리기
Wikipedia-logo-v2.svg  위키백과
다음의 하위 개념임logical system
다음의 한 부분임논리학
다음으로 이루어져 있음
  • 1차 논리
  • 고차 논리
다음과는 확실히 다름
  • 1차 논리
전거 통제
위키데이터에서 정보상자 데이터 편집하기

하위 분류

다음은 이 분류에 속하는 하위 분류 10개 가운데 10개입니다.

"Predicate logic" 분류에 속하는 미디어

다음은 이 분류에 속하는 파일 11개 가운데 11개입니다.