5. Перевести на ялв следующие высказывания:

а) В отличие от либералов и социал-демократов, державники не согласны с рекомендациями Хантингтона.

б) Участие в научной конференции не означает наличие ученой степени

в) Без сдачи хотя бы одного из этих двух зачетов мы вас не допустим до экзаменационной сессии

г) За смертью гражданина Сидорова последовало его чудесное воскресение.

д) Смерть гражданина Сидорова послужила причиной конфликта между его наследниками

е) Если бы гражданин Сидоров составил грамотное завещание, его наследники не поубивали бы друг друга

6. Определить условия истинности следующих сложных высказывания

а) Если хотя бы один из двух свидетелей не откажется от своих показаний, то мы выиграем это дело

б) Если ни Сидоров, ни Евдокимов не знают шифра, то сейф придется взрывать

в) Когда хозяин выпьет, он бывает добрым, но сегодня он трезвый.

7. Построить истинностную таблицу и определить условия истинности формулы, используя карточку с табличными определениями. Для одной из этих формул (по вашему выбору) подобрать высказывание, логическую форму которого оно выражает.

а) p(qr)

б)  p (rq)

в)  (s  r)

г)  (qp)

8.

а) Является ли формула  p (pq) тождественно-истинной?

б) Является ли формула ( p  q)  (pq) тождественно-ложной?

в) Является ли формула (q(qr))  (qr) логически нейтральной?

г) Является ли формула (( p p)  q)  q выполнимой?

д) Является ли формула ( p  s)  (ps) невыполнимой?

е) Является ли формула  (s  r)  (s r) общезначимой?

ж) Является ли формула  p   p противоречием?

Занятие 7. Логика высказываний (лв): определение логических отношений между формулами лв (логически сложными высказываниями) Техническое задание

Сделать карточки-подсказки:

«Логические отношения между формулами ЛВ»

Задачи

3. Установить, в каком логическом отношении находятся следующие формулы:

а)  (s  r) и  s r

б) qp и  (qp)

в)  p (rq) и  pq

4. Установить, в каком логическом отношении находятся следующие высказывания:

а) Если государство не выполняет свои международные обязательства, то страдают его граждане. Государство не выполняет свои международные обязательства, но его граждане не страдают. Государство выполняет свои международные обязательства, а его граждане страдают.

б) Нет дыма без огня. Если есть дым, то есть и огонь. Если есть огонь, то есть и дым.

в) Уважающий себя украинский политик не поедет в Москву без переводчика. Если украинский политик едет без переводчика, то либо он себя не уважает, либо едет не в Москву.

Занятие 8. Лв: отношение логического следования и проверка правильности умозаключений семантическими методами Вопросы для самопроверки

Какие из следующих ответов являются правильными, а какие нет:

– Правильное умозаключение – это умозаключение с истинным заключением

– Правильное умозаключение – это умозаключение, в котором все посылки истинны, и заключение истинно

– Правильное умозаключение – это умозаключение, в котором заключение истинно независимо от истинности посылок

– Правильное умозаключение – это умозаключение, для которого истинность всех посылок является достаточным условием истинности заключения

– Правильное умозаключение – это умозаключение, для которого истинность всех посылок является необходимым условием истинности заключения

– В правильном умозаключении заключение не может быть ложным, если имеются истинные посылки

– В правильном умозаключении если некоторые посылки являются ложными, то заключение может быть как истинным, так и ложным

– В правильном умозаключении заключение не может быть ложным, если истинны все посылки

– В правильном умозаключении если заключение ложно, то имеется хотя бы одна ложная посылка

– В правильном умозаключении если есть хоть одна ложная посылка, то и заключение ложно

– В правильном умозаключении если все посылки ложны, то и заключение ложно

– В правильном умозаключении если есть хоть одна ложная посылка, то заключение может быть как истинным, так и ложным

– В правильном умозаключении если все посылки ложны, то заключение может быть как истинным, так и ложным

– В правильном умозаключении заключение не может быть ложным при истинности всех посылок

– В правильном умозаключении посылки не могут быть ложными при истинности заключения

– В схеме умозаключения посылки выражены пропозициональными переменными, , которые содержатся в формулах, записанных слева от знака ╞

– В схеме умозаключения посылки выражены пропозициональными переменными, , которые содержатся в формулах, записанных справа от знака ╞

– В схеме умозаключения посылки выражены формулами, которые записаны слева от знака ╞

– В схеме умозаключения столько посылок, сколько в ней пропозициональных переменных

– В умозаключении должно быть не меньше двух посылок

– В схеме умозаключения заключение выражено знаком ╞

– В схеме умозаключения заключение выражено формулой, записанной справа от знака ╞

– Если посылки несовместимы по истине, то правильное умозаключение построить невозможно

– Из несовместимых по истине посылок можно построить правильное умозаключение

– Если среди посылок есть тождественно ложная формула, то любое умозаключение с такими посылками будет правильным

– Если посылки несовместимы по истине, то умозаключение правильно при любом заключении