Сущность суждения
Процесс рассуждения разлагается на отдельные мысли, следующие друг за другом в определенном порядке. Законченная мысль, в которой что- либо утверждается или отрицается, называется суждением.
Суждения, содержание которых отвечают действительности, называются истинными, а суждения, содержание которых не отвечает действительности, - ложными. Истинными, например, будут суждения «Лилия-растение», «Медь электропроводна». Напротив, суждения «Кит-рыба», «Ртуть легче воды» являются ложными.
В логике суждения обозначаются буквами. Мы будем считать, что малые латинские буквы p
,
q
,
r
,
s
,
t
…c индексами или без них обозначают суждения. Поскольку суждения могут быть истинными или ложными, то, поставив значению «истина» в соответствие 1, и значению «ложь» - 0, будем полагать, что эти переменные принимают значения из двухэлементного множества {0,1}. Поскольку суждения выражаются в предложениях, то переменные, обозначающие суждения, обозначают и предложения. Их называют, поэтому пропозициональными переменными. В символических обозначениях суждения, обычно, называют высказываниями.