Составные высказывания

Описательные высказывания

Логика

Логические основы ЭВМ

Логика – это наука о мышлении – наука о формах и способах мышления, необходимых для рационального познания в любой области знания.

Одно из базовых понятий логики – это высказывание. Высказывание – это мысль, выраженная в форме синтаксически правильного предложения.

Существует множество разновидностей высказываний, но все они могут быть приведены к одной из двух основных форм: описательное высказывание или оценочное высказывание.

Описательное высказывание содержит описание чего-либо. Например: «В городе Тюмени сейчас идёт дождь». Оценочное высказывание содержит оценку чего-либо или побуждение выполнить что-либо. Примеры: «Хорошо, что в городе Тюмени сейчас идёт дождь»; «Пойдите и проверьте, кончился дождь или нет» (здесь наше действие «пойти и проверить» кем-то оценивается как желаемое).

Описательные высказывания могут быть истинными или ложными.

Описательное высказывание является истинным, если в действительности всё так, как указывается в этом высказывании. Иначе – высказывание ложно. Например, высказывание «В городе Тюмени сейчас идёт дождь» является истинным, если действительно сейчас идёт дождь. Если сейчас дождя нет, то это высказывание ложно.

Описательное высказывание – это любое повествовательное предложение, в отношении которого можно однозначно утверждать, что оно истинно или ложно.

Высказывания могут быть простыми и составными.

Простое описательное высказывание утверждает только один какой-нибудь факт. Например, «Все металлы электропроводны»; «Земля меньше Солнца»; «Наш дом выше деревьев»…

Составные высказывания строятся из простых путём соединения их между собой при помощи логических связок: «и», «или», «неверно, что», «либо, либо», «если, то», «тогда и только тогда, когда» и некоторых других. Примеры:

«Я завтра пойду в кино и в театр» = «Я завтра пойду в кино» И «Я завтра пойду в театр»

«Кларнет украли Карл или Клара» = «Кларнет украл Карл» ИЛИ «Кларнет украла Клара»

«Неверно, что мне уже за 40» = НЕВЕРНО, ЧТО «Мне уже больше 40 лет»

«Я пойду домой либо в 5 часов, либо в 6» =

= ЛИБО «Я пойду домой в 5 часов», ЛИБО «Я пойду домой в 6 часов»

«Если число 8 делится на 4, то оно делится и на 2» =

= ЕСЛИ «8 делится на 4», ТО «8 делится на 2»

«Число является чётным тогда и только тогда, когда оно делится на 2» =

= «Число является чётным» ТОГДА И ТОЛЬКО ТОГДА, КОГДА «Число делится на 2»

Для образования составных высказываний можно использовать и комбинации разных логических связок. Например: «Если кларнет украли Карл или Клара, тогда Петров и Иванов не виновны» =

= ЕСЛИ «Кларнет украл Карл» ИЛИ «Кларнет украла Клара», ТО НЕВЕРНО, ЧТО «Петров виновен» И НЕВЕРНО, ЧТО «Иванов виновен»

Дата добавления: 2014-01-07