식

요약 기호를 사용하여 기록한 글로, 문자가 들어 있는 수식, 화학식 ·실험식 등도 식의 일종이고, 논리기호를 사용하여 기록한 글인 명제식(또는 논리식)도 식인데 이것은 어떤 의미로는 가장 일반적인 식이라 할 수 있다.

일상생활에서 가장 흔한 식은 3+5=8과 같은 식일 것이다. 문자가 들어 있는 수식, 즉 다항식도 식의 일종이고 화학식 ·실험식 등도 식의 일종이다. 논리기호를 사용하여 기록한 글인 명제식(또는 논리식)도 식인데 이것은 어떤 의미로는 가장 일반적인 식이라 할 수 있다. 즉, 정당한 논리적인 정의를 사용함으로써 수식이나 과학에서의 식도 모두 명제식으로서 나타낼 수가 있기 때문이다.

또한 독일의 수학자 ·논리학자인 겐첸의 체계에서는 논증의 단계를 나타내는 다음의 형식, A¹,A²,…,Aⁿ → B¹,…,B^m을 식이라 한다. 이 A¹,A²,…,Aⁿ은 전제를 나타내는 것이고 B¹,…,B^m은 결론을 나타낸다.