Процесс рассуждения разлагается на отдельные мысли, следующие друг за другом в определенном порядке. Законченная мысль, в которой что- либо утверждается или отрицается, называется суждением.

Суждения, содержание которых отвечают действительности, называются истинными, а суждения, содержание которых не отвечает действительности, - ложными. Истинными, например, будут суждения «Лилия-растение», «Медь электропроводна». Напротив, суждения «Кит-рыба», «Ртуть легче воды» являются ложными.

В логике суждения обозначаются буквами. Мы будем считать, что малые латинские буквы p

,

q

,

r

,

s

,

t

…c индексами или без них обозначают суждения. Поскольку суждения могут быть истинными или ложными, то, поставив значению «истина» в соответствие 1, и значению «ложь» - 0, будем полагать, что эти переменные принимают значения из двухэлементного множества {0,1}. Поскольку суждения выражаются в предложениях, то переменные, обозначающие суждения, обозначают и предложения. Их называют, поэтому пропозициональными переменными. В символических обозначениях суждения, обычно, называют высказываниями.