Задача по логике с использованием законов Де-Моргана

Кристина
Ничего не принимайте близко к сердцу. Немногое на свете долго бывает важным.

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

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

"Он повернет налево или направо".

Именем английского логика XIX в. А. Де Моргана называются логические законы, связывающие с помощью отрицания высказывания, образованные с помощью союзов «и» и «или». Так как здесь использован союз «или», то это дизъюнкция.

Согласно закону Моргана, отрицание дизъюнкции является конъюнкцией отрицаний:

¬(A V B) = ¬A / ¬B, т.е.

двойное отрицание суждения «он повернет налево или направо» будет звучать, как «Неверно, что он не повернет налево и не повернет направо».

В качестве наглядного примера - высказывание, что нашла в статье с интересным названием "Работе - работово, дому-домово». Несмотря на то, что название может вызывать некоторые нарекания в плане стилистики, там прозвучало интересное утверждение о том, что, мол, если вы получаете фиксированный оклад, то ни один работодатель, каким бы он хорошим не был,  никогда не оценит того факта, что свои рабочие обязанности вы выполняете вне рабочего времени.

Истинно это утверждение или ложно?

Согласно законам логики, высказывание может быть либо ложным, либо истинным - другого не дано. Истинность же сложного суждения зависит только от истинности входящих в него простых высказываний и способа их связи.

Это сложное условное суждение (импликация), в основе которого соединительный союз "если..., то...". Формула данного суждения, как мы помним из статьи "Формула сложного суждения" имеет следующую схему: a → b, которая читается, как  «если a, то b» или еще четче: «если a, то обязательно b, но если b, то не обязательно a».

Значит, выходит, утверждение верное?

На этом пока все. До новых встреч на страницах блога http://rithelp.ru!