Первый, наиболее простой раздел современной логики – это логика высказываний. Простейшим элементом в этом разделе выступает высказывание. Сначала установим некоторые терминологические различения.
Предложение – языковое средство выражения высказывания. Одно и то же высказывание может быть выражено разными предложениями. Например, предложение русского языка «Знание – сила» выражает то же самое высказывание, что и английское предложение «Knowledge is power» или латинское «Scientia potentia est».