Тема 3. Высказывания

1.Что такое высказывание? Какие логич. значения может иметь высказывания?

- это осмысленное языковое выражения, содержащее некоторое утверждение или отрицание, обладающее свойством быть истинным или ложным

истинность и ложность являются логическими значениями высказывания

2. Какие существуют виды простых высказываний? В чём специфика каждого из них?

Виды и характеристики:

- атрибутивное в нем утверждается или отрицается свойство или состояние, присущее какому- либо предмету

- экзистенцианальное в нём утверждается или отрицается факт существования предмета в действительности

- реляционное в нём выражается отношение между двумя и более предметами

3.Какое высказывание называется сложным?

- когда оно выражает несколько утверждений или отрицаний

4.Что такое логический союз? Для чего он служит?

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

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

5. Перечислите виды сложных высказываний. Каковы условия их истинности?

Отрицание – истинно тогда и только тогда, когда исходное высказывание ложно

Конъюнкция - истинно тогда и только тогда, когда истинны все входящие в его состав простые высказывания

Дизъюнкция слабая - истинно тогда и только тогда, когда истинно хотя бы одно из составляющих его простых высказываний

Дизъюнкция сильная - истинно тогда и только тогда, когда истинно лишь одно из составляющих его простых высказываний

Импликация - ложно тогда и только тогда, когда основание истинно, а следствие ложно

Эквиваленция - истинно тогда и только тогда, когда логические значения входящих в его состав простых высказываний совпадают

6. Какие различают виды формул и зависимости от их логического значения?

- нейтральные (выполнимые)

- тождественно-ложные (противоречивые)

- тождественно-истинные формулы

7. Какие формулы соответствуют логическим законам?

- тождественно-истинные формулы

8. Для чего служит метод построения таблиц истинности? В чём он заключается?

- для формулирования и обоснования законов

- в отборе закона логики высказываний

9. Какие вам известны элементарные законы логики высказываний?

- закон тождества, закон противоречия, закон исключения третьего, закон достаточного основания

10. Почему эти законы называются основными

- потому, что выражают самые общие и в тоже время самые существенные четыре правильного мышления: определённость, непротиворечивость, последовательность, обоснованность

11.Сформулируйте элементарные законы логики высказываний. Что выражает каждый из них?

- потому, что они наиболее просты, их можно выразить с помощью одной переменной

- закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе

- закон противоречия - два противоречивых друг другу высказывания об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть одновременно истинными; по крайней мере, одно из них необходимо ложным

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

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

12.Какие ошибки возникают при нарушении основных законов логики?

- необоснованность (бездоказательность, неаргументированность) рассуждений

3.2 Вывод логики высказывания

1.Что такое вывод? Какова структура вывода?

- это процедура получения нового высказывания на основе одного и более уже принятых высказываний

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

2.Какой вывод называется правильным?

-

3.Что представляет собой дедуктивный вывод?

- если между его посылками и заключением имеет место отношение следования, т. е. всякий раз, когда посылки истинны, заключение тоже истинно

4.В чём специфика выводов логики высказываний?

- Условие+ эквивалентно – категорическое умозаключение+ разделительно - категорическое умозаключение+ условно - разделительное умозаключение

5.Что такое чисто условное умозаключение?

- называется вывод (умозаключение), посылки и заключение которого являются условными высказываниями

6. .Что такое условно – категорическое умозаключение?

- называется вывод (умозаключение), котором одна посылка-условие высказывания, а другая посылка и заключение-категорические высказывания

7.Какие модусы и формы имеют условно – категорическое умозаключение?

- модусы- утверждающий и отрицающий

- формы- правильная и неправильная

8.Чем отличается эквивалентно – категорическое умозаключение от условно – категорического?

- тем, что одна из посылок представляет собой эквиваленцию

9.Что такое разделительно - категорическое умозаключение?

- называется вывод (умозаключение), в котором одна из посылок- разделительное высказывание, а другая посылка и заключение- категорическое высказывания

10.Какие модусы имеет разделительно - категорическое умозаключение?

- утверждающе – отрицающий

- отрицающе - утверждающий

11.Что такое условно – разделительное (лемматическое) умозаключение? Назовите его разновидности?

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

- распространённой разновидностью являются Дилеммы

12.Какие виды дилемм вам известны?

- конструктивные

- деструктивные