Демовариант.
Аттестация №1
Дата ______________
Дисциплина: Логика
Группа: ___________
Ф. И.О. ___________________________________
Демовариант.
Определите, к каким семантическим категориям относятся выражения, входящие в состав следующих предложений
А) Идея написать роман о поисках спрятанных в стуле сокровищ принадлежала брату Е. Петрова.
Б) Ни один ученый не надеется открыть все неизвестные законы.
Выявите логическую форму следующих сложных предложений средствами языка логики высказываний.
А) Связной не придет на встречу с резидентом, если не получит подтверждения о приеме сообщения, а если он его не получит, то он поймет, что резидент либо уже провалился, либо находится на грани провала.
Б) Если респондент затрудняется ответить на вопрос интервьюера, то либо ему не нравится вопрос, либо ему не нравится интервьюер, но такие варианты ответов в анкетах, как правило, не содержатся.
3) Определить с помощью таблиц истинности, в каком-логическом отношении находятся следующие суждения:
А) Если вы поскользнулись и упали, то вы испачкались.
Б) Если вы не испачкались, то если вы и поскользнулись, то вы не упали,
4) Проверьте с помощью таблиц истинности правильность рассуждения.
Если человек лишился рассудка, то он не может правильно рассуждать. Если человек не может правильно рассуждать, то его следует обучать логике. Следовательно, если человек лишился рассудка, то его следует обучать логике, а если человека не следует обучать логике, то он находится в здравом уме.
5) Проверьте с помощью аналитических таблиц, являются ли следующие формулы законами логики высказываний:
А) (p&q)⊃((p⊃q)&(q⊃p))
Б) ((p⊃q)∨r)⊃((p⊃r)∨q)
6) Доказать теоремы в натуральном исчислении высказываний:
А) ((p∨q)⊃p)⊃(⎤q⊃⎤p)
Б) (p≡q)⊃((r⊃p)⊃(r⊃q))
