식이란 기호를 사용하여 기록한 글을 뜻한다. 수학에서 쓰이는 수식뿐만 아니라 문자가 들어 있는 화학식, 실험식 등도 식의 일종이다. 그리고 논리기호를 사용해 기록한 글인 명제식(혹은 논리식)도 식이 되고 이것은 가장 일반적인 식이라 할 수도 있다. 왜냐하면 타당한 논리적 정의를 사용해 여러 분야의 식을 모두 명제식으로 표현할 수 있기 때문이다.

식의 예시는 다음과 같다.

1)

2) 2+5=7