И установление их логических значений

В процессе коммуникации встает задача определить качество высказываний, оценить их истинность, особенно когда это не очевидно.

Сколько раз вы слышали в детстве: «Пойдешь гулять, если сделаешь все уроки, и на улице не будет темно!». А потом повторяли эту фразу уже своим детям (или еще повторите ее). И надо иметь достаточно личного опыта, чтобы не только знать, что это высказывание может быть истинным или ложным, но и условия, при которых заветное «пойдешь гулять» будет истинным или ложным. Поэтому сейчас мы, во-первых, определим логическую форму этого высказывания и, во-вторых, установим его логическое значение.

Формализация сложного суждения.

(1) Выделение простых суждений.

p – «сделаешь все уроки»;

q – «на улице не будет темно»;

r – «пойдешь гулять».

(2) Определение логических связок.

«и» – логическая связка, соединяющая суждения p – «сделаешь все уроки», q – «на улице не будет темно»;

«если…, то…» – логическая связка, соединяющая основание (представлено двумя суждениями p и q) со следствием r;

«не» – логическое отрицание, являющееся внутренним для суждения q.

(3) Построение формулы сложного суждения.

Поскольку в высказывании допущена перестановка оснований и следствия, восстанавливаем должную логическую последовательность: Если p и не- q, то r.

Так как суждение r следует из совокупности условий, при построении формулы используем скобки в качестве технических знаков: