9 처지: 방정식, 논리 연산, 논리식, 재작성, 술어 논리, 수리논리학, 수학적 대상, 수식, 함수.
방정식
방정식(方程式)은 미지수가 포함된 식에서, 그 미지수에 특정한 값을 주었을 때만 성립하는 등식이.
새로운!!: 항 (논리학)와 방정식 · 더보기 »
논리 연산
리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이.
새로운!!: 항 (논리학)와 논리 연산 · 더보기 »
논리식
리식은 논리 변수들을 논리 연산자를 이용하여 조합한 것이.
새로운!!: 항 (논리학)와 논리식 · 더보기 »
재작성
수학, 컴퓨터 과학 및 논리학에서 재작성은 다양한 부분을 다루고 있. (특별히 비결정적인 부분에서 중요하다) 이는 부분식을 다른 항으로 교체하여 이루어.
새로운!!: 항 (논리학)와 재작성 · 더보기 »
술어 논리
술어 논리(述語論理) 또는 함수 논리(函數論理) 또는 양화 논리(量化論理)는 명제에 '주어'와 '술어'의 구조가 존재하고, '주어'가 될 수 있는 대상에 대한 한정 기호를 사용할 수 있는 논리이.
새로운!!: 항 (논리학)와 술어 논리 · 더보기 »
수리논리학
수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.
새로운!!: 항 (논리학)와 수리논리학 · 더보기 »
수학적 대상
수학 및 수리철학에서 수학적 대상 (数學的対象)은 수학 중에서 생겨 오는 추상적 대상이.
새로운!!: 항 (논리학)와 수학적 대상 · 더보기 »
수식
수식(數式, mathematical expression)은 수학 표기와, 수학 기호를 사용하여 수학적 관계를 나타내는 식이.
새로운!!: 항 (논리학)와 수식 · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
새로운!!: 항 (논리학)와 함수 · 더보기 »