УНИВЕРСИТЕТ УПРАВЛЕНИЯ И ЭКОНОМИКИ
КОНТРОЛЬНАЯ РАБОТА
По дисциплине:
«Логика»
(вариант 16)
Выполнил:
А.
Кириши
2013г
Содержание
1 ПОНЯТИЕ ОПРОВЕРЖЕНИЯ. СПОСОБЫ ОПРОВЕРЖЕНИЯ.. 3
1.1 Опровержение тезиса (прямое и косвенное) 3
1.2 Критика аргументов. 4
1.3 Выявление несостоятельности демонстрации. 4
2 ПРАКТИЧЕСКАЯ ЧАСТЬ. 5
Задание 2.1. 5
Задание 2.2. 7
Список использованной литературы.. 9
1 ПОНЯТИЕ ОПРОВЕРЖЕНИЯ. СПОСОБЫ ОПРОВЕРЖЕНИЯ
Опровержение - логическая операция установления ложности или необоснованности ранее выдвинутого тезиса.
Опровержение должно показать, что:
- неправильно построено само доказательство (аргументы или демонстрация);
- выдвинутый тезис ложен или не доказан.
Суждение, которое надо опровергнуть, называется тезисом опровержения. Суждения, с помощью которых опровергается тезис, называются аргументами опровержения,
Существуют три способа опровержения:
1. опровержение тезиса (прямое и косвенное);
2. критика аргументов;
3. выявление несостоятельности демонстрации.
1.1 Опровержение тезиса (прямое и косвенное)
Опровержение тезиса осуществляется с помощью следующих трех способов
1. Опровержение фактами (прямой) - самый верный и успешный способ опровержения.
Должны быть приведены действительные события, явления, статистические данные, которые противоречат опровергаемому тезису
2. Устанавливается ложность (или противоречивость) следствий, вытекающих из тезиса
Этот прием называется “сведение к абсурду”. Доказывается, что из данного тезиса вытекают следствия, противоречащие (косвенный) истине.
3. Опровержение тезиса через доказательство антитезиса (косвенный)
По отношению к опровергаемому тезису выдвигается противоречащее ему суждение, которое доказывается.
1.2 Критика аргументов
Подвергаются критике аргументы, которые были выдвинуты оппонентом в обоснование его тезиса. Доказывается ложность или несостоятельность этих аргументов.
Ложность аргументов не означает ложности тезиса: тезис может оставаться истинным:
Нельзя достоверно умозаключать от отрицания основания к отрицанию следствия. Но бывает достаточно показать, что тезис не доказан. Иногда бывает, что тезис истинен, но человек не может подобрать для его доказательства истинные аргументы. Случается и так, что человек не виновен, но не имеет достаточных аргументов для доказательства этого. В ходе опровержения аргументов следует об этих случаях помнить.
1.3 Выявление несостоятельности демонстрации
Этот способ опровержения состоит в том, что показываются ошибки в форме доказательства. Наиболее распространенной ошибкой является та, что истинность опровергаемого тезиса не вытекает, не следует из аргументов, приведенных в подтверждение тезиса.
Часто все перечисленные способы опровержения тезиса, аргументов, хода доказательства применяются не изолированно, а в сочетании друг с другом.
2 ПРАКТИЧЕСКАЯ ЧАСТЬ
Создать таблицу истинности для двух высказываний.
Таблица истинности — это таблица, в которой отражены все значения логической функции при всех возможных значениях, входящих в неё логических аргументов.
Задание 2.1
Создать таблицу истинности
(А∨(В∧С))≡А∨(В∧С)
Решение:
Приведем таблицы истинности всех логических операций, присутствующих в данном выражении.
- Логическое отрицание (инверсия)
Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна (Таблица 2.1)
Таблица 2.1 – Таблица истинности инверсии
х | х |
0 | 1 |
1 | 0 |
∨ - Логическое сложение (дизъюнкция)
Дизъюнкция ложна тогда и только тогда, когда оба высказывания ложны (Таблица 2.2)
Таблица 2.2 – Таблица истинности дизъюнкции
х | у |
|
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
∧ - Логическое умножение (конъюкция)
Конъюкция истинна тогда и только тогда, когда оба высказывания истинны (Таблица 2.3)
Таблица 2.3 – Таблица истинности конъюкции
x | y |
|
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
х≡у - эквивалентность (эквиваленция)
Эквиваленция истинна тогда и только тогда, когда оба высказывания одновременно истинны или одновременно ложны (Таблица 2.4)
Таблица 2.4 – Таблица истинности эквиваленции
x | y |
|
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
На основании этих таблиц истинности логических операторов построим таблицу истинности заданного высказывания(Таблица 2.5)
Таблица 2.5 – Таблица истинности выражения
А | B | C | В∧С | А∨(В∧С) | (А∨(В∧С)) | А | С | В∧С | А∨(В∧С) | F |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 |
1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | |
1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
Задание 2.2
Создать таблицу истинности
(А→С) → ((А→В) ∧ (В→С))
Решение:
Приведем таблицы истинности всех логических операций, присутствующих в данном выражении.
x→y – Импликация
Импликация ложна тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно (Таблица 2.6)
Таблица 2.6 – Таблица истинности импликации
x | y |
|
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
x∧y - Логическое умножение (конъюкция)
Конъюкция истинна тогда и только тогда, когда оба высказывания истинны (Таблица 2.7)
Таблица 2.7 – Таблица истинности конъюкции
x | y |
|
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
На основании этих таблиц истинности логических операторов построим таблицу истинности заданного высказывания (Таблица 2.7)
Таблица 2.7 – Таблица истинности выражения
А | B | C | А→С | А→В | В→С | (А→В) | F |
0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 |
1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
(В→С)Список использованной литературы
1. Лекции по дисциплине «Логика» - университет управления и экономики (2013)
2. Методические указания по выполнению контрольных работ по дисциплине «логика» - университет управления и экономики
Студент
А.
_________________
Дата:_______________
Основные порталы (построено редакторами)