Category:Predicate logic

Wikimedia Commons, 자유로운 미디어 저장소
둘러보기로 이동 검색으로 이동
<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; predikatna logika; 술어 논리; Κατηγορηματική λογική; logika predykatów; predikatlogikk; predicatenlogica; Predikátová logika; Предикатна логика; תחשיב הפרדיקטים; Predikaatloogika; predicate logic; lògica de predicats; 谓词逻辑; Predikátová logika; familia de sistemas lógicos; разьдзел лёгікі; specialisme binnen de logica; Familie logischer Systeme; subfield of logic; subfield of logic; 逻辑类型; 逻辑类型; symbolisen logiikan osa-alue; lógica predicativa; calcul des relations; calcul des prédicats; прэдыкатная лёгіка; предикатная логика; логика предикатов; Prädikatorenlogik; Prädikatenkalkül; Quantorenlogik; منطق محمولات; منطق دسته-یکم; منطق دسته یکم; منطق مسندی; منطق مرتبه اول; 述詞邏輯; 謂詞邏輯; funktionslogik; relationslogik; 述語論理学; Predikat; predikatkalkyle; kvantorlogikk; predicaatlogica; predikaatlogica; predikatenlogica; predicaat; predicatencalculus; predikatencalculus; 술어논리; Ensimmäisen kertaluvun predikaattilogiikka; Ensimmäisen kertaluvun logiikka; Toisen kertaluvun logiikka; Toisen kertaluvun predikaattilogiikka; Predikaattikalkyyli; predikátumkalkulus; calcolo dei predicati; Predikátový kalkul; Rozšíření predikátové teorie; תחשיב פרדיקטים</nowiki>
술어 논리 
subfield of logic
미디어 올리기
다음 종류에 속함
  • 수학 이론
다음의 하위 개념임
  • logical system
다음의 한 부분임
다음으로 이루어져 있음
  • 1차 논리
  • 고차 논리
다음과 다름
전거 통제
위키데이터 Q35148
GND ID: 4046974-8
NKCR AUT ID: ph124584
위키데이터에서 정보상자 데이터 편집하기
Square of opposition

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

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