Законы логики 9 класс: Логика 8-9 класс (Законы булевой алгебры и упрощение логических выражений)

Содержание

Логика 8-9 класс (Законы булевой алгебры и упрощение логических выражений)

Тема: «Законы булевой алгебры и упрощение логических выражений»

Цели урока:

Образовательные: познакомить учащихся с законами логики; совершенствовать, развивать и углублять знания и умения по теме «Логические основы построения компьютера»; проконтролировать степень усвоения учебного материала. сформулировать правила преобразования логических выражений; научить учащихся приводить логическое выражение к нормальной форме; продолжить работу по подготовке к ЕГЭ, способствовать развитию у учащихся логического мышления.

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

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

Задачи учителя:

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

Требования к знаниям и умениям:

Учащиеся должны знать:

-правила преобразования логических выражений и законов логики.

Учащиеся должны уметь:

— упрощать логические выражения ;

— уметь решать логические задачи, сформулированные на обычном языке.

Тип урока: комбинированный урок.

Ход урока:

  1. Организация начала занятия.

  2. Проверка домашнего задания.

  3. Разминка. Подготовка учащихся к восприятию материала на основном этапе занятия. Постановка проблемы.

  4. Изложение материала

  5. Закрепление изученного.

  6. Подведение итогов урока.

  7. Рефлексия деятельности и поведения.

  8. Информация о домашнем задании.

  1. Организационный этап.

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

  1. Этап проверки домашнего задания.

Фронтально проверяется задание, записанное в тетради:

Построить таблицу истинности функции F:

F=(

Решение:

A

B

C

C

C

F

0

0

0

1

1

0

1

0

1

1

0

0

1

1

1

0

1

1

1

1

0

1

0

1

0

0

1

0

1

1

0

1

1

1

0

0

1

0

1

1

1

0

0

0

1

0

1

0

0

1

1

0

1

0

1

0

1

1

1

1

1

1

0

0

0

1

0

0

0

1

1

1

1

0

0

1

0

0

0

1

  1. Разминка. Подготовка учащихся к восприятию материала на основном этапе занятия.

Учитель:

Давайте в качестве разминки решим несколько задач по мат. логике из демо-версий ЕГЭ прошлых годов.

Для какого числа X истинно высказывание

A9. ((X3) \/(X (X

Учитель: Проверим все 4 возможных варианта значения Х и выберем из них тот вариант, когда значением выражения будет истина. Вызывает ученика к доске.

Решение:

Х=1

Выражение будет иметь вид: ((13) \/(1 (1 0 , откуда 1 – 0=0

Х=2

Выражение будет иметь вид: ((23) \/(2 (2 0 , откуда 1 – 0=0

Х=3

Выражение будет иметь вид: ((33) \/(3 (3 0 , откуда 0 – 0= 1

Х=4

Выражение будет иметь вид: ((43) \/(4 (4 0 , откуда 1 – 0=0

Ответ: верный ответ № 3.

A11. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.

Дан фрагмент таблицы истинности выражения F:

X

Y

Z

F

0

1

0

0

1

1

0

1

1

0

1

0

Какое выражение соответствует F?

1)

¬X \/ Y \/ ¬Z

2)

X /\ Y /\ ¬Z

3)

¬X /\ ¬Y /\ Z

4)

X \/ ¬Y \/ Z

Учитель: Составим таблицы истинности для каждого высказывания, и сравним результат с F.

X

Y

Z

¬X

¬Y

¬Z

¬X \/ Y \/ ¬Z

X /\ Y /\ ¬Z

¬X /\ ¬Y /\ Z

X \/ ¬Y \/ Z

F

0

1

0

1

0

1

1

0

0

0

0

1

1

0

0

0

1

1

1

0

1

1

1

0

1

0

1

0

0

0

0

1

0

Ответ: верный ответ 2

В2. Каково наибольшее целое число X, при котором истинно высказывание

(90X·X) – (X X -1)) ?

Вспомним таблицу истинности импликации. Импликация истинна в трёх случаях:

0→0;

0→1;

1→1;

Рассуждаем, т.к. вторая часть выражения X X -1) всегда ложна, остается только первый случай. (0→0) ; Т.о наибольшее целое число X, при котором 90X·X ложно равно 9

A10. Какое логическое выражение равносильно выражению ¬ (A /\ B) /\ ¬C?

1)

¬A \/ B \/ ¬C

2)

(¬A \/ ¬B) /\ ¬C

3)

(¬A \/ ¬B) /\ C

4)

¬A /\ ¬B /\ ¬C

Решение: (способ1).

Учитель: Каким способом мы можем решить эту задачу?

Ученики: Построим таблицы истинности для каждого из выражений, и сравним результаты

По заданию:

А

В

С

A /\ B

¬ (A /\ B)

¬C

¬ (A /\ B) /\ ¬C

1

1

1

1

0

0

0

1

1

0

1

0

1

0

1

0

1

0

1

0

0

0

1

1

0

1

0

0

1

0

0

0

1

1

1

0

1

0

0

1

1

1

0

0

1

0

1

0

0

0

0

0

0

1

1

1

.

Вариант1

А

В

С

¬A

¬C

¬A \/ B

¬A \/ B \/ ¬C

1

1

1

0

0

1

1

1

1

0

0

1

1

1

1

0

1

0

0

0

0

0

1

1

1

0

1

1

1

0

0

0

1

0

1

0

1

0

1

1

1

1

0

0

1

1

0

1

1

0

0

0

1

1

1

1

Вариант2

А

В

С

¬A

¬B

¬C

¬A \/ ¬B

(¬A \/ ¬B) /\ ¬C

1

1

1

0

0

0

0

0

1

1

0

0

0

1

0

0

1

0

1

0

1

0

1

0

0

1

1

1

0

0

1

0

1

0

0

0

1

1

1

1

0

1

0

1

0

1

1

1

0

0

1

1

1

0

1

0

0

0

0

1

1

1

1

1

Вариант3

А

В

С

¬A

¬B

¬C

¬A \/ ¬B

(¬A \/ ¬B) /\ C

1

1

1

0

0

0

0

0

1

1

0

0

0

1

0

0

1

0

1

0

1

0

1

1

0

1

1

1

0

0

1

1

1

0

0

0

1

1

1

0

0

1

0

1

0

1

1

0

0

0

1

1

1

0

1

1

0

0

0

1

1

1

1

0

Вариант4

А

В

С

¬A

¬B

¬C

¬A /\ ¬B

¬A /\ ¬B /\ ¬C

1

1

1

0

0

0

0

0

1

1

0

0

0

1

0

0

1

0

1

0

1

0

0

0

0

1

1

1

0

0

0

0

1

0

0

0

1

1

0

0

0

1

0

1

0

1

0

0

0

0

1

1

1

0

1

0

0

0

0

1

1

1

1

0

Вывод: сравнивая таблицы мы пришли к выводу, что верный вариант 2

Учитель: А как вы думаете ребята, не показалось ли вам решение этой задачи слишком громоздким? Я, например, сразу могу сказать вам ответ этой задачи, не строя таблицы истинности. В

Доказать свойства поглощения и поглощения отрицания можно путем упрощения на основе свойств дистрибутивности. (Доказательство оставить для домашней работы)

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

A B = не A V B

Для замены операции эквивалентности существует два выражения:

A равносильно B = (A * B) V (не A * не B)

A равносильно B = (A V не B) * (не A V B)

V. Закрепление изученного: упрощение логических выражений

В этой части урока учитель показывает, на примере как упрощаются выражения: и объясняет, что для успешного упрощения нужна практика. Чем больше примеров будет решено, тем вероятнее, что ученик увидит возможные варианты упрощения в конкретном выражении.

Задания:

1). Упростить логическое выражение. (Демонстрируется слайд).

_______________

_____

F = (A v B) → (B v C)

Решение (используются законы де Моргана, закон двойного отрицания, распределительный закон):

_______________ _____

_____ _____

F = (A v B) → (B v C) = A v B & (B v C) = (A v B) & (B v C) = B v (A & C)

2) Выполнение аналогичных заданий по карточкам.

Учитель: А теперь попробуем применить изученные законы для решения задач.

3) Решим задачу:

Учитель. Представим такую ситуацию: по телевизору синоптик объявляет прогноз погоды на завтра и утверждает следующее:

  1. Если не будет ветра, то будет пасмурная погода без дождя.

  2. Если будет дождь, то будет пасмурно и без ветра.

  3. Если будет пасмурная погода, то будет дождь и не будет ветра.

Так какая же погода будет завтра? (Ответы учеников)

Решим эту задачу средствами алгебры логики.

Решение:

а) Выделим простые высказывания и запишем их через переменные:

A – «Ветра нет»

B – «Пасмурно»

С – «Дождь»

б) Запишем логические функции (сложные высказывания) через введенные переменные:

1. Если не будет ветра, то будет пасмурная погода без дождя:

__

A → B & C

2. Если будет дождь, то будет пасмурно и без ветра:

С → B & A

3. Если будет пасмурная погода, то будет дождь и не будет ветра

B → C & A

в) Запишем произведение указанных функций:

_

F=(A→ B & C) & (C→B & A) & (B→ C & A)

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

_

F=(A→ B & C) & (C→B & A) & (B→ C & A)
_ _ _ _

= (A v B & C) & (C v B&A) & (B v C&A) =

_ _ _ _

= (A v B & C) & (B v C&A) & (C v B&A) =

_ _ _ _ _ _

= (A & B v B&C&B v A&C&A v B&C&C&A) & (C v B&A)=

_ _ _ _ _ _ _

= A & B &(C v B&A) =A&B&C v A&B&B&A =

_ _ _

= A&B&C

д) Приравняем результат единице, т.е. наше выражение должно быть истинным:

_ _ _

F = A & B & C = 1

е) Проанализируем результат:

Логическое произведение равно 1, если каждый множитель равен 1.

Поэтому:

_ _ _

A = 1; B = 1; C = 1;

Значит: A = 0; B = 0; C = 0;

Ответ: погода будет ясная, без дождя, но ветреная.

Учитель: Ну а теперь вернёмся к задаче:

A10. Какое логическое выражение равносильно выражению ¬ (A /\ B) /\ ¬C?

1)

¬A \/ B \/ ¬C

2)

(¬A \/ ¬B) /\ ¬C

3)

(¬A \/ ¬B) /\ C

4)

¬A /\ ¬B /\ ¬C

Способ 2: Применим закон де Моргана. ¬ (A /\ B) = ¬A \/ ¬B

Раскрывая скобки получаем (¬A \/ ¬B) /\ ¬C = (¬A \/ ¬B) /\ ¬C

Ответ: верный ответ №2

    1. Этап подведения итогов учебного занятия.

Учитель задает вопрос: Так какой же способ решения легче?: (Учащиеся должны ответить, что в некоторых заданиях не нужно чертить таблиц, решение с помощью Законов алгебры логики существенно экономит время).

VII. Рефлексия

Что было легко, а что трудно?

Что было интересно, а что не затронуло?

Что нового для себя вы узнали, чему научились?

Какие компетенции Вы приобрели?

VIII. Домашнее задание.

Выучить законы алгебры-логики. Выполнить задания:

Задача1. Андрею, Саше и Егору предъявлено обвинение в соучастии в ограблении банка. Похитители скрылись на поджидавшем их автомобиле. На следствии Андрей показал, что преступники скрылись на синем Мерседесе, Саша сказал, что это был черный Джип, а Егор утверждал, что это был Форд Мустанг и ни в коем случае не синий. Стало известно, что желая запутать следствие, каждый из них указал правильно либо марку машины, либо только ее цвет. В

Задача4.

В2. Каково наибольшее целое число X, при котором истинно высказывание

(80X·X) – (X X -1)) ?

9


4 закона логики, которые помогут определить ложные суждения

Содержание статьи

В жизни мы часто слышим фразы «это не поддается логике» или «это нелогично». В целом мы понимаем, что речь идет про неверное суждение, ошибочные выводы. Но в чем конкретно нарушена логика — сказать трудно. Существуют 4 закона логики, с помощью которых можно легко отделить ложь от правды. Логика — это древняя наука, появившаяся в 4 веке до н.э., ее основателями были Аристотель, Сократ, Платон и многие другие известные философы, которые усердно изучали законы и формы правильного логического мышления. Давайте разберем на простых примерах значения основных четырех законов логики и как их применить в жизни.

Закон тождества

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

  • Что вы выберите: счастье или конфету? — Счастье.
  • Как вы считаете, что лучше счастья? —Ничто!
  • Но конфета лучше, чем ничто.
  • Поэтому конфета получается лучше счастья.

В примере понятие «ничто» в первом варианте означало «отказ от выбора варианта», во втором, как отсутствие чего-либо.

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

Закон противоречия

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

Закон исключенного третьего

Два противоречащих утверждения не должны быть одинаково ложными. Тут важно отличать противоречащие от противоположных утверждений. Первые суждения не имеют третьего варианта, например, большая квартира и небольшая квартира. Противоположные суждения допускают, что возможен и другой вариант, например, «маленькая квартира» и «большая квартира», другой вариант — «средняя квартира». На простых примерах принцип понятен, а вот в жизни противоречащие суждения обычно разделены длинным предисловием, который сбивает с мысли.

Закон достаточного основания

Истинная мысль должна быть основана на аргументах, чтобы быть истинной. Важно, что само утверждение должно следовать из этих фактов. Например, «я готовился к экзамену, поэтому я не заслужил двойку». Один факт не подтверждает утверждение, студент мог просто прочесть лекции и не заучивать нужный материал. Данный закон помогает не делать преждевременных выводов и не верить, например, разной желтой прессе.

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

Свойства логических операций — информатика, презентации

Свойства логических операций

законы логики

(9 класс)

Для любых логических формул A, B, C истинны следующие неравенства

1. Закон двойного отрицания

¬¬A=A

Двойное отрицание исключает отрицание.

Для любых логических формул A, B, C истинны следующие неравенства

2. Закон повторения

— для логического умножения

A & A = A

— для логического сложения

A v A = A

Для любых логических формул A, B, C истинны следующие неравенства

3. Коммутативный (переместительный) закон

— для логического умножения

A & B = B & A

— для логического сложения

A v B = B v A

Для любых логических формул A, B, C истинны следующие неравенства

4. Ассоциативный (сочетательный) закон

— для логического умножения

(A & B) & C = A & (B & C)

— для логического сложения

(A v B) v C = A v (B v C)

Для любых логических формул A, B, C истинны следующие неравенства

5. Дистрибутивный (распределительный) закон

— для логического умножения

A & (B v C) = (A & B) v (A & C)

— для логического сложения

A v (B & C) = (A v B) & (A v C)

Для любых логических формул A, B, C истинны следующие неравенства

6. Законы поглощения

— для логического умножения

A & (A v C) = A

— для логического сложения

A v (A & C) = A

Для любых логических формул A, B, C истинны следующие неравенства

7. Законы общей инверсии (законы де Моргана)

— для логического умножения

¬(A & B) = ¬A v ¬B

— для логического сложения

¬(A v C) = ¬A & ¬B

Для любых логических формул A, B, C истинны следующие неравенства

8. Законы исключения третьего

— для логического умножения

A & ¬A = 0

— для логического сложения

A v ¬A = 1

Для любых логических формул A, B, C истинны следующие неравенства

9. Законы операций с 0 и 1

— для логического умножения

A & 0 = 0; A & 1 = A

— для логического сложения

A v 0 = A; A v 1 = 1

Доказательство распределительного закона

для логического сложения: A v (B & C) = (A v B) & (A v C)

A

B

0

C

0

0

B&C

0

0

0

A v (B & C)

0

1

1

A v B

0

1

1

A v C

1

0

1

(A v B) & (A v C)

0

0

1

1

1

1

0

1

1

0

0

0

0

0

0

0

0

1

0

1

0

0

0

0

1

1

1

1

1

1

1

1

0

1

1

1

1

0

1

0

1

1

1

1

1

1

1

1

1

Равенство выделенных столбцов доказывает распределительный закон.

Умножаем В на С и выводим результат.

Складываем А и ( В & С ) и выводим результат.

Умножаем ( А v B ) на ( A v C )и выводим результат.

Складываем А и C и выводим результат.

Складываем А и В и выводим результат.

Доказательство распределительного закона

для логического умножения: A & (B v C) = (A & B) v (A & C)

A

0

B

C

0

0

B v C

0

0

0

A & (B v C)

1

1

0

A & B

0

1

1

A & C

1

1

0

(A & B) v (A & C)

0

1

0

1

1

1

0

1

1

0

0

0

0

0

0

0

0

0

1

0

0

0

0

1

1

0

0

1

0

0

0

0

0

0

1

1

1

1

0

1

1

1

1

1

1

1

1

1

1

Складываем ( А & B ) и ( A & C )и выводим результат.

Умножаем А на C и выводим результат.

Равенство выделенных столбцов доказывает распределительный закон.

Умножаем А на В и выводим результат.

Складываем В и С и выводим результат

Умножаем А на ( В v С ) и выводим результат.

Алгебра логики. 9 класс — презентация онлайн

Алгебра логики
Информатика и ИКТ
9 класс
Информатика и ИКТ. 9 класс
Логика
Способность к развитому абстрактному
мышлению, которая, формируется логикой, и
есть то, что отделяет нас от животных. Термин
“логика” происходит от греческого слова logos
– то есть “мысль”, “разум”, “слово”.
Логика – это наука о формах и способах
мышления. Основными формами мышления
являются понятие, высказывание и
умозаключение.
Информатика и ИКТ. 9 класс
Логика
Аристотель (384-322 до н.э.).
Основоположник формальной логики
(понятие, суждение, умозаключение).
Джордж Буль (1815-1864). Создал
новую область науки — Математическую
логику (Булеву алгебру или Алгебру
высказываний).
Клод Шеннон (1916-2001). Его
исследования позволили применить
алгебру логики в вычислительной технике
Информатика и ИКТ. 9 класс
Высказывание
Высказывание – предложение на любом
языке,
содержание
которого
можно
однозначно определить как истинное или
ложное.
Высказывание может быть истинным или ложным
Истинное (1)
Высказывание
Ложное (0)
Информатика и ИКТ. 9 класс
Высказывание
В
русском
языке
высказывания
выражаются
повествовательными предложениями:
Земля вращается вокруг Солнца.
Москва — столица.
Но не всякое повествовательное предложение является
высказыванием
Побудительные
и
вопросительные
предложения
высказываниями не являются.
Без стука не входить!
Откройте учебники.
Ты выучил стихотворение?
Информатика и ИКТ. 9 класс
Примеры высказываний
• Москва больше Санкт-Петербурга
• Все мальчики любят играть в футбол
• “Лед — твердое состояние воды” (истинное
высказывание)
• “Париж — столица Англии” (ложное высказывание)
• “Все рыбы умеют плавать” (общее)
• “Некоторые медведи — бурые” (частное)
• “Буква А — гласная” (единичное)
• “Кошка является домашним животным.” (?)
• “Некоторые ученики нашего класса двоечники.” (?)
• “Сейчас идет урок рисования” (?)
Информатика и ИКТ. 9 класс
Высказывание
Объясните, почему следующие предложения
не являются высказываниями.
1)
2)
3)
4)
5)
6)
7)
8)
Какого цвета этот дом?
Число Х не превосходит единицы.
4Х +3.
Посмотрите в окно.
Пейте томатный сок!
Эта тема скучна.
Рикки Мартин — самый популярный певец.
Вы были в театре?
Информатика и ИКТ. 9 класс
Высказывание или нет
Зимой идет дождь.
Снегири живут в Крыму.
Кто к нам пришел?
У треугольника 5 сторон.
Как пройти в библиотеку?
Переведите число в десятичную систему.
Запишите домашнее задание
Информатика и ИКТ. 9 класс
Алгебра логики
Алгебра логики возникла в середине XIX века в
трудах английского математика Джорджа
Буля. Ее создание представляло собой попытку
решать традиционные логические задачи
алгебраическими методами.
Алгебра логики – это раздел математики,
изучающий высказывания, их логические
значения (истинность или ложность) и
логические операций над ними.
Информатика и ИКТ. 9 класс
Алгебра логики
Алгебра логики позволяет определять
истинность или ложность составных
высказываний, не вникая в их содержание.
Любое простое высказывание может
принимать значение 0 (ложь) или 1
(истина).
Простое высказывание называют
логическими переменными и обозначают
заглавной латинской буквой – А, В, С и т.д.
Информатика и ИКТ. 9 класс
Простые и сложные высказывания
Высказывания могут быть простыми или
сложными.
Сложные высказывания состоят из простых
высказываний, соединенных логическими
связками:
и
или
Неверно, что…
Если…, то…
Информатика и ИКТ. 9 класс
В следующих высказываниях выделите простые
высказывания, обозначив каждое из них буквой.
Запишите с помощью букв и знаков логических операций
каждое составное высказывание.
1) Число 376 чётное и трёхзначное.
2) Зимой дети катаются на коньках или на лыжах.
3) Новый год мы встретим на даче или на Красной
площади.
4) Неверно, что Солнце движется вокруг Земли.
5) Земля имеет форму шара, который из космоса
кажется голубым.
6) На уроке математики старшеклассники отвечали на
вопросы учителя, а также писали самостоятельную
работу.
Информатика и ИКТ. 9 класс
Конъюнкция
Конъюнкция — логическое умножение (союз
и), при котором составное высказывание
истинно тогда и только тогда, когда истинны
все входящие в него простые высказывания.
Таблица истинности
А
В
АΛB
0
0
0
0
1
0
1
0
0
1
1
1
Обозначение
x y
x y
x& y
Графическое представление
Информатика и ИКТ. 9 класс
A
А&В
B
Дизъюнкция
Дизъюнкция — логическое сложение (союз или), при
котором составное высказывание ложно тогда, когда
ложны все входящие в него простые высказывания.
Таблица истинности
Обозначение
x y
А
В
АVB
0
0
0
0
1
1
1
0
1
1
1
1
x y
x| y
Графическое представление
A
Информатика и ИКТ. 9 класс
АVВ
B
Отрицание
Инверсия- (отрицание) делает истинное
высказывание ложным, а ложное истинным.
Обозначение
Таблица истинности
А
А
0
1
1
0
x
x
Графическое представление
Ā
A
Импликация
Импликация — (логическое следование если…, то…). ¬В?
Информатика и ИКТ. 9 класс
Задания
А = «Сейчас нет дождя»
В = «Форточка закрыта»
Составить сложные высказывания
AΛB
AVB
AVB
AΛB
AVB
Пусть А = «Ане нравятся уроки математики», а В =
«Ане нравятся уроки химии». Выразите следующие
формулы на обычном языке:
Построение таблиц истинности
подсчитать n — число переменных в выражении
подсчитать общее число логических операций в выражении
установить последовательность выполнения логических
операций
определить число столбцов в таблице
заполнить шапку таблицы, включив в неё переменные и
операции
определить число строк в таблице без шапки: m =2n
выписать наборы входных переменных
провести заполнение таблицы по столбцам, выполняя
логические операции в соответствии с установленной
последовательностью
Информатика и ИКТ. 9 класс
Решение задач
Составить таблицу истинности для формулы
F ( A, B) A B A
B A
А
В
A
0
0
1
0
0
0
1
1
1
1
1
0
0
0
1
1
1
0
0
1
Информатика и ИКТ. 9 класс
F
Решение задач
Составить таблицу истинности для формулы
F ( A, B) ( A B) ( A В)
А
В
A B
A
A В
F
0
0
0
1
1
0
0
1
1
1
1
1
1
0
1
0
0
0
1
1
1
0
1
1
Информатика и ИКТ. 9 класс
Решение задач
Составить таблицу истинности для формулы
F ( A, B) (( A B) B) ( A B)
x
А
В
0
0
1
1
0
1
0
1
В А В
( А В) В
Информатика и ИКТ. 9 класс
y
А
А В
x y
22
Задание
Составить таблицу истинности
F ( A, B ) (( A B ) B ) ( A B )
x
a
b
0
0
0
1
1
0
1
1
В А В
1
1
0
0
1
1
0
1
y
( А В) В
А
А В
x y
0
1
0
1
1
1
0
0
1
1
0
1
0
1
0
1
Информатика и ИКТ. 9 класс
23
F(A,B,C)=A (A B C)
A
B
C
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
Информатика и ИКТ. 9 класс
F(A,B,C)=A (A B C)
A
B
C
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
A
A B
A B
Информатика и ИКТ. 9 класс
(A B C)
A (A B C)
F(A,B,C)=(A B) (A C) (B C)
A
B
C
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
Информатика и ИКТ. 9 класс
F(A,B,C)=(A B) (A C) (B C)
A
B
C
A B
A B
С
A C
A C
B C
F
0
0
0
0
1
1
0
1
0
1
0
0
1
0
1
0
0
1
0
1
0
1
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
1
1
1
0
0
0
1
1
1
0
0
1
1
0
1
0
1
0
0
1
0
1
1
1
0
1
0
1
1
0
0
0
1
1
1
1
0Информатика 0и ИКТ. 9 класс 0
1
1
1
Задание
Символом F обозначено одно из указанных ниже логических
выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы
истинности выражения F:
Какое выражение соответствует F?
1)
2)
3)
4)
X
0
0
0
¬X ¬Y Z
¬X ¬Y Z
X Y ¬Z
X Y Z
Y
0
0
1
X
0
0
0
Z ¬X ¬Y Z ¬X ¬Y Z X Y ¬Z
0
1
0
Информатика и ИКТ. 9 класс
Y
0
0
1
Z
0
1
0
F
1
0
1
X Y Z
Задание 3
Дан фрагмент таблицы истинности выражения F (см.
таблицу справа). Какое выражение соответствует F?
1)X Y Z
X Y Z
2)¬X ¬Y ¬Z
0 0 0
3)(X Y) ¬Z
1 1 0
4)(X Y) → Z
0 1 1
X Y Z
0
0
0
1
1
0
0
1
1
X Y Z
¬X ¬Y ¬Z
Информатика и ИКТ. 9 класс
(X Y) ¬Z
F
1
0
1
(X Y) → Z
Задание
Символом F обозначена логическая функция от двух
аргументов (A и B), заданная таблицей истинности.
Какое выражение соответствует F?
1) A B
2) ¬A → B
3)A → (¬A ¬B)
4) ¬A ¬B
A
B
F
0
0
1
0
1
1
1
0
1
1
1
0
Информатика и ИКТ. 9 класс
Задание
Для какого имени истинно высказывание:
¬(Первая буква имени гласная → Четвертая буква имени согласная)
1) ЕЛЕНА
2) ВАДИМ
3) АНТОН 4) ФЕДОР
A B
А — Первая буква имени гласная
В — Четвертая буква имени согласная
Елена
Вадим
Антон
Федор
A
1
0
1
0
B
1
0
0
0
A B
1
1
0
1
Информатика и ИКТ. 9 класс
A B
0
0
1
0
Задание
Для какого имени ложно высказывание:
(Первая буква гласная Последняя буква согласная)
→ ¬(Третья буква согласная)?
1)ДМИТРИЙ
2)АНТОН
3) ЕКАТЕРИНА
4) АНАТОЛИЙ
( A B) C
A
B
С
Дмитрий
Антон
Екатерина
Анатолий
Информатика и ИКТ. 9 класс
Задание
Для какого из указанных значений X истинно
высказывание
¬((X > 2)→(X > 3))?
1) 1
2) 2
3) 3
4) 4
X
X>2
X > 3 (X > 2)→(X > 3) ¬((X > 2)→(X > 3))
1
2
3
4
Информатика и ИКТ. 9 класс
Для какого из указанных значений X истинно
высказывание
¬((X > 2)→(X > 3))?
1) 1
X
X>2
1
2
3
4
0
0
1
1
2) 2
3) 3
4) 4
X > 3 (X > 2)→(X > 3) ¬((X > 2)→(X > 3))
0
0
0
1
1
1
0
1
Информатика и ИКТ. 9 класс
0
0
1
0
34
Задание 4
Для какого числа X истинно высказывание
X>1 ((X
1) 1
2) 2
3) 3
1
Х X>1
4) 4
2
X
X
(X
1
1
0
1
1
1
0
2
1
1
1
1
1
3
1
1
0
0
0
4
1
1
0
0
0
ИнформатикаииИКТ.
ИКТ.10
9 класс
Информатика
класс
2
Для какого числа X истинно высказывание
X > 1 ((X
1) 1 2) 2 3) 3 4) 4
X
X>1
X
X
(X

1
2
3
4
0
1
1
1
1
1
1
1
1
1
0
0
1
1
0
0
17 мар, 2011
Информатика и ИКТ. 9 класс
X > 1 ((X
5)→(X
0
1
0
0
36
Домашнее задание
1. Для какого символьного выражения верно
высказывание:
¬ (Первая буква согласная) ¬ (Вторая буква
гласная)?
1) abcde
2) bcade
3) uabas 4) cabab
2. Дан фрагмент таблицы истинности
выражения F (см. таблицу справа). Какое
выражение соответствует F?
1)(A → ¬B) C
2)(¬A B) C
3)(A B) → C
4)(A B) → C
Информатика и ИКТ. 9 класс
A
0
1
1
B
1
0
0
C
1
0
1
F
1
0
1
1. Для какого числа X истинно высказывание
(X > 2) (X > 5)→(X
1) 5 2) 2 3) 3 4) 4
2. Для какого из значений числа Z высказывание
((Z > 2) (Z > 4)) →(Z > 3) будет ложным?
1) 1 2) 2 3) 3 4) 4
3. Для какого из значений числа Y высказывание
(Y1) → (Y>5)) будет истинным?
1) 1 2) 2 3) 3 4) 4
Информатика и ИКТ. 9 класс
38
Задание
В таблице приведены запросы к поисковому серверу.
Расположите обозначения запросов в порядке
возрастания количества страниц, которые найдет
поисковый сервер по каждому запросу.
1)
2)
3)
4)
канарейки | щеглы | содержание
канарейки & содержание
канарейки & щеглы & содержание
разведение & содержание & канарейки & щеглы
Во всех задачах для обозначения логической операции
«ИЛИ» в запросе используется символ |, а для
логической операции «И» – символ &.
Информатика и ИКТ. 9 класс
Задание
1)
2)
3)
4)
канарейки | щеглы | содержание
канарейки & содержание
канарейки & щеглы & содержание
разведение & содержание & канарейки & щеглы
Ответ: 4321
Информатика и ИКТ. 9 класс
Задание
В таблице приведены запросы к поисковому серверу.
Расположите номера запросов в порядке убывания
количества страниц, которые найдет поисковый сервер по
каждому запросу. Для обозначения логической операции
«ИЛИ» в запросе используется символ |, а для логической
операции «И» – &.
1)
2)
3)
4)
барокко | (классицизм & ампир)
барокко | классицизм
(классицизм & ампир) | (барокко & модерн)
барокко | ампир | классицизм
Информатика и ИКТ. 9 класс
Задание
А)
Б)
В)
Г)
барокко | (классицизм & ампир)
барокко | классицизм
(классицизм & ампир) | (барокко & модерн)
барокко | ампир | классицизм
Ответ: ГБАВ
Информатика и ИКТ. 9 класс
Задание
В таблице приведены запросы к поисковому серверу, условно
обозначенные буквами от А до Г. Расположите запросы в порядке
возрастания количества страниц, которые найдет поисковый сервер
по каждому запросу. Ответ запишите в виде последовательности
соответствующих букв.
А) сомики | меченосцы | содержание
Б) сомики & содержание
В) сомики & меченосцы & разведение & содержание
Г) (сомики | меченосцы) & содержание
Информатика и ИКТ. 9 класс

Основные законы алгебры логики

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

Законы алгебры логики называют иногда теоремами.

В алгебре высказываний логические законы выражаются в виде равенства эквивалентных формул.

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

Справедливость части законов можно доказать, применяя инструментарий таблиц истинности.

Рисунок 1.

Примеры

  • Составим таблицу истинности для выражения

    Рисунок 2.

    В первые два столбца таблицы запишем четыре возможных пары значений $x$ и $y$, в последующих столбцах — значения промежуточных выражений, а в последнем столбце — значение исходного выражения. В результате получим таблицу:

Рисунок 3.

Упростим исходное выражение, используя основные законы алгебры логики:

Рисунок 4.

(закон Де Моргана, распределительный закон для И, закон идемпотенции, операция переменной с её инверсией).

Готовые работы на аналогичную тему

Из таблицы видно, что при всех наборах значений переменных $x$ и $y$ формула на рис.2 принимает значение $1$, то есть является тождественно истинной.

  • Составим таблицу истинности для выражения:

    Рисунок 5.

    , которое содержит две переменные $x$ и $y$. В первые два столбца таблицы запишем четыре возможных пары значений $x$ и $y$, в последующих столбцах — значения промежуточных выражений, а в последнем столбце — значение исходного выражения. В результате получим таблицу:

Рисунок 6.

Из таблицы видно, что Исходное выражение принимает такие же значения, что и Упрощенное выражение на соответствующих значениях переменных $x$ и $y$.

Упростим выражение на рис.5, применяя основные законы алгебры логики.

Рисунок 7.

(закон Де Моргана, закон поглощения, распределительный закон для И).

  • Составим таблицу истинности для выражения

    Рисунок 8.

Рисунок 9.

Из таблицы видно, что при всех наборах значений переменных $x$ и $y$ формула на рис.8 принимает значение $0$, то есть является тождественно ложной.

Упростим выражение, применяя законы алгебры логики:

Рисунок 10.

  • Упростим выражение:

    Рисунок 11.

Рисунок 12.

(закон Де Могргана, распределительный).

Составим таблицу истинности для выражения на рис.11:

Рисунок 13.

Из таблицы видно, что выражение на рис.11 в некоторых случаях принимает значение $1$, а в некоторых — $0$, то есть является выполнимым.

(правило де Моргана, выносим за скобки общий множитель, правило операций переменной с её инверсией).

  • Упростить выражение используя законы алгебры логики:

    Рисунок 15.

(повторяется второй сомножитель, что возможно используя закон идемпотенции; затем комбинируются два первых и два последних сомножителя и используется закон склеивания).

  • Упростить выражение используя законы алгебры логики:

    Рисунок 16.

(вводим вспомогательный логический сомножитель

Рисунок 17.

Примеры упрощения логических формул с использованием законов логики

Просмотр содержимого документа
«Примеры упрощения логических формул с использованием законов логики»

Примеры упрощения логических выражений с использованием законов логики

Пример 1 : Упростить выражение:

Решение:

Применим для скобки закон Де Моргана. Получим:

По закону двойного отрицания:

Применим формулу поглощения:

Ответ:

Пример 2 : Упростить выражение:

Решение:

Применим закон Де Моргана. Получим:

По закону двойного отрицания:

Применим сочетательный закон:

, следовательно, получим:

Ответ:

Пример 3 : Упростить выражение:

Решение:

Применим в обеих скобках закон Де Моргана:

По закону двойного отрицания получим:

Перед нами формула склеивания, т.е. значение нашего выражения равно А.

Ответ: А

Пример 4 : Упростить выражение:

Решение:

Применим к первой скобке закон Де Моргана, а во второй заметим, что . Тогда получим:

По закону двойного отрицания:

Перед нами снова формула склеивания. Результат будет равен А.

Ответ: А

Пример 5 :

Решение:

Для первой скобки применим закон: , а для второй:

Получим:

Применим сочетательный закон:

Очевидно, что: , а

Ответ: 1

Пример 6 : Упростить выражение:

Решение:

Применим для скобки закон Де Моргана. Получим:

Сформируем скобки в соответствии с сочетательным законом:

По аналогии с предыдущим примером получим:

Ответ: 1

10 логических задач для нестандартного мышления / Newtonew: новости сетевого образования

Логические задачи — пожалуй, самый эффективный инструмент для развития логики и мышления как у детей, так и у взрослых.

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

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

Используйте комплексный подход

Среди всего многообразия логических задач часто дети выбирают себе пару любимых категорий и погружаются в их решение. Достаточно ли этого?

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

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

Логика — это вкусняшка для ума

Именно так написали на доске ученики перед началом одного из занятий нашего кружка по логике. В чём же прелесть логических задач?

  • они будут одинаково интересны и увлечённым математикой детям, и «гуманитариям»;
  • многие из них не требуют знаний школьной программы;
  • их может решать даже дошкольник без навыков чтения (например, судоку, ребусы, головоломки со спичками, «шестерёнки» и другие задачи в картинках).

Дети любят решать логические задачи и загадки. Им это интересно! Когда я работала в школе, я видела, что ребята справляются с программой, механически запоминая способ решения тех или иных типовых задач.

А задачи со звёздочками сразу оживляли класс, в процесс обсуждения включались и сильные, и слабые ученики. Дома эту задачу дети уже могли и хотели сами объяснить родителям. Но даже эти задачи со звёздочками были расположены на страницах учебника случайным образом, не было выработано никакой системы.

 

Битно Галина Михайловна

завуч LogicLike, учитель высшей категории

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

Попробуйте сами

В онлайн-платформе Logiclike, созданной для развития логики и математических способностей у детей 5-12 лет, авторы постарались реализовать всё то, чего зачастую так не хватает и ученикам, и учителям в школьных программах. Системность, вовлечение, интерактивность, наглядность, мотивация… Но первым делом это — пища для ума, та самая «вкусняшка», которая заставляет ребенка думать, рассуждать, проверять свои силы, проявлять творческий подход и радоваться, когда удаётся найти правильное решение.

Рекомендации от методистов и учителей LogicLike:

  • Хотите развить у ребенка нестандартное мышление и гибкую логику – давайте ему хорошую зарядку для ума в виде разнообразных логических задач, для решения которых нужно использовать разные логические законы и методы решения (метод с конца, табличный метод, с помощью графов или кругов Эйлера и т.д.)
  • Подходите к обучению системно: от теории к задачам, от простого к сложному, от знакомства с новыми типами заданий к рефлексии.
  • Учитывайте специфику мышления у детей младшего школьного возраста – используйте визуальные образы и наглядные материалы.
  • Важно не навязывать детям способ решения, а стараться проводить разбор так, чтобы они сами путем логических рассуждений нашли правильный ответ.
  • Внедряйте игровые элементы в процесс обучения, используйте обучающие возможности IT.
  • Занятия логикой, как и спортивные тренировки, нуждаются в регулярности и постепенном повышении сложности задач.

Занимайтесь вместе с ребенком и с удовольствием!

 

27 января 2017, 12:00
Мнение автора может не совпадать с позицией редакции.

Скопировать ссылку

АВТОРСКАЯ КОЛОНКА

ЛогикЛайк

LogicLike.com — образовательная онлайн-платформа для детей 5-12 лет, их родителей, а также любознательных взрослых. Мы рассказываем, как тренировать мышление и математические способности, публикуем логические задачи и тесты, делимся мыслями об образовании.

Нашли опечатку? Выделите фрагмент и нажмите Ctrl+Enter.

Три закона логики — видео и стенограмма урока

Закон идентичности

Закон идентичности гласит, что если утверждение было определено как истинное, то утверждение истинно. Проще говоря, в нем говорится, что «X есть X». Например, если я утверждаю, что «идет снег», и это правда, то это утверждение должно быть правдой. Если мы посмотрим на закон идентичности в более общем плане, он говорит, что каждая существующая вещь состоит из своих собственных особых характеристик, которые являются частью того, чем она является.

Когда вы применяете это к логике, закон тождества по существу означает, что все есть само по себе и не может быть чем-то другим. Снег не может быть облаками, а вода не может быть полюсом. Каждая вещь — это что-то особенное, имеющее определенную индивидуальность. Поэтому, когда я говорю, что идет снег, снегопад относится к определенному событию. Учитывая, что «снегопад» относится к определенной вещи, если я сделаю это утверждение, когда на самом деле идет снег, то это должно быть истинное утверждение.

Закон непротиворечия

Согласно закону непротиворечивости , утверждение типа «идет снег» не может быть одновременно истинным и ложным.Проще говоря, он утверждает, что «X не является X». Это означает, что в одном и том же месте не может быть и снега, и не снега в один и тот же период времени. Другими словами, ничто истинное не может противоречить самому себе. Закон непротиворечия очень важен. Без этого мы не смогли бы мыслить рационально.

Закон исключенного среднего

Третий и последний закон — это закон исключенного среднего . Согласно этому закону такое утверждение, как «идет снег», должно быть либо правдой, либо ложью.Либо идет снег, либо нет; других альтернатив нет. Проще говоря, это «либо X, либо не X». Согласно этому закону, реальные противоречия не могут существовать; противоречия являются результатом недостатка данных или языковых ограничений. Поэтому, когда нам предлагают зеленый объект и спрашивают, является ли этот объект синим или желтым, мы должны предположить, что объект не желтый или синий, а нечто совершенно иное: зеленый.

Резюме урока

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

Есть три закона, на которых основана вся логика, и они приписаны Аристотелю. Эти законы суть закон тождества, закон непротиворечивости и закон исключенного третьего. Согласно закону идентичности , если утверждение верно, то оно должно быть правдой. Закон непротиворечия гласит, что утверждение не может быть истинным и ложным одновременно в одном и том же порядке. Наконец, закон исключенного среднего гласит, что утверждение должно быть либо истинным, либо ложным.

1.1 Логические операции

Математика обычно включает сочетание истинных (или гипотетически истинных) утверждения различными способами для создания (или доказательства) новых истинных утверждений. Начнем с разъяснения некоторых из этих фундаментальных идей.

Под предложением мы подразумеваем утверждение, имеющее определенное значение истинности , истина (T) или ложь (F) — например,

«В 1492 году Колумб плавал по синему океану». (T)

«Наполеон выиграл битву при Ватерлоо.2 + y = 12 $ », то $ P (2,8) $ и $ P (3,3) $ равны истина, а $ P (1,4) $ и $ P (0,6) $ — ложь. Если $ Q (x, y, z) $ равно «$ x + y

Верно ли предложение или ложно, обычно зависит от того, что мы о чем говорят — одно и то же предложение может быть верным или ложным в зависимости от по контексту; например, формула $ x | y $ означает `$ x $ делит $ y $ ‘. То есть $ x | y $, если есть некоторый $ z $, так что $ y = x \ cdot z $. Сейчас же, правда ли, что $ 3 | 2 $? Это зависит: если мы говорим о целых числах, ответ — нет; если мы говорим о рациональных числах, ответ да, потому что $ 2 = 3 \ cdot (2/3) $.(Конечно, если $ x \ not = 0 $ и $ y $ любых рациональных чисел, затем $ x | y $, так что это не очень полезное понятие. При нормальном использовании вид формулы «$ x | y $» подразумевает , что $ x $ и $ y $ являются целыми числами.)

Вселенная дискурса для определенной области математики — это набор, который содержит все интересное по этой теме. Когда мы изучение математических формул типа `$ x $ делит $ y $ ‘на переменные Предполагается, что принимают значения в любой вселенной дискурса подходит для конкретной темы.Вселенная дискурса обычно это ясно из обсуждения, но иногда нам нужно определите это явно для ясности. Универсум дискурса обычно обозначается $ U $.

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

Если $ P $ — формула, то «not $ P $» — другое формула, которую мы символически записываем как $ \ lnot P $.Конечно, $ \ lnot P $ ложно, если $ P $ истинно, и наоборот — например,

«6 — не простое число» или «Неверно, что 6 — это простое число». премьер » или «$ \ lnot (\ hbox {6 простое число}) $ » (T)

«Рональд Рейган не был президентом». (F)

Предположим, что $ P $ и $ Q $ — формулы. Затем «$ P $ и $ Q $» — это формула, записанная символически. как $ P \ land Q $, называемое соединением $ P $ и $ Q $. Для $ P \ land Q $ верны и $ P $, и $ Q $ должно быть истинным, в противном случае — ложным, например,

«5 долларов = 6 долларов и 7 долларов = 8 долларов.» (F)

«Сиэтл находится в Вашингтоне, а Бойсе — в Айдахо». (T)

«Толстой был русским, а Диккенс — Французский ». (F)

Если $ P $ и $ Q $ являются формулами, то формула «$ P $ или $ Q $» символически записывается как $ P \ lor Q $, называемая дизъюнкция $ P $ и $ Q $. это важно отметить, что это включительно или, то есть «либо или оба». Итак, если $ P $, $ Q $ или и $ P $, и $ Q $ верны, так и $ P \ lor Q $. Единственный способ, которым $ P \ lor Q $ может быть ложным, — это если оба $ P $ и $ Q $ ложны — например,

«Вашингтон находится в Канаде, а Лондон — в Англии.» (T)

«$ 5

«Ленин был испанцем или Ганди был итальянцем». (F)

Если $ P $ и $ Q $ — формулы, то «если $ P $, то $ Q $» или написано «$ P $ подразумевает $ Q $» $ P \ подразумевает Q $, используя условный символ , $ \ подразумевает $. Не очевидно (по крайней мере, для большинства людей), при каких условиях обстоятельства $ P \ подразумевают, что Q $ должно быть истинным. Отчасти это потому, что «if… then» используется более чем одним способом в обычном английском языке, однако нам нужно исправить правило, которое позволит нам точно знать, когда $ P \ подразумевает Q $ верно.Конечно, если $ P $ истинно, а $ Q $ ложно, $ P $ не может следует $ Q $, поэтому $ P \ означает, что Q $ в этом случае неверно. Чтобы помочь нам с в остальных случаях рассмотрите следующее утверждение:

«Если $ x $ меньше 2, тогда $ x $ меньше 4.»

Это утверждение должно быть верным независимо от значения $ x $. (при условии, что вселенная дискурса является чем-то знакомым, например целые числа). Если $ x $ равен 1, он оценивается как $ \ rm T \ implies T $, если $ x $ равно 3, оно становится равным $ \ rm F \ подразумевает T $, а если $ x $ равно 5, оно становится $ \ rm F \ влечет F $.Таким образом, кажется, что $ P \ подразумевает, что Q $ истинно, если $ P $ истинно, а $ Q $ ложно. Это правило, которое мы принимаем.

Наконец, двусмысленный , записанный $ \ Leftrightarrow $, соответствует фраза «тогда и только тогда» или «если и только если» кратко. Итак, $ P \ Leftrightarrow Q $ истинно, когда и $ P $, и $ Q $ имеют то же значение истинности, в противном случае — ложь.

Пример 1.1.2. Предположим, что $ P (x, y) $ — это «$ x + y = 2 $», а $ Q (x, y) $ равно «$ xy> 1 $». Тогда, когда $ x = 1 $ и $ y = 1 $, $ \ lnot P (x, y) $, $ P (x, y) \ land Q (x, y) $, $ P (x, y) \ lor Q (x, y) $, $ P (x, y) \ влечет Q (x, y) $ и $ P (x, y) \ Leftrightarrow Q (x, y) $ имеют значения истинности F, F, T, F, F, соответственно, и когда $ x = 2 $ и $ y = 3 $ имеют значения истинности T, F, T, T, F соответственно.$ \ квадрат $

Используя операции $ \ lnot $, $ \ land $, $ \ lor $, $ \ implies $, $ \ Leftrightarrow $, мы можем построить составных выражений, таких как $$ (P \ land (\ lnot Q)) \ подразумевает ((\ lnot R) \ lor ((\ lnot P) \ land Q)). $$ Как показывает этот пример, иногда необходимо включите много круглых скобок, чтобы сгруппировать термины в формуле ясно. Как и в алгебре, где умножение имеет приоритет перед сложением, мы можем убрать скобки согласование определенного порядка, в котором логические операции выполняются.Мы будет применять операции в этом порядке, начиная с от начала до конца: $ \ lnot $, $ \ land $, $ \ lor $, $ \ подразумевает $ и $ \ Leftrightarrow $. Так $$ A \ подразумевает B \ lor C \ land \ lnot D $$ это сокращение от $$ A \ подразумевает (B \ lor (C \ land (\ lnot D))). $$ Как и в алгебре, часто имеет смысл включить несколько дополнительных скобок, чтобы убедиться, что предполагаемое значение ясно. Большая часть информации, которую мы обсудили, может быть сведена в таблиц истинности . Например, таблица истинности для $ \ lnot P $ — это:

В этой таблице две строки, потому что есть только две возможности для истинное значение $ P $.В других логических операциях используются две переменные, поэтому им требуется 4 строки в их таблицах истинности.

$ P $ $ Q $ $ P \ land Q $ $ P \ lor Q $ $ P \ Rightarrow Q $ $ P \ Leftrightarrow Q $
T T T T T T
F T F T T F
T F F T F F
F F F F T T

У любого составного выражения есть таблица истинности.n $ строк в таблице, потому что есть много разных способов назначить Команды T и F для простых формул $ n $ в составном выражении. Таблица истинности для $ (P \ land Q) \ lor \ lnot R $:

$ P $ $ Q $ $ $ P \ land Q $ $ \ lnot R $ $ (P \ land Q) \ lor \ lnot R $
T T T T F T
F T T F F F
T F T F F F
F F T F F F
T T F T T T
F T F F T T
T F F F T T
F F F F T T

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

Тавтология — это логическое выражение, которое всегда оценивается как T, то есть последний столбец его таблицы истинности состоит только из Т. Иногда говорят, что тавтология — это действительное ; хотя «действительный» используется в других контекстах как что ж, это не должно вызывать путаницы. Например, $ (P \ land Q) \ lor P \ Leftrightarrow P $ — тавтология, так как ее таблица истинности:

$ P $ $ Q $ $ P \ land Q $ $ (P \ land Q) \ lor P $ $ (P \ land Q) \ lor P \ Leftrightarrow P $
T T T T T
F T F F T
T F F T T
F F F F T

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

Теорема 1.1.3 Справедливы следующие утверждения.

    а) $ P \ Leftrightarrow \ lnot \ lnot P $

    б) $ P \ lor Q \ Leftrightarrow Q \ lor P $

    c) $ P \ land Q \ Leftrightarrow Q \ land P $

    d) $ (P \ land Q) \ land R \ Leftrightarrow P \ land (Q \ land R) $

    e) $ (P \ lor Q) \ lor R \ Leftrightarrow P \ lor (Q \ lor R) $

    f) $ P \ land (Q \ lor R) \ Leftrightarrow (P \ земля Q) \ lor (P \ land R) $

    г) $ P \ lor (Q \ land R) \ Leftrightarrow (P \ lor Q) \ land (P \ lor R) $

    ч) $ (P \ подразумевает Q) \ Leftrightarrow (\ lnot P \ lor Q) $

    i) $ P \ влечет (P \ lor Q) $

    j) $ P \ land Q \ подразумевает Q $

    k) $ (P \ Leftrightarrow Q) \ Leftrightarrow ((P \ подразумевает Q) \ land (Q \ влечет P)) $

    l) $ (P \ подразумевает Q) \ Leftrightarrow (\ lnot Q \ подразумевает \ lnot P) $

Доказательство. Доказательства оставлены как упражнения. $ \ qed $

Заметим, что (b) и (c) — коммутативные законы, (d) и (e) — ассоциативные законы и (f) и (g) говорят, что $ \ land $ и $ \ lor $ распределяются друг над другом. Это говорит о том, что существует форма алгебры для логических выражений, аналогичных алгебре для числовых выражений. Этот предмет называется Boolean Algebra и имеет множество применений, особенно в информатике.

Если две формулы всегда принимают одно и то же значение истинности, несмотря ни на что элементы из вселенной дискурса мы заменяем различными переменных, то мы говорим, что они равны эквиваленту .Стоимость эквивалента формулы в том, что они говорят одно и то же. Это всегда правильный шаг в доказательстве заменить некоторую формулу на эквивалентную. Кроме того, многие тавтологии содержат важные идеи для построения доказательств. Для Например, (k) говорит, что если вы хотите показать, что $ P \ Leftrightarrow Q $, это возможно (и часто желательно) разбить доказательство на два частей, одна из которых доказывает, что из $ P \ следует Q $, а вторая доказывая , обратное , $ Q \ влечет P $.

Читая теорему 1.1.3 у вас может быть заметил, что $ \ land $ и $ \ lor $ удовлетворяют многим аналогичным свойствам. Они называются «двойственными» понятиями — для любого свойства один, есть почти идентичное свойство, которому удовлетворяет другой, при этом экземпляры двух операций поменялись местами. Это часто означает, что когда мы доказываем результат, включающий одно понятие, мы получаем соответствующий результат для его дуала без дополнительной работы.

Джордж Буль. логический (1815–1864) имел только общее школьное образование, хотя учился Греческий и латинский сами по себе.Он начал свою карьеру элементарным школьный учитель, но решил, что ему нужно больше узнать о математике, поэтому он начал изучать математику, а также языки, необходимые для чтения современной литературы на математика. В 1847 году он опубликовал небольшую книгу The Mathematical Анализ логики , который справедливо можно сказать, положил начало исследованию математической логики. Ключевой вклад работы был в новое определение «математики», чтобы не означать просто «изучение чисел и величина », но изучение символов и манипулирование ими в соответствии с к определенным правилам.Важность этого уровня абстракции для будущее математики трудно переоценить. Наверное, на Благодаря этой работе он перешел на работу в Куинс-колледж в Корке.

В Исследование законов мышления , опубликованном в 1854 году, Буль установил настоящую формальную логику, развивая то, что сегодня называется Булева алгебра или иногда алгебра множеств . Он использовал символы для сложение и умножение как операторы, но полностью абстрактно смысл.Сегодня эти символы все еще иногда используются в логических алгебры, хотя символы `$ \ land $ ‘и` $ \ lor $’, `$ \ cap $ ‘и Также используются `$ \ cup $ ‘. Буль применил алгебраические манипуляции к процесс рассуждения. Вот простой пример такого рода манипуляции, которые он совершил: уравнение $ xy = x $ (которое сегодня можно было бы записать $ x \ land y = x $ или $ x \ cap y = x $) означает, что `все, что удовлетворяет $ x $ удовлетворяет $ y $ ‘или, в наших терминах, $ x \ влечет y $. Если также $ yz = y $ (что есть, $ y \ подразумевает z $), то замена $ y = yz $ на $ xy = x $ дает $ x (yz) = x $ или $ (xy) z = x $.2 + bD + c = 0 $, лечение $ D $ в виде номера предоставляет информацию о решениях для дифференциальное уравнение.

Информация здесь взята из A History of Mathematics, by Карл Б. Бойер, Нью-Йорк: Джон Вили и сыновья, 1968. Подробнее информацию см. Лекций по десяти британским математикам , автор Александр Макфарлейн, Нью-Йорк: John Wiley & Sons, 1916.

Упражнения 1.1

Пример 1.1.1 Постройте таблицы истинности для следующих логических выражений:

    а) $ (P \ land Q) \ lor \ lnot P $

    б) $ P \ подразумевает (Q \ land P) $

    c) $ (P \ land Q) \ Leftrightarrow (P \ lor \ lnot R) $

    d) $ \ lnot P \ подразумевает \ lnot (Q \ lor R) $

Пр. 1.1,2 Проверьте тавтологии теоремы 1.1.3.

Пример 1.1.3 Предположим, что $ P (x, y) $ — это формула «$ x + y = 4 $», а $ Q (x, y) $ — это формула «$ x

$ P (x, y) \ land Q (x, y) $, $ \ lnot P (x, y) \ lor Q (x, y) $,

$ P (x, y) \ влечет \ lnot Q (x, y) $, $ \ lnot (P (x, y) \ Leftrightarrow Q (x, y)) $,

используя значения:

    a) $ x = 1, y = 3 $ c) $ x = 1, y = 2 $
    b) $ x = 3, y = 1 $ d) $ x = 2, y = 1 $

Пр. 1.1,4

    а) Найдите таблицы истинности для $$ P \ land (\ lnot Q) \ land R, \ quad \ quad (\ lnot P) \ land Q \ land (\ lnot R) $$

    б) Используйте их, чтобы найти таблицу истинности для $$ (P \ земля (\ lnot Q) \ земля R) \ lor ((\ lnot P) \ land Q \ land (\ lnot R)) $$

    c) Используйте метод, предложенный частями (a) и (b) найти формулу со следующей таблицей истинности.

    $ P $ $ Q $ $ R $ ???
    T T T T
    F T T F
    T F T F
    F F T F
    T T F T
    F T F T
    T F F F
    F F F F

    г) Используйте метод, предложенный частями (a) — (c), чтобы объясните, почему любой список из $ 2 ^ n $ T и F является последний столбец таблицы истинности для некоторой формулы с $ n $ буквами.

Пример 1.1.5 Если $ P_1, P_2, \ ldots, P_n $ — список формул $ n $, максимальное количество составных формул, использующих этот список, нет двух из которых эквивалентны?

НАЧАЛЬНАЯ ЛОГИКА

ЛОГИКА

Из отличных выпусков в философии , Джеймс Физер

Дом: www.utm.edu/staff/jfieser/120

Copyright 2008, г. обновлено 01.06.2021,

СОДЕРЖАНИЕ

А.Что такое аргумент?

Предложения и Непредложения Высказывания

Индикаторы посылок и выводов

Диаграммы аргументов

Б. Неформальные заблуждения

Заблуждения относительно релевантности

Другие распространенные заблуждения

C. Утверждения предложений

Сложные предложения и логические Коннекторы

Вложенные логические связки

D. Логика высказываний

Действительные формы аргумента

Ошибочные формы аргумента

Звуковые и необоснованные аргументы

E.Индуктивная логика

Индуктивные и дедуктивные аргументы

Индуктивная вероятность

Индуктивные формы аргумента

Классные упражнения

Возьмите вопросы для домашнего изучения

В Древней Греции группа философов, получивших дурную славу, называлась «софистами». мог спорить по любому поводу, каким бы абсурдным он ни был. Один софист выдвинул такой аргумент:

(1) Фидо — собака Джо.

(2) Фидо — мать.

(3) Следовательно, Фидо — это Джо мама.

Первые два утверждения убедительны, поскольку мы легко можем предположим, что Фидо — собака Джо, и что у Фидо были щенки, и поэтому он мама. Однако странно в этом аргументе то, что третий Абсурдное утверждение, по-видимому, логически следует из первых двух. Что-то здесь пошло не так, поскольку Джо, который является человеком, явно не родила его собака.Таким образом, этот аргумент плох, хотя мы могли бы пока не могу точно определить, в чем проблема. Здесь, напротив, пример хорошего аргумента:

(1) Если Давид Хьюм был холостяком, потом был холост.

(2) Дэвид Хьюм был холостяком.

(3) Следовательно, Давид Хьюм не был женат.

Верны первые два утверждения, а далее третье заявление, кажется, следует с необходимостью.Цель логики — помочь нам понять, что делает аргументы наподобие одного Фидо плохим, а других — аргументов Юма. один хороший.

Изучение логики отличается от изучения других областей философии. Философия разума или этика, например, включает разворачивающаяся история конкурирующих теорий, где одна философская школа попытки превзойти или улучшить мнение соперников. Логика же, напротив, аналитические навыки, требующие владения абстрактными структурами аргументов.Учусь логика предполагает просмотр примеров и выполнение практических упражнений, аналогично тому, как мы изучаем другие аналитические предметы, такие как математика или компьютерное программирование. Этот В главе представлены основные темы, затронутые в типичном введении в логический текст. книги, с сопровождающими их практическими упражнениями и решениями, аналогичными приведенным в таких работает.

A. ЧТО ТАКОЕ АРГУМЕНТ?

Хороший аргумент или плохой, есть две составляющие. что у всех есть: предпосылки и выводы.В обоих примерах выше утверждения 1 и 2 являются предпосылками, а утверждение 3 — заключением. Здесь являются определениями этих понятий:

Предпосылка: заявление, которое используется в качестве доказательства для заключения.

Заключение: выписка что подтверждается по крайней мере одной предпосылкой.

Аргумент : минимум один Помещение с заключением.

Это помогает думать о аргументе как о серии фактических утверждения, где первые служат доказательством последнего.

Предложения и непропозициональные высказывания

Каждая строка в аргументе должна быть предложением , то есть истинное или ложное утверждение о мире. Посмотрите еще раз на вышеупомянутый Хьюм аргумент. В первой предпосылке либо верно, либо нет, что если бы Дэвид Юм был холостяк, тогда он был холост. В данном случае это правда утверждение. Во второй посылке также верно или неверно, что Дэвид Хьюм был бакалавр.Опять же, это тоже правда. Наконец, Дэвид Хьюм пришел к выводу, что холостой — это либо правда, либо ложь, что, опять же, также верно. Пока все три из этих конкретных утверждений оказались правдой, ложные утверждения в аргументы также считаются предложениями, например, Линкольн был первым американским Президент. Даже странные утверждения могут быть предложениями, пока они либо истина, либо ложь, например:

Фидо — мать Джо

Рост Джо 20 футов

Дед просто проглотил зубы

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

Хотя концепция предложения может быть ясной достаточно (т.е. истинное или ложное утверждение о мире) легко путайте предложения с другими видами словесных выражений. Тогда мы должны различают эти два понятия:

Предложение : истинное или ложное утверждение о мире, например, Дверь коричневый, Дэвид Хьюм не был женат, или Фидо — мать Джо.

Непредложения Высказывание : словесное выражение, которое передает значение, но не является истинным или ложное заявление о мире.Непредпозиционные высказывания включают вопросы (кто я?), команды (убери этого дикобраза с моего лица!), выражения чувства (три ура за былую славу!).

В каждом из этих непропозициональных высказываний нет смысл спросить, правда или ложь то, кто я, или это правда или ложь, которая убирает дикобраза с моего лица. Таким образом, даже если эти непропозициональные высказывания имеют значение, технически они не считаются предложения и в их нынешней форме не могут использоваться в качестве предпосылок или выводы в формально-логических аргументах.Однако часто непропозициональные Подобные высказывания можно перефразировать, чтобы выразить какое-то лежащее в основе или подразумеваемое суждение. Возьмите следующее:

Не подпускайте зомби-мясоедов моего двора!

Хотя это в форме непропозиционной команды, его центральное значение, тем не менее, можно перефразировать как предложение, например это:

Тебе лучше питаться плотью зомби из моего двора!

Это измененное утверждение либо верно, либо нет.Более именно фраза, которая вам лучше, является истинным или ложным компонентом этого заявления. То есть верно или неверно, что вы лучше не подпускайте зомби-мясоедов ко мне во двор. Итак, это измененное заявление может теперь функционируют как предпосылка или вывод в аргументе. Часть задачи логика состоит в том, чтобы брать такие непропозициональные высказывания, которые мы используем в обычных дискурса и переводят их значения в пропозициональную форму, чтобы они подходит для логической аргументации.

Показатели посылок и выводов

Первоначальный вызов с пониманием аргументов может включают простое определение того, какие предложения являются предпосылками, а какие — выводы. Иногда, например, вывод может появиться первым в аргумент, например, следующий:

Труба не струнная инструмент с труба не имеет струн.

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

посылка (1): труба не имеет любые струны.

конкл. (2): труба — это не струнный инструмент.

Есть много индикаторов предпосылки, которые мы используем в обычных дискурса, и наиболее распространены следующие:

с

для

Потому что

Учитывая, что

По той причине, что

С учетом того, что

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

У гитары есть струны, , следовательно, гитара — струнный инструмент.

Следовательно, в этом аргументе слово является заключением. показатель, а, более формально, аргумент таков:

посылка (1): у гитары есть струны.

конкл. (2): гитара — это струнный инструмент.

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

Следовательно

Таким образом,

Отсюда

Так

Соответственно

По этой причине

Следовательно

Отсюда следует, что

Приведенные выше рассуждения о трубах и гитарах содержат только по одной посылке, но типичный аргумент часто содержит две или более посылки.Однако, независимо от количества помещений, мы все равно ищем помещение и индикаторы вывода, помогающие определить структуру аргументации. Взять для Например, этот с двумя помещениями:

Пипа — музыкальный инструмент. из Китая, и в нем есть струны; по этой причине это струнный музыкальный инструмент.

Индикатор вывода здесь по этой причине. Слово «и» в середине предложения помогает нам распознать две посылки, которые приводят к заключению.Формально аргумент это:

посылка (1): пипа — это объект у которого есть струны.

посылка (2): пипа музыкальная инструмент из Китая.

конкл. (3): это струнный мюзикл инструмент.

Диаграммы аргументов

Как только мы определим предпосылки и выводы в аргумент, следующий шаг — увидеть, как предпосылки приводят к заключениям, и есть разные способы сделать это.Иногда полезно структуры аргументов диаграммы с использованием стрелок и знаков плюса для отображения аргументов структура. Возьмем снова приведенный выше аргумент:

.

посылка (1): пипа — это объект у которого есть струны.

посылка (2): пипа музыкальная инструмент из Китая.

конкл. (3): это струнный мюзикл инструмент.

Диаграмма аргументов этого выглядит следующим образом:

1 + 2 | → 3

Это говорит нам о том, что необходимо принять и посылку 1, и предпосылку 2. вместе произвести заключение; каждое помещение самостоятельно не годится тот.Мы называем это совместным выводом . Предпосылка сама по себе только говорит нам, что у какой-то странной штуки, называемой пипа, есть струны, и, насколько мы знаем, может быть просто бельевой веревкой. Вторая посылка говорит нам, что пипа на самом деле музыкальный инструмент, но сам по себе ничего не говорит о том, что у него есть струны. Оба части информации в двух предпосылках необходимы, чтобы привести к заключению.

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

посылка (1): типичная труба из латуни.

посылка (2): Гарвардский музыкальный словарь классифицирует трубу как медную инструмент.

конкл. (3): труба — это духовой инструмент.

Используя стрелочную диаграмму, структура аргумента это:

1 | → 3 и 2 | → 3

Это говорит нам о том, что посылка 1 сама по себе приводит к вывод, и эта посылка 2 сама по себе также приводит к такому же выводу.Мы назовем это независимым выводом , поскольку каждая посылка ведет к заключение независимо от другой посылки . Вот у нас фактически два различные аргументы в пользу одного и того же вывода, каждый из которых стоит независимо другого. Преимущество таких независимых аргументов в том, что когда спорить с кем-то, часто более эффективно приводить отдельные аргументы для того же вывода, на случай, если ваш оппонент не найдет одного из ваших аргументов неотразимый.Однако в этой главе мы сосредоточимся на аргументах. как и более ранняя пипа, где помещения берутся совместно для производства вывод.

B. НЕФОРМАЛЬНЫЕ ЛОГИ

Напомним еще раз наш первый аргумент софиста:

(1) Фидо — собака Джо.

(2) Фидо — мать.

(3) Следовательно, Фидо — это Джо мама.

Здесь происходит какой-то логический обман, и он содержит то, что логики называют ошибкой , то есть ошибкой рассуждения это делает аргумент ошибочным.Чтобы помочь разоблачить логические приемы, используемые Софисты, древнегреческий философ Аристотель написал книгу под названием заблуждений. софистов , который каталогизирует около дюжины ошибочных моделей рассуждения. Сегодня мы называем эти неформальных заблуждений , поскольку они возникают. в контексте обычного дискурса и не требуют формального или абстрактный анализ моделей аргументации. Хотя список неформальных заблуждений изменилось со времен Аристотеля, знакомство с заблуждениями все еще эффективный способ выявления плохой аргументации.Некоторые обсуждения неформальных заблуждения перечисляют до 300 различных типов. Мы рассмотрим тринадцать из более важные. По крайней мере, для большинства этих заблуждений будет исключения, когда использование этого шаблона аргумента будет допустимым, и, соответственно, мы следует рассматривать приведенные ниже неформальные заблуждения в основном как анализируя аргументы, а не абсолютные правила. Контекст — это все, когда определение того, считается ли линия критики действительной комиссией неформального заблуждения.

Заблуждения относительно релевантности

Первая группа заблуждений называется заблуждениями релевантность , где предпосылки аргумента не имеют отношения к установление заключения. Что считается релевантным, зависит от степени: одни посылки совершенно не имеют отношения к заключению, а другие — только мягко говоря. Многие из заблуждений имеют латинские названия, которые были введены средневековьем. логики, и они приведены в скобках.

Довод против личности (argumentum ad hominem): нападение на персонажа, а не на его содержание. аргумент лиц. Аргументы против человека обычно отражают предвзятость слушатель, который мешает ей оценить аргумент говорящего так, как он само по себе. Например, Боб — алкоголик, поэтому не принимайте его инвестиции. совет слишком серьезно. Хайдеггер был плохим философом, так как он был членом нацистской партии.Конечно, Джонс будет выступать за контроль над огнестрельным оружием, в конце концов, Джонс — демократ. В этих примерах некоторые особенности частная жизнь может не иметь никакого отношения к тому, хороший ли он философ или разумный инвестиционный совет или хороший аргумент в пользу контроля над оружием. Опять же, это заблуждение является лишь приблизительным ориентиром. Например, если Хайдеггер в первую очередь философ-моралист, мы могли бы иметь право взглянуть на его личное поведение как разъяснение того, что допускала его этическая теория.Его личное принадлежность к нацизму может выявить слабость в его моральной теории, которую мы иначе мог бы упустить из виду.

Аргумент от незнания (argumentum ad ignorantiam): заключение, что что-то правда, поскольку вы не можете доказать, что это правда ложный. Например, Зевс должен существовать, поскольку никто не может продемонстрировать, что он существует. не существует. Ошибка здесь в том, что неразумно настаивать на том, чтобы кто-то быть в состоянии доказать, что Зевса не существует, поскольку для этого потребовалось бы практически полные знания о космосе.Это отражено в общем выражении что вы не можете доказать отрицательный результат. Еще один печально известный пример этого заблуждения: от сенатора Джозефа Маккарти, обвинившего некоего человека в коммунистической связи со следующим аргументом: у меня мало информации о это за исключением общего заявления [Центрального разведывательного управления] о том, что В файлах нет ничего, что могло бы опровергнуть его коммунистические связи. В этом Например, отсутствие опровержения в отношении лиц, связанных с коммунистическими связями, не означает сам по себе является доказательством чего-либо.

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

Обращение к массам (argumentum ad populum): идти вместе с толпой в поддержку вывода. Например, Мамочка, все ребята в школе носят пистолеты, так что я тоже должен.Все, кого я знаю говорит, что зомби существуют, так что я предполагаю, что они действительно существуют. Во многих случаях нет заблуждение принять общественное мнение, например, с общепринятым мнением, что трехразовое питание — это хорошо. Однако с пистолетом и зомби примеры, простое популярное мнение не является хорошим показателем того, что мы должны делать или полагать.

Апелляция в орган власти (аргумент веркундиам): принятие точки зрения популярного деятеля, не обладающего авторитетом в в этой области.Например, Эйнштейн верил в Бога, значит, Бог должен существовать. Барт Симпсон любит шоколадные батончики Butterfinger, так что они должны быть хорошими. Хотя это может быть уместно цитировать Эйнштейна как авторитетного физика, вопросы религии вне его области знаний. Барт Симпсон, если он считается авторитетом в all, он всего лишь эксперт в причинении вреда, а не в кулинарии. В совершение этого заблуждения сводится к тому, действительно ли указанное лицо настоящий специалист по рассматриваемому вопросу, или просто популярная фигура, говорить без адекватных знаний по предмету.

Нерелевантное заключение (non sequitur): сделать вывод, не вытекающий из доказательств. Строго говоря, все вышеупомянутые заблуждения относительно релевантности связаны с рисованием нерелевантного вывод. Однако это конкретное заблуждение, заключающееся в несущественном заключении, является общим один, и применяется, когда аргумент не соответствует ни одному из более конкретных шаблоны нерелевантности выше. Например, мой бизнес обанкротился в прошлом году, следовательно, президент США должен быть подвергнут импичменту.Мой шнурок сломался; Я полагаю Значит, пора покупать новую машину. В этих примерах мало или нет связи между посылкой и заключением. Если ваш бизнес потерпел неудачу, наиболее разумным выводом будет то, что вина лежит на вас, а не на президент. Если ваш шнурок сломался, самым разумным выводом было бы то, что Вам следует покупать новую обувь, а не новую машину.

Другие распространенные заблуждения

Заблуждения относительно релевантности — это всего лишь один из видов ошибочных аргументация.Другие неформальные заблуждения часто классифицируются по разным заголовки, такие как «семантические» заблуждения или «индуктивные» заблуждения, и приведенные ниже являются одними из наиболее распространенных из них.

Ложная причина (post hoc ergo procter hoc): вывод причинной связи на основе простой корреляции. Например, преступление ставка прямо пропорциональна продажам мороженого; таким образом, мороженое вызывает преступление. У успешных людей дорогая одежда; отсюда лучший способ стать успех — покупка дорогой одежды.Оба примера представляют подлинные корреляции, но они ошибочно предполагают, что одно коррелированное событие вызывает Другой. В примере с мороженым есть третий фактор — жаркая погода. заставляет людей больше хотеть мороженого, а также заставляет людей выходить из дома и в общественных местах больше. Таким образом, в то время как объем продаж мороженого и преступность коррелированы, они не связаны причинно. Во втором примере в то время как успех и дорогая одежда коррелируют, если есть причинно-следственная связь. связь, скорее всего, будет в обратном направлении, если люди успешно дает ей возможность покупать дорогую одежду.

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

(1) Библия говорит, что Бог существует.

(2) Библия истинна, потому что Бог написал это.

(3) Следовательно, Бог должен существовать.

В посылке 2, утверждая, что Библия истинна, потому что Бог написал это, аргумент уже предполагает, что Бог существует, что является самым указывают на то, что ее аргумент направлен на доказательство в заключении. Таким образом, аргумент сводится просто к следующему: «Бог существует, следовательно, Бог существует».

Эквивокация : аргумент, основанный на на два определения одного слова.Например, хорошие стейки в наши дни — редкость, так что вы не должны заказывать хорошо сделанный. Слово здесь двусмысленно редко, когда первая часть предложения означает необычное и вторая часть слегка приготовленная. Джонс — бедняк, и он проигрывает всякий раз, когда он играет в покер; следовательно, Джонс — плохой неудачник. Двусмысленное слово в этом дело плохое, что сначала означает финансовую нужду, а затем означает плохой. Вы не найдете в этих краях автомобилей, подобных вашей, так что не позволяйте своей машине вне вашего поля зрения.Здесь двусмысленное слово, о котором идет речь, — это найти, которое изначально означает иметь, а затем означает найти. Это заблуждение, совершенное в наш вводный пример о Фидо, где слово мать когда-то неявно означает Собачья мать, а позже неявно означает человеческую мать.

Состав : при условии, что весь должны обладать свойствами своих частей. Например, каждая часть этой машины легкий, поэтому вся машина легкая. Каждый человек в этом Корпорация важна, поэтому важна вся корпорация.В ошибка имеет место при составлении целого из частей и переносе над одним из свойств деталей. В этих примерах ясно, что свойства частей не обязательно передаются целому.

Раздел : предполагая, что части целое должно обладать свойствами целого. Например, вся эта машина тяжелая, поэтому каждая часть этой машины тяжелая. Эта корпорация важно, следовательно, важен каждый работник в этой корпорации.Это обратное предыдущему заблуждению, и в этом случае заблуждение имеет место, когда деление целого на части и перенос одного из его свойств весь. Опять же, в этих примерах свойства целого не обязательно передача по частям.

Red Herring : вводим нерелевантную или второстепенный предмет и тем самым отвлекает внимание от основного предмета. В Аргумент получил свое название от вида спорта охоты на лис, когда охотник поставить на тропу сильно пахнущую рыбу, чтобы отвлечь своих собак от лисы. преследует.Таким образом, отвлекающий маневр отвлекает от основного объект. Например, ремни безопасности в автомобилях на самом деле не повышают безопасность, и, кроме того, это мое дело, а не правительства, как я предпочитаю сидеть в своей машина. В этом примере реальной проблемой для обсуждения является безопасность ремня безопасности и диверсия — это вмешательство правительства в свободу. Женщины должны иметь свобода выбора в пользу аборта, поскольку ограничение этой свободы просто еще один случай притеснения женщин мужчинами.В этом примере настоящая проблема для обсуждения — это свобода выбора, а отвлечение — это мужское угнетение женщины.

Straw Man : искажение противоположного взгляда так что его легко опровергнуть. Название аргумента происходит от рыцарей. Практика рыцарского турнира с использованием соломенного человечка, который является легкой мишенью. Например, голосовать против контроля над оружием, поскольку сторонники контроля над оружием считают, что никто должен владеть любым типом огнестрельного оружия. Это искажает представление о контроле над огнестрельным оружием, которое обычно стремится ограничить только определенные типы огнестрельного оружия, а не все из них.Таким образом, искаженную точку зрения легко атаковать. То же самое и с аргументом, что Позиция в защиту абортов неверна, поскольку сторонники аборта считают, что женщина приходится вынашивать плод, даже если ее жизнь в опасности. В защиту жизни положение здесь искажено, поскольку оно обычно допускает аборт, когда жизнь матери в опасности.

C. ПРЕДЛОЖЕНИЯ

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

(1) Если Давид Хьюм был холостяком, потом был холост.

(2) Дэвид Хьюм был холостяком.

(3) Следовательно, Дэвид Хьюм не был женат.

Логическая структура этого аргумента такова:

(1) если P, то Q

(2) П

(3) следовательно, Q

Аргументы логики высказываний имеют специальную грамматику. к ним, и они часто состоят из объединения простых предложений в более длинные.Рассмотрим первую предпосылку: если Дэвид Хьюм был холостяком, то он не был женат. Он содержит два простых предложения, которые мы сократили. с буквами P и Q . Здесь P означает простой предположение, что Дэвид Хьюм был холостяком, а Q означает простой предположение, что он не был женат. P и Q выражают одну простую идею это либо правда, либо ложь. Однако в целом посылка выражает сложная идея, которая образуется в результате объединения этих двух простых идей.В пропозициональная логика, буквы P, Q, R и т. д. обычно используются для обозначения простые предложения. Однако в этом выборе нет ничего важного, мы могли бы так же легко используйте греческие буквы или геометрические фигуры в качестве сокращений. Что имеет значение последовательное использование некоторого символа для представления каждого случая простая идея.

Сложные предложения и логические связки

В приведенном выше примере Юма первая посылка является сложной предложение, которое объединяет простые предложения P и Q в если-то утверждение.В системе логики высказываний есть четыре и только четыре основных логических связки, которые используются для построения сложных предложений из простых, а вот они в стандартных формах:

P и Q

P или Q

если P , то Q

не P

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

Соединение : P и Q. An Пример союза: Боб богат и Джо бедный. Это может быть сокращенно P и Q, где P означает простое утверждение, что Боб богат а Q означает простое утверждение, что Джо беден. Буквы P и Q элементы конъюнкции обозначаются как конъюнкты . Психология и вопросы союзов можно менять местами и означать одно и то же. Например, утверждение, что Боб богат и Джо беден, означает то же, что и Джо бедный и Боб богат.В обычном дискурсе мы регулярно используем союзы, но часто в замаскированной форме с использованием синонима и. Когда однако, работая в системе логики высказываний, слово и является только допустимый термин для союза, и все синонимы должны быть переведены в это. Таким образом, стандартная форма соединения — P и Q. Здесь это список некоторых типичных синонимов, требующих перевода:

P, но Q

P, хотя Q

П; Q

P, кроме Q

P, но Q

P, тогда как Q

Дизъюнкция : P или Q.Пример разногласия, Бет поехала в Лондон или Бет поехала в Берлин. Этот может быть сокращено как P или Q, где P означает простое предложение Beth поехала в Лондон, Q означает простое предложение, Бет поехала в Берлин. Каждый из элементов P и Q дизъюнкции называется дизъюнкциями . Как и союзы, два дизъюнкта в дизъюнкции также могут быть переключены вокруг и означают одно и то же. Дизъюнкции сложнее, чем они впервые появляется, поскольку в обычном дискурсе слово или может использоваться в двух разными способами.Во-первых, слово «или» используется в тексте , включая . приведенный выше пример, поскольку Бет могла поехать в Лондон, или в Берлин, или и то, и другое. эти. Во-вторых, в обычном дискурсе слово или также может использоваться исключительно как в заявлении, Мэри мертва или Мэри жива, где Мэри не может быть и мертвые, и живые одновременно. Хотя слово или может быть включающий или исключающий в обычном дискурсе, однако в логике он используется только включительно.Существует более сложный способ логического выражения понятия или в исключительном смысле, который мы рассмотрим ниже.

Отрицание : не P. Пример отрицание, это не тот случай, что Fido только что загнал енота в Walmart. Это может быть сокращенно , а не P, где P означает Простое предложение Фидо только что загнал енота в Walmart. Предложение, которое содержит отрицательное слово, например, нет, никогда или нет, часто может (но не всегда) можно перевести в отрицательное суждение.Например, рассмотрим приговор, я знал, что Билл на самом деле не был коммунистом. Поскольку это предложение утверждение о моих знаниях не означает отрицания.

Условный : Если P , то В. Пример условного предложения: , если вы едите запретный плод, то ты обязательно умрешь. Это может быть сокращено , если P , затем Q, где P означает простое предложение, которое вы едите. запретный плод, а Q означает, что вы обязательно умрете.P часть условный упоминается как предшествующий (иногда также называемый достаточным условием), а часть Q называется консеквентом (иногда также называемым необходимое условие). Важная особенность условных выражений заключается в том, что если Ps и Q меняются местами, значение предложения меняется. Это именно поэтому компоненты условных выражений P и Q имеют разные имена, в отличие от союзов и дизъюнкций, части которых можно переключать и сохранить то же значение.Например, сравните приведенный выше пример с этим: , если вы умрете, , затем вы вкусите запретного плода. Ясно, что два предложения не означают одно и то же. Предположим, что каждый, кто ест запретный плод впоследствии умирает; Тем не менее, не все, кто умирает, будут есть запретного плода, например, того, кто погиб в результате несчастного случая в прыжке с парашютом. В в обычном дискурсе у нас есть много фраз для выражения условных предложения, и некоторые общие из них:

Если P, то Q

P означает

Q

P влечет за собой Q

Каждый раз, когда P, Q

P, следовательно, Q

Q следует из P

Q, начиная с P

Как и прежде, при работе в системе пропозициональной логика, если-то — единственный допустимый термин для условного, и все синонимы в обычном дискурсе должны быть переведены в это.

Вложенные логические соединители

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

Если вы просто дадите мне та конфета, , значит не то, что (буду плакать и Я буду кататься по полу).

Сокращенно это будет следующим образом:

если P, то нет (Q и R)

где,

P = вы просто отдаете мне этот кусок конфет

Q = Я буду плакать

R = Я буду кататься по полу

Преимущество вложенности логических связок состоит в том, что возможно оформление сложных предложений в стандартной форме. Например, мы ранее видел, что или (то есть дизъюнкция) в логике является инклюзивным.Тем не менее, по вложив несколько логических связок, можно передать исключительный смысл или без нарушения каких-либо правил логических связок. Возьмите снова пример Мэри мертва или Мэри жива. Смысл этого предложения состоит в том, что Мария не может быть одновременно живой и мертвой, что имеет всеобъемлющее значение. Выражать это, следуя правилам логики высказываний, мы переводим это в следующее:

(Мэри умерла или Мэри умерла жива) , и дело не в том, что (Мэри мертва и Мэри мертва). в живых).

Сокращенно это говорит:

(P или Q), а не (P и Q)

где,

P = Мэри мертва

Q = Мэри жива

Это всего лишь один пример вложенного предложения, и там буквально бесконечное число, которое мы могли бы построить. Когда вложенный предложение построено правильно, оно называется правильно сформированным. Например, следующие заявления неверно сформированы:

П нет (если и)

(P Q), а не

рандов

или P, затем Q, если

P, если Q и R или S не

В каждом из этих операторов подкомпоненты случайным образом соединенные вместе, и каждое целое утверждение — тарабарщина.Напротив, следующие предложения являются правильными:

(P и Q) или

рандов

Если P, то (Q и R)

нет (P или R)

(P и Q) или (R и S)

В этих случаях (а) все подкомпоненты в пределах круглые скобки соответствуют основному образцу одной из четырех логических связок, и (б) все предложение также соответствует основному образцу одного из четырех логических связки. Например, в первом предложении P и Q внутри круглые скобки соответствуют образцу союза, и все предложение соответствует образец дизъюнкции.

D. ЛОГИКА ПРЕДЛОЖЕНИЯ

До сих пор мы видели, что хорошо сформированная пропозициональная операторы могут быть простыми, сложными и вложенными:

Простой:

квартал

R и др.

Комплекс:

P и Q

P или Q

Если P, то Q

не P

Вложено:

Если (P или Q), то (не R или S)

(Если R, то S) и (P или нет Q), и т.п.

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

Действительные формы аргумента

Как отмечалось ранее, многие аргументы плохие, и когда конструируя логические аргументы в логике высказываний, наша цель состоит в том, чтобы единицы. Первый шаг в формировании хорошего аргумента — это следовать вескому аргументу. форме, и для наших целей мы определим допустимый аргумент следующим образом:

Действителен Аргумент : аргумент, который соответствует допустимой форме аргумента (например, modus поненс ниже).

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

Modus Ponens

посылка (1), если P, то Q

помещение (2) П

конкл. (3) следовательно, Q

(1) Если президент нажимает кнопку, , затем взорвется ядерная бомба.

(2) Он толкнул кнопка.

(3) Следовательно, a ядерная бомба взорвется.

Modus Tollens

посылка (1), если P, то Q

посылка (2) не Q

конкл. (3) следовательно, не P

(1) Если Боб залез на полицейскую радиовышку , затем , его бы арестовали.

(2) Это не Дело о том, что Боб был арестован.

(3) Следовательно, это Дело не в том, что Боб залез на полицейскую радиовышку.

дизъюнктивный силлогизм

помещение (1) P или Q

помещение (2) не П

конкл. (3) следовательно, Q

(1) Джо съест яблоко или Джо съест банан.

(2) Это не случай, что Джо съест яблоко.

(3) Следовательно, Джо съест банан.

Гипотетический силлогизм

посылка (1), если P, то Q

посылка (2) если Q, то R

конкл.(3) следовательно, если P, то R

(1) Если вы подкупите офицера , тогда он билет порвет.

(2) Если he рвет билет , потом штраф платить не будешь.

(3) Следовательно, , если вы даете взятку офицеру , тогда вы не будете платить штраф.

Формы ошибочного аргумента

Все четыре из этих форм веских аргументов имеют сильную интуитивное обращение.Однако при построении легко допустить крошечную ошибку. эти аргументы, которые могут радикально изменить его обоснованность. Это случается так часто что, основываясь на таких ошибках, логики представили группу ошибочных формы аргументов, или формальных заблуждений, (в отличие от неформальных заблуждения, обсужденные ранее). Эти аргументы так похожи на подлинно действительные формы аргумента, что их часто можно принять за реальные вещи. Мы рассмотрим три из них.

Fallacious Modus Ponens : ошибка утверждения последовательный

посылка (1), если P, то Q

помещение (2) кв.

конкл. (3) следовательно, П

(1) Если президент нажимает кнопку, затем ядерная бомба с взрывом.

(2) Ядерный взорвалась бомба.

(3) Следовательно, президент нажал кнопку.

Интуитивно видно, что этот аргумент неверен, поскольку даже если бы ядерная бомба взорвалась, то не обязательно потому, что президент нажал кнопку. Например, уборщик Белого дома мог случайно толкнул это. Для сравнения подлинная версия modus ponens:

.

посылка (1), если P, то Q

помещение (2) П

конкл. (3) следовательно, Q

Сравнивая эти два, мы видим, что ошибка с ложная форма встречается во второй посылке, утверждая следствие, а не подтверждение антецедента, как того требует подлинная версия modus ponens.

Fallacious Modus Tollens : ошибка отрицания предшествующий

посылка (1), если P, то Q

помещение (2) не П

конкл. (3) следовательно, не Q

(1) Если Боб залез на полицейскую радиовышку , затем , его бы арестовали.

(2) Это не случай, когда Боб забрался на полицейскую радиовышку.

(3) Следовательно, это Дело не в том, что Боб был арестован.

Этот аргумент неверен, поскольку Боб может быть арестован по любому ряд причин, например, чечетка на крыше патрульной машины. Восхождение на Радиовышка полиции — лишь одна из причин для ареста. Здесь снова подлинная версия modus tollens:

посылка (1), если P, то Q

посылка (2) не Q

конкл. (3) следовательно, не P

Ошибка с заблуждением происходит во второй посылке отрицая предшествующее, а не отрицая следствие, как требуется в подлинная версия модуля толленс.

Ошибочный дизъюнктивный силлогизм : заблуждение утверждая альтернативу

помещение (1) P или Q

помещение (2) П

конкл. (3) следовательно, не Q

(1) Джо съест яблоко или Джо съест банан.

(2) Джо съест яблоко.

(3) Следовательно, Дело не в том, что Джо съест банан.

Ошибка в этом примере заключается в том, что мы забываем, что или по логике включительно.Даже если Джо съест яблоко, он может съесть и банан. Вот для сравнения подлинная версия дизъюнктивного силлогизма:

помещение (1) P или Q

помещение (2) не П

конкл. (3) следовательно, Q

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

Звуковые и необоснованные аргументы

Итак, мы видели, что первый шаг в Хороший аргумент в рамках логики высказываний состоит в том, что он должен быть верным.Однако требуется больше. Хороший аргумент должен быть верным и иметь все верные Помещение . Комбинированные требования достоверности и истины называются добротность:

Звук Аргумент : аргумент, который (а) следует за допустимой формой аргумента, и (б) имеет только верные помещения.

Аргумент «Юма», представленный вначале, является пример веского аргумента, поскольку он действителен и имеет только верные предпосылки:

(1) Если Давид Хьюм был холостяком, потом был холост.

(2) Дэвид Хьюм был холостяком.

(3) Следовательно, Дэвид Хьюм не был женат.

Во-первых, аргумент действителен, поскольку он следует действительному модусу форма аргумента ponens. Во-вторых, оба предположения верны. Посылка 1 верна определение, поскольку холостяк определяется как неженатый мужчина. Предпосылка 2 верна потому что это исторический факт: Дэвид Хьюм на самом деле был холостяком всю свою жизнь. жизнь. Поскольку этот аргумент верен и имеет только истинные посылки, то он тем самым веский аргумент.

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

(1) Дядя Джордж обувь для гольфа или Uncle George — обувь для тенниса.

(2) Это не Дело в том, что Uncle George — это обувь для гольфа.

(3) Следовательно, Дядя Джордж — теннисная обувь.

Приведенный выше аргумент действителен, поскольку он следует форме дизъюнктивный силлогизм.Но посылка 1 явно неверна: дядя Джордж человек и, следовательно, не является каким-либо типом обуви. Таким образом, аргумент необоснован потому что посылка 1 ложна.

Есть также аргументы, которые верны предпосылок, но не следуют действительной форме аргумента и также являются несостоятельными. Например:

(1) Если Президент был пилотом Air Force One, , затем , он мог летать в президентский самолет.

(2) Президент может летать в президентском самолете.

(3) Следовательно, Президент является пилотом Air Force One.

Предпосылки 1 и 2 в этом аргументе верны. Помещение 1, Воздух Force One — это просто прозвище личного самолета президента; кто бы ни был Таким образом, пилот Air Force One будет летать на президентском самолете. Посылка 2 верно, поскольку летать в президентском самолете — привилегия работа президентов. Однако, хотя оба предположения верны, аргумент следует ошибочной форме аргументации ложного modus ponens, так что это аргумент также необоснован.

Таким образом, поскольку надежность влечет за собой как обоснованность и истинные посылки, аргумент может быть необоснованным двумя способами: (1) оно будет недействительным или (2) будет иметь по крайней мере одну ложную предпосылку.

E. ИНДУКТИВНАЯ ЛОГИКА

Индуктивные и дедуктивные аргументы

Все четыре из приведенных выше допустимых форм аргументов в пропозициональной логика классифицируется как дедуктивная , как определено здесь:

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

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

Формы аргументов логики высказываний: всего лишь один тип дедуктивной логической системы, и, по сути, это только в недавних раз, когда она стала доминирующей дедуктивной системой в области логика.До этого основным дедуктивным подходом было категориальных. силлогистическая логика , система, впервые созданная Аристотелем более 2000 лет назад тому назад. Вот классический пример категорического силлогизма:

1. Все люди смертны. вещи.

2. Сократ — человек.

3. Следовательно, Сократ — смертный человек. предмет.

Категорический силлогизм, как следует из названия, составляет около категорий вещей, и как одни категории содержатся в других категориях.Считать из него, как ряд ящиков, содержащихся друг в друге. В этом В этом случае есть большая коробка с надписью Mortal Things, в ней коробка поменьше с надписью «Человеческие существа», а внутри еще меньшего размера — с надписью «Сократ». Используя эту метафору коробки, приведенный выше аргумент таков:

1. Ящик с надписью «Человеческие существа». находится внутри коробки с надписью Mortal Things.

2. Ящик с надписью «Сократ» — это внутри коробки с надписью «Человеческие существа».

3.Таким образом, поле с надписью Сократ находится внутри коробки с надписью Mortal Things.

Вывод констатирует очевидное: коробка с Сократ находится внутри ящика Смертных вещей, и это потому, что Ящик Сократа находится в ячейке Человеческие существа, а этот ящик — внутри большего коробка смертных вещей. Вывод следует из двух посылок с необходимость.

Важнее то, что оба пропозициональных логика и силлогистическая логика — это дедуктивных систем, с момента их заключения обязательно следовать из своих посылок.Но индуктивная логика полностью другой подход: вывод, скорее всего, будет правдой, но из него не следует из помещения с абсолютной необходимостью. Индукция — это вероятность, а не необходимость. В отличие от дедуктивной аргументации, определение индуктивный аргумент:

индуктивный Аргумент : аргумент, в котором предпосылки предоставляют основания, подтверждающие вероятная истина вывод.

Вот пример основной индуктивной аргумент:

1. Камень 1 падает на землю, когда я открываю руку.

2. Рок 2 водопад на землю, когда я открываю руку.

3. Следовательно, все камни, похожие на 1 и 2, вероятно, упадут на землю, когда я открою рука.

Первые две предпосылки здесь представляют собой наблюдения о том, как две камни ведут себя аналогичным образом.Строго говоря, все, что это нам говорит, это как ведут себя только эти две скалы. Но вывод выходит далеко за рамки тех двух скал и заявляет, что все другие скалы, подобные тем двое будут вести себя аналогично. Вывод здесь не следует из необходимости из помещения, поскольку, насколько нам известно, следующий камень, который я беру, это подобно скалам 1 и 2, поднимется в небо. Отсюда вывод содержит критическое слово, вероятно, предупреждающее нас о том, что нет гарантировать, что следующий камень, похожий на камни 1 и 2, будет вести себя так же.Даже если слово «вероятно» не появляется в вывод индуктивного аргумента всегда подразумевается.

Индукция часто связана с научным экспериментирование. Ученые изучат сравнительно небольшую группу случаев. и заключаем, что именно так все работает во всех подобных случаях. Тестовая группа 100 лысым мужчинам дают лекарство, и у всех отрастают волосы. Затем ученые приходят к выводу что этот препарат, вероятно, будет способствовать росту волос у всех лысых мужчин.Это не гарантировать, что это подействует на каждого лысого мужчину, но доказательства подтверждают вероятная истинность заключения.

Индуктивная вероятность

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

индуктивно очень сильно: вероятность близка к достоверной.

Пример: Каждый известный нам живой человек дышит воздухом; поэтому Джо, вероятно, дышит воздуха.

индуктивно сильный: вероятность высока.

Пример: Регулярное курение сигарет сокращает продолжительность жизни человека на семь лет спустя средний; поэтому Джо, который курит регулярно, вероятно, умрет через семь лет. раньше, чем в противном случае.

индуктивно слабый: вероятность низкая.

Пример: Некоторые люди смотрят повторы шоу Энди Гриффита; поэтому Джо, вероятно, наблюдает повторы шоу Энди Гриффита.

индуктивно очень слабый: вероятность близка к несуществующей.

Пример: я однажды видел, как парень балансировал на стуле на своей голове; поэтому Джо, вероятно, может балансируйте стул на макушке.

В зависимости от типа используемого индуктивного аргумента различают несколько факторов, определяющих индуктивную силу аргументов. Но критический момент — не выходят ли выводы слишком далеко за рамки данных в помещение. Например, если каждый человек, которого мы знаем, может удерживать стул на их головы, то разумно сделать вывод, что случайный человек по имени Джо может сделай это тоже.Но если очень немногие люди могут удерживать стул на голове, тогда неправильно делать вывод, что Джо может это сделать.

Формы индуктивных аргументов

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

Простая перечислительная индукция

Аргументальная форма простой перечислительной индукции включает рисование обобщенный вывод о целом классе вещей, основанный на нескольких наблюдения о членах этого класса.Пример камня выше — хороший случай в точку. Ниже приводится формула этого аргумента, его пример и заблуждение, связанное с этим:

посылка (1) Позиция x имеет атрибут A

посылка (2) Позиция y имеет атрибут A

конкл. (3) Следовательно, все элементы того же типа, что и x и y, вероятно, имеют атрибут A

1. Камень 1 падает на землю, когда Я открываю руку.

2. Камень 2 падает на землю, когда Я открываю руку.

3. Следовательно, все породы похожи на 1 и 2, вероятно, упадут на землю, когда я открою руку.

Заблуждение поспешное обобщение: сделать общий вывод на основе одного или нескольких атипичные экземпляры.

Простая перечислительная индукция основана на нашем психологическая способность делать обобщения на основе ограниченного числа наблюдения, и это важный механизм выживания как для людей, так и для животные.Мир наполнен фактами, и, чтобы жить дальше, нам нужно чтобы упростить наш опыт и определить общие черты в похожих объектах. Употребление в пищу растений с таким запахом вызовет у нас тошноту. Слишком близко к животным похоже, что это приведет к смерти. В то время как наша естественная склонность к обобщениям действительно помогает нам выжить, в чистом виде это слишком неточно, чтобы использовать его в научных целях. изучение. Фрэнсис Бэкон, отец научного метода, прославился критиковал использование простой перечислительной индукции на следующих основаниях: индукция, основанная на простом перечислении, является ребяческой, ведет к неопределенным выводы, и подвергается опасности из-за одного противоречивого случая, решающего в основном из слишком малого количества фактов, и только самых очевидных ( New Органон , 1.105). В этом суть ошибки поспешного обобщение, то есть сделать общий вывод на основе одного или нескольких атипичные экземпляры. Это также может привести к суевериям: вчера я видел черный кот а потом дерево упало на мой гараж, сегодня я увидел черную кошку а потом воду Линия в моем доме оборвалась, поэтому, когда видишь черных кошек, случаются плохие вещи. Это может также привести к пагубным расовым стереотипам: Джо ирландец и пьяница, Боб ирландец и пьяница, поэтому все ирландцы пьяницы.Там тем не менее, более строгие с научной точки зрения способы построения индуктивных аргументы, основанные на статистическом анализе, и поэтому пытаются избежать поспешное обобщение. Мы обратимся к ним дальше.

Статистическая индукция

Аргументная форма статистической индукции включает рисование заключение о популяции на основе статистически приемлемой выборки. Вот подробности этого:

помещение (1) n процентов образец имеет атрибут A.

конкл. (2) Следовательно, n процент населения, вероятно, имеет атрибут A.

(1) 27% из 1033 случайно опрошенные взрослые считают, что Бог помогает решать, кто побеждает в спорте. События.

(2) Следовательно, 27% населения, вероятно, считают, что Бог помогает решать, кто побеждает в спорте. События.

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

Заблуждение необъективная выборка: вывод слишком сильный, чтобы его можно было обосновать неслучайным техника отбора проб.

В случае статистической индукции есть два различных заблуждения. которые часто совершаются, которые более конкретны, чем более широкое заблуждение поспешное обобщение, отмеченное выше. Во-первых, с ошибкой небольшой выборки , вопрос заключается в том, какой должна быть выборка подходящего размера для исследования, и это зависит от области исследования.Например, с психологическим исследования, такие как проверка времени реакции пожилых людей, 30 — это приемлемое количество. С помощью национальных опросов, таких как вышеупомянутый, посвященный спорту. событий, 1000 является приемлемым, что будет иметь погрешность 3%. Как пример ошибки малой выборки, если в приведенной выше иллюстрации мы только случайным образом опрошено 50 человек, а не 1033 человека, то допустимая погрешность было бы слишком высоко, чтобы надежно подтвердить вывод. Со вторым заблуждением ошибка необъективной выборки, проблема не в количестве людей выборка, но неслучайный характер выборки.Как пример заблуждения смещенной выборки, предположим, что на приведенной выше иллюстрации группа выборки была ограничено 1033 членами организации под названием The Association of Христианские спортивные болельщики. Здесь размер выборки достаточно велик, но не быть случайной выборкой из всей генеральной совокупности, и поэтому мы не смогли надежно провести вывод о взглядах всего населения.

Статистический силлогизм

Аргументальная форма статистического силлогизма включает в себя заключение о предмете на основе статистики. о населении в целом.Ниже приведены детали:

помещение (1) n процентов у населения есть атрибут A.

посылка (2) x является членом этого Население.

конкл. (3) Следовательно, существует вероятность n , что x имеет A.

(1) 36% американцев в возрасте от 18 до 24 лет есть татуировки.

(2) Джо — американец в этом Возрастной диапазон.

(3) Следовательно, существует низкий вероятность, что у Джо есть татуировка.

Ошибка малого пропорция: вывод слишком сильный, чтобы его можно было обосновать малой долей населения (или процент) с атрибутом.

Статистический силлогизм подобен дополнительному шагу к статистическому индукция. В приведенном выше примере предположим, что вы устанавливаете истинность предпосылка 1 с помощью статистической индукции с использованием случайного опроса 1033 взрослых. А следующим шагом может быть определение уровня вероятности того, что конкретный Американец по имени Джо сделает татуировку.Вероятность здесь мала, поскольку посылка один говорит нам, что только 36% американцев в возрасте от 18 до 24 лет имеют татуировки. В качестве примера ошибки малой доли, предположим, мы пришли к выводу, что существует очень большая вероятность, что у Джо есть татуировка. Этот новый вывод тоже был бы сильный, поскольку доля населения составляет всего 36%. Название статистическое силлогизм основан на его сходстве с дедуктивными силлогизмами, такими как Сократ. пример выше, где он переходит от общего утверждения об американцах с татуировками к конкретному о Джо.Статистическая индукция, однако, индуктивна. а не дедуктивный, поскольку его вывод о вероятности , что У Джо есть особая черта (например, у него татуировка), а не у Сократа. Например, уверенность в том, что у Сократа есть определенная черта (т.е. смертный).

Аргумент по аналогии

Аргумент по аналогии включает вывод об одном предмете. на основании его сходства с другим предметом.Вот подробности:

посылка (1) Пункты x и y имеют атрибуты A, B и C.

посылка (2) Позиции x имеют дополнительный атрибут D.

конкл. (3) Следовательно, объект y вероятно также имеет атрибут D.

(1) Люди и у каждого шимпанзе есть болевые рецепторы, неврологические болевые пути в пределах их мозги и естественные обезболивающие.

(2) Люди сознательно испытывают боль.

(3) Следовательно, шимпанзе, вероятно, также сознательно испытывать боль.

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

Философы часто используют аргументы по аналогии, подобные этому, например, аргумент замысла в пользу существования Бога по аналогии или аргумент для существования других умов по аналогии. Уязвимость всех Аргументация по аналогии состоит в том, что два сравниваемых элемента не могут быть достаточно похожи и, таким образом, допускают ложную аналогию.Вот пример:

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

(2) Люди сознательно испытывают боль.

(3) Следовательно, магазинные манекены вероятно также сознательно испытывать боль.

Хотя обе посылки 1 и 2 верны, этот аргумент фиксирует ошибочность ложной аналогии, поскольку три атрибута в посылке 1 (человек формы, стоя и в одежде) — тривиальные атрибуты, которые не имеет отношения к психологической способности сознательно испытывать боль.Наш исходный аргумент намного сильнее, поскольку он перечисляет атрибуты, которые относящиеся к сознательному переживанию боли, а именно болевые рецепторы, неврологические болевые пути и естественные обезболивающие.

Полный предмет логики в философии выходит далеко за рамки того, что мы рассмотрели в этой главе, и в самом высоком уровни, он переходит в области математики и лингвистики. В упор делается на создание строгих логических систем, независимо от их приложение к обычному дискурсу.Однако то, что мы здесь рассмотрели, является основным логические инструменты, которые предполагаются во всех философских обсуждениях, и которые имеют использовались во всех главах данной работы. Наше открытие и закрытие главы выражают философию до крайности. Первая глава о значении жизни, исследует самый конкретный и личный вопрос философского расследование. Однако последняя глава, посвященная логике, посвящена наиболее важным аспектам философии. абстрактный и беспристрастный предмет. Основная часть философии находится где-то между эти крайности.Мы изучаем вопросы, которые имеют для всех нас решающее значение, такие как человеческий разум, реальность и этика, но делайте это с помощью беспристрастных инструментов логики. Еще неизвестно, сможем ли мы когда-нибудь найти окончательные ответы на философские вопросы, которые мы задаем, даже используя эти инструменты. Но фанаты философии вынуждены хотя бы попробовать.

ВНУТРЕННИЕ УПРАЖНЕНИЯ

Инструкции: Определите, выполняются ли следующие предложения.Если некоторые из них не являются предложениями, посмотрите, можно ли их переписать как предложения.

(1) Есть сверхдержавы.

(2) Не здесь, Боб!

(3) Думаю, я собираюсь продать маленького Джоуи в рабство.

Инструкции: Определите предпосылки и выводы в приведите следующие аргументы и укажите любые предпосылки и индикаторы вывода.

(4) Английский — лучший язык, так как он единственный что я говорю.

(5) Боб любит все время спорить, и по этой причине он был бы хорошим юристом.

(6) С учетом тот факт, что Джо жульничал с налогами, следовательно, мы не можем назначить его комитет по этике.

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

(7) У Джо нет друзей, так как единственные люди, которых он знает, находятся в социальных сетях, а они не настоящие друзья.

(8) За Боба проголосовали самый популярный ученик в классе, и Боба всегда видят много людей вокруг него. Таким образом, у Боба много друзей.

(9) Джо и Боб не друзья, потому что каждый говорит, что не выносит другого, и каждый сердито оскорбляет другого, когда они проходят в зале.

Инструкции: Определите неформальную ошибку в каждом из следующие.

(10) Мертвые Молочники — рок-группа.Большинство людей, которые когда-то были молочниками в США, теперь мертвых. Ой! Это одна большая рок-группа!

(11) Эй, забудь насчет Бет ничего особенного. Есть ли что-то особенное в ее почках, миндалины или тонкий кишечник? Она всего лишь набор этих вещей.

(12) Конечно Майор считает, что армия предлагает хорошие возможности для карьерного роста. Он армия сам человек.

(13) Я думаю, Бет пойдет с тобой. Я не слышал ничего, что предполагало бы, что она не будет.

(14) У нас есть хороший преподаватель здесь, в Государственном университете Преппи. Поэтому доктор Джозеф Дрункард, кто здесь преподает, тот хороший преподаватель.

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

(15) Отец Джо брак с Бет подразумевает, что он сначала оставляет священство.

(16) Я был принят в Йельский университет, но я бы предпочел посещать Сообщество сбережений Колледж.

(17) Имя боба не фигурирует в красивом списке Дедов Морозов.

Инструкции: Определите, какие из следующих правильно сформированы вложенные предложения.

(18) если P, то (Q или R)

(19) (P и Q) не

(20) не (P или Q)

(21) P и (если Q затем R)

Инструкции: Переведите следующие помещения и выводы в стандартную форму и решить, какой аргумент действительный или ошибочный. используется форма аргумента.

(22) Если полоса В городе выступают Satans Pitchfork, они будут играть в Hell, Sweet Hell. Если они исполняют «Ад, сладкий ад», а затем парни сценическое ныряние. Следовательно, если они выступать, чуваки устроят ныряние.

(23) Либо Боб обанкротится, или я. Боб обанкротится. Поэтому не буду.

(24) Если Джо проваливается после окончания колледжа его брат Боб унаследует семейный бизнес. Джо будет не вылететь из колледжа.Следовательно, Боб не унаследует семейный бизнес.

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

(25) Джо будет провалить экзамен. (modus ponens)

(26) Полли хочет взломщик. (дизъюнктивный силлогизм)

(27) Если вы оскорбляй мать Бет, ты отправишься в больницу.(гипотетический силлогизм)

(28) Комиссионный Общественный колледж — плохая школа. (модус толленс)

Инструкции: следующие аргументы действительны, недействительны, добротный или несостоятельный?

(29) Если Фидо Далматин, тогда у Фидо было бы много пятен.

Дело не в том, что Фидо Далматинец.

Следовательно, это не тот случай, когда У Фидо много пятен.

(30) Если Джозеф У Сталина был У.S. гражданство, тогда он родился бы в США

.

Это не тот случай, когда Джозеф Сталин родился в США

г.

Следовательно, это не тот случай, когда Иосиф Сталин имел гражданство США.

Инструкции: Следующие инструкции проверяют ваше понимание добротность.

(31) Может ли действующий аргумент имеет ложный вывод?

(32) Может ли веский аргумент сделать ложный вывод?

Инструкции: Какова индуктивная сила каждого из следующие (то есть очень сильные, сильные, слабые, очень слабые)?

(33) Некоторые примечательные гитарист умер в возрасте 20 лет.Джо — известный гитарист. Следовательно, Джо будет вероятно умрет в его 20-летнем возрасте.

(34) Колледж бросившие школу зарабатывают на 1 миллион долларов меньше в течение своей карьеры, чем выпускники колледжей. Джо бросает колледж. Таким образом, Джо, вероятно, заработает примерно на 1 миллион долларов меньше. за свою карьеру, чем средний выпускник колледжа.

(35) 45% от Американцы ходят в церковь не реже одного раза в месяц. Джо — американец. Поэтому Джо вероятно, пойдет в церковь в этом месяце.

Инструкции: Укажите для каждого из следующих форма индуктивного аргумента, которому следуют, и фиксирует ли он какой-либо индуктивный заблуждение.

(36) Джо и Боб живут в одном городе, слушают одну и ту же музыку и любят одни и те же спортивные команды. Джо — пресвитерианин. Следовательно, Боб, вероятно, тоже пресвитерианин.

(37) 60% от Студенты колледжей в США — женщины. Государственный университет Преппи — это США. Колледж. Следовательно, очень высока вероятность, что следующий студент, который из студенческого центра Preppy States выйдет женщина.

(38) 100% из 20 случайно опросила взрослых в небольшом городке Хорнбик, штат Теннесси, в магазине Walmart.Таким образом, 100% американцев делают покупки в Walmart.

Ответы на классные упражнения

(1) Это предложение в том виде, в каком оно написано.

(2) Это не предложение. Его можно переписать следующим образом: я прошу, чтобы Вы не делаете этого здесь, Боб. Компонент истина / ложь исправленной версии я прошу это. . . .

(3) Это предложение, как написано. Я думаю, истинная или ложная составляющая.. . .

(4) Вывод: английский — лучший язык, предпосылка — единственная. то, что я говорю, а т.к. это показатель предпосылки.

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

(6) Помещение Джо обманывает свои налоги, вывод таков: мы не можем назначить его комитет по этике, учитывая тот факт, что это показатель предпосылки, и следовательно, это индикатор вывода.

(7) Пронумерованный аргумент и диаграмма следующие:

1 [У Джо нет друзей] с 2 года [ в социальных сетях есть только люди, которых он знает] и 3 [эти не настоящие друзья].

2 + 3 | → 1

(8) Пронумерованный аргумент и диаграмма имеют следующий вид:

1 [Боб был признан самым популярным ученик в классе] и 2 [Боба всегда видно в окружении множества людей]. Итак, 3 [у Боба много друзей].

1 | → 3 и 2 | → 3

(9) Пронумерованный аргумент и диаграмма следующие:

1 [Джо и Боб не друзья] потому что 2 [каждый говорит, что не выносит другого], и 3 [каждый сердито оскорбляет другой, когда они проходят в зале].

2 | → 1 и 3 | → 1

(10) Эквокация. Этот аргумент предполагает два значения фразы «Мертвые молочники».

(11) Состав.Этот аргумент предполагает, что свойство каждой части (т.е. ничего особенного) применяется ко всему (то есть к самой Бет).

(12) Аргумент против человека. Этот аргумент нападает на личные качества армии. Major, без изучения содержания аргумента Majors.

(13) Аргумент от незнания. Этот аргумент заключает, что что-то верно (т. Е. Что Бет пойдет с вами), поскольку это не доказано как ложное.

(14) Дивизия.Этот аргумент предполагает, что свойство всего университета (т.е. факультет) применяется к каждому участнику (т.е. доктору Джозефу Дрункарду).

(15) Это условное (если-то). Подсказка подразумевает, а предложение переводит ЕСЛИ отец Джо женится на Бет, ТОГДА он должен сначала покинуть священство.

(16) Это соединение (и). Ключевой термин — но, и предложение переводит I был принят в Йельский университет, и я предпочел бы посещать Сообщество сбережений Колледж.

(17) Это отрицание. Подсказка нет, и предложение переводит Это не в случае, если имя Боба появляется в списке приятных Дедов Морозов.

(18) Это хорошо сформировано как написано.

(19) Это не правильно сформирован, как написано, поскольку (а) логическая связка не должна предшествовать и (б) предложение должно следовать за «не».

(20) Это хорошо сформировано как написано.

(21) Это хорошо сформировано как написано.

(22) Это действительный аргумент гипотетического силлогизма.Здесь переведено в надлежащий вид:

IF диапазон Сатаны Pitchfork выступают в городе, ТОГДА они сыграют Hell, Sweet Hell.

ЕСЛИ они выполняют Черт, сладкий ад, ТОГДА парни начнут нырять на сцену.

Следовательно, ЕСЛИ группа Satans Pitchfork выступает в городе, ТОГДА парни будут нырять на сцену.

(23) Это неверный, ошибочный дизъюнктивный силлогизм. аргумент. Здесь переведено в надлежащий вид:

Боб обанкротится, ИЛИ Я пойду банкрот.

Боб обанкротится.

Следовательно, Я НЕ обанкротится.

(24) Это недопустимый ошибочный аргумент о модусе толленса. Здесь это переведено на собственное форма:

ЕСЛИ Джо проваливается после окончания колледжа, ТОГДА его брат Боб унаследует семейный бизнес.

ЭТО НЕ СЛУЧАЙ, ЧТО Джо вылетит из колледжа.

Следовательно, ЭТО НЕ В СЛУЧАЕ, ЧТО его брат Боб унаследует семейный бизнес.

(25) А возможно Созданное предложение — это вечеринки Джо всю ночь. Аргумент таков:

IF Joe вечеринки всю ночь, ТОГДА Джо провалит экзамен.

Джо принял участие в вечеринке ночь.

Следовательно, Джо провалит экзамен.

(26) А возможно Создано предложение — Полли хочет гамбургер. Аргумент таков:

Полли хочет гамбургер ИЛИ Полли хочет крекер.

ЭТО НЕ СЛУЧАЙ, ЧТО Полли хочет гамбургер.

Следовательно, Полли хочет взломщик.

(27) А возможно созданное предложение — Бет ударит вас. Аргумент таков:

ЕСЛИ ты оскорбляешь Бетс мама, ТОГДА Бет ударит тебя.

IF Beth попадает вы, ТОГДА поедете в больницу.

Следовательно, ЕСЛИ вы оскорбляете мать Бет, ТОГДА поедете в больницу.

(28) А возможно Создано предложение — это будет футбольная команда. Таким образом, аргумент это:

IF Thrift Общественный колледж — хорошая школа, ТОГДА в нем будет футбольная команда.

ЭТО НЕ СЛУЧАЙ, ЧТО у него есть футбольная команда.

Следовательно, ЭТО НЕ В СЛУЧАЕ, ЧТО Thrift Community College — хорошая школа.

(29) Это недопустимый ошибочный аргумент modus tollens, поскольку вторая посылка отрицает антецедент вместо следствия.Таким образом, это недействительно и необоснованно.

(30) Это допустимый аргумент modus tollens. Однако посылка 1 неверна, поскольку граждане США не обязательно рождаться в США (т.е. они могут быть натурализованы). Таким образом, это действительный, но необоснованный из-за ложной предпосылки.

(31) Действительный аргумент может иметь ложный вывод, такой как предыдущий аргумент, что заключает, что дядя Джордж — теннисный ботинок. Срок действия касается только формы аргумент, а не истинность содержания.

(32) Звук аргумент не может иметь ложного заключения. Действительность — это сохранение истины механизм; таким образом, если действительный аргумент имеет истинные предпосылки (и, следовательно, является правильным), тогда правда переходит в заключение.

(33) индуктивная вероятность очень мала, так как вывод намного сильнее, чем что указывают помещения. Из сотен выдающихся гитаристов ранние смерть некоторых из них почти ничего не говорит о вероятности Джо ранняя смерть.

(34) индуктивная вероятность этого аргумента сильна, поскольку вывод соответствует помещению. Однако до уровня очень сильный, поскольку 1 миллион долларов — это только средняя разница, а для конкретных отсев, он может быть намного выше или ниже этого.

(35) индуктивная вероятность этого аргумента мала, поскольку вывод выходит за рамки в каком состоянии находится помещение. Предпосылка 1 гласит, что ежемесячное посещение церкви средний американец составляет 45%, но этот процент должен быть выше 50%, чтобы поддерживают вывод о том, что Джо «вероятно» примет участие в этом месяце.

(36) Это аргумент от аналогии, который допускает ошибку ложной аналогии. Атрибуты жить в одном городе, слушать одну и ту же музыку и иметь одинаковые родители банальны и явно не связаны с атрибутом лени.

(37) Это аргумент из статистического силлогизма. Он совершает ошибку малой доли так как оговорка очень высокая вероятность в заключении намного сильнее чем 60%, указанные в первой посылке.

(38) Это аргумент статистической индукции, который допускает как ошибку малого выборка и смещенная выборка. Выборка из 20 человек слишком мала и будет дают высокую погрешность. И образец только из небольшого городка в Теннесси — это не случайная выборка всего американского населения.

ЗАДАТЬ ВОПРОСЫ ДЛЯ ДОМАШНЕГО ИЗУЧЕНИЯ (это учебные вопросы подавать на домашнюю работу)

Инструкции: Определите, выполняются ли следующие предложения.Если некоторые из них не являются предложениями, посмотрите, можно ли их переписать как предложения.

(1) Я думаю, что федералы следят за мной.

(2) Положите дикобраза и выйдите с поднятыми руками.

(3) Я связался с духами мертвых.

Инструкции: Определите предпосылки и выводы в приведите следующие аргументы и укажите любые предпосылки и индикаторы вывода.

(4) С учетом тот факт, что я почти никогда не мыл голову, шансы, что я назначить свидание.

(5) Я сделаю все, что хочет парень передо мной, учитывая, что он держит пистолет.

(6) Постоянно увеличивается популяция зомби-плотоядных; отсюда следует, что апокалипсис начался.

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

(7) Моя жизнь окончена с тех пор, как я потерял сотовый телефон, и моя жизнь зависит от этого устройства.

(8) Я не буду играть следовать за лидером вместе с вами, поскольку у вас нет лидерских навыков, и, даже если Ты это сделал, ты бы просто унес меня с обрыва.

Инструкции: Определите неформальную ошибку в каждом из следующие.

(9) Защитники смертная казнь неправильна, поскольку они думают, что даже воры должны быть выполнен.

(10) У Джона диабет, который он, вероятно, получил от питьевой воды, так как он пьет больше воды, чем всех, кого я когда-либо видел.

(11) Знак сказал штраф за мусор. Так как было нормально, замусорила.

Инструкции: укажите следующее в стандартном предложении. форму, заменив ключевое слово правильной логической связкой (для Например, d, однако e переводится в d и e).

(12) x следует из y

(13) а хотя б

(14) r означает s

Инструкции: Какие из следующих не соответствуют ? предложения?

(15) (P или Q) не (R и S)

(16), если (P и Q)

(17) (P или Q), если и (R, затем S)

(18) Как называется следующая форма аргумента или заблуждение?

если A, то B

не B

, следовательно, не A

(19) Как называется следующая форма аргумента или заблуждение?

X или Y

не X

следовательно, Y

(20) Составьте аргумент modus tollens, который приводит к следующему выводу: Следовательно, налоговик мне не друг.

(21) Является ли следующий аргумент правильным или необоснованным? Если несостоятельно, Зачем?

Если я нахожусь в Грейсленде, я могу видеть Памятные вещи Элвиса.

Это не тот случай, когда я нахожусь в Грейсленд.

Следовательно, это не тот случай, когда Я вижу памятные вещи Элвиса.

Инструкции: Какова индуктивная сила следующие (то есть очень сильные, сильные, слабые, очень слабые)?

(22) Шестнадцатилетнюю девушку ударила молния и на следующий день она выиграла в лотерею.Сегодня в Джо ударила молния. Поэтому Джо завтра наверняка выиграет в лотерею.

Инструкции: Укажите для каждого из следующих форма индуктивного аргумента, которому следуют, и фиксирует ли он какой-либо индуктивный заблуждение.

(23) 21% американцев считают, что НЛО разбился в Розуэлле в 1947. Джо — американец. Следовательно, есть большая вероятность, что Джо считает, что НЛО разбился в Розуэлле в 1947 году.

(24) 4% из 1247 зарегистрированных американских избиратели верят, что рептилии, изменяющие форму, контролируют наш мир, забирая на человеческий облик и обретение силы. Таким образом, 4% всех американцев считают, что изменяющие форму рептилии контролируют наш мир, принимая человеческую форму и набирает силу.

Геометрия: Логика

Логика — это исследование рассуждений.Принципы логики важны для разработки новых теорий и концепций не только в области науки и математики, но также и в различных областях, таких как философия. Это позволяет определить, является ли утверждение истинным, ложным или неопределенным. на основе истинных связанных утверждений.


Запоминание

Получено — получается из чего-то
Разъединение — утверждение дизъюнкции
Игнорирование — игнорирование
Изолированный — сконцентрирован в определенном состоянии или ситуации
Обосновано — действительный или обоснованный
Отрицание — противоположность или противоречие
Получение — получаем
Узоры — повтор
Теоремы — утверждения, которые подтверждены фактами.
Переходное свойство — если a = b и b = c, то a = c

Законы логики

Метод вывода выводов из комбинации фактов и закономерностей называется законами логики . Они необходимы для получения доказанного и обоснованного вывода. Вот некоторые из законов логики, применяемых в геометрии:

1.Закон о непривязанности

Закон Отстраненности применяется, когда сформулировано одно условное утверждение и гипотеза. Из него делается вывод.

Выражения: если x, то y

х

Вывод: y

, где x — это гипотеза условного оператора, а y — вывод условного оператора.


Пример 1:
Нам нужно оставаться в доме
Пояснение:

Приводятся условное утверждение и гипотеза.

Гипотеза: «На улице идет дождь».

Используйте закон непривязанности.

Вывод: «Нам нужно оставаться в доме».

Пример 2:
Она вегетарианка
Пояснение:

Приводятся условное утверждение и гипотеза.

Гипотеза: «Кейт не ест мяса».

Используйте закон непривязанности.

Вывод: «Она вегетарианка».

2. Закон силлогизма

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

Заявление: если x, то y если y, то z

Вывод: если x, то z

В алгебре закон силлогизма аналогичен транзитивному свойству .


Пример 3:
Если Джон заболел, то он пропустит уроки.
Пояснение:

Даны два условных оператора.

Заключение первого утверждения является гипотезой второго утверждения.

Используйте закон силлогизма.

Гипотеза, которая не является общей для этих двух утверждений, — «Джон болен».

Вывод, который не является общим для обоих утверждений, — «Он пропустит уроки».

Пример 4:
Если нет электричества, то темно
Пояснение:

Гипотеза — нет электричества.

Вывод — темно.

Поменять местами гипотезу и заключение.

3. Закон дизъюнктивного вывода

Закон дизъюнктивного вывода применим, когда даны дизъюнкция и дизъюнкция, которые могут быть истинными или ложными.Дизъюнкция — это комбинация двух утверждений, разделенных «или». Если данный дизъюнкт истинен, то вывод — отрицание другого дизъюнкта. Если данная дизъюнкция ложна, то вывод будет другой дизъюнкцией.

Заявлений: х или у не х

Вывод: x

, где x и y дизъюнкты


Пример 5:
Я не буду усердно учиться
Пояснение:

Даны дизъюнкция и дизъюнкция.

Используйте закон дизъюнктивного вывода.

Данная дизъюнкция «обману». правда.

Заключение — отрицание другого дизъюнкта «Я буду много учиться».

Отрицание другого дизъюнкта — «Я не буду усердно учиться».

Пример 6:
Майк идет на простоя.
Пояснение:

Даны дизъюнкция и дизъюнкция.

Используйте закон дизъюнктивного вывода.

Данная дизъюнкция «Майк не стреляет прыжками» является ложной дизъюнкцией.

Заключение — другое разногласие: «Майк идет на простоя».

4. Закон контрапозитива

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

Заявлений: Если x, то y нет, спасибо

Вывод: не x

, где x — это гипотеза условного оператора, а y — вывод условного оператора.


Пример 7:
Джон не математик.
Пояснение:

Приводятся условное утверждение и отрицание его заключения.

Используйте закон контрапозитива.

Сделанный вывод является отрицанием гипотезы условного утверждения.

Гипотеза: «Джон математик.«

Отрицание гипотезы: «Джон не математик».

Пример 8:
Вы не хотели спать.
Пояснение:

Приводятся условное утверждение и отрицание его заключения.

Используйте закон контрапозитива.

Сделанный вывод является отрицанием гипотезы условного утверждения.

Гипотеза: «Вы хотите спать.«

Отрицание гипотезы: «Вы не хотели спать».

5. Двойное отрицание

Двойное отрицание применимо, когда дано единственное утверждение, в котором говорится, что его отрицание ложно. Обычно это два «не».Вывод об этом делается путем игнорирования «не».


Пример 9:
Бренда лжет.
Пояснение:

Дается единственное заявление.

Утверждение включает отрицание ложно.

Используйте двойное отрицание.

Игнорировать «не».

Вывод: «Это правда, что Бренда лжет».

Удалите фразу «Это правда», чтобы вывод был просто «Бренда лжет».

Пример 10:
Попугай может говорить.
Пояснение:

Дается единственное заявление.

Утверждение включает отрицание ложно.

Используйте двойное отрицание.

Игнорируйте «не» и замените «ложь» на «истину».

Вывод: «Попугай может говорить правду.«

Удалите фразу «верно», чтобы вывод был просто «Попугай может говорить».


Индуктивное и дедуктивное мышление


Есть два способа получить заключение: индуктивное рассуждение и дедуктивное рассуждение. У этих двух методов разные подходы к выводу.

Индуктивное рассуждение — это способ получения заключения на основе набора наблюдений. Это зависит от модели существующих ситуаций. Как правило, вывод, сделанный с помощью этого метода, не всегда верен, поскольку наблюдения и закономерности не обязательно подтверждаются. Этот метод изолирован от способа наблюдения за информацией.

Дедуктивное рассуждение — это способ получения вывода, основанного на фактах.Вывод, сделанный с помощью этого метода, всегда верен, поскольку факты доказаны. Теоремы и другие геометрические понятия выводятся с помощью дедуктивных рассуждений. Этот метод использует законы логики.


Пример 11:
Индуктивное рассуждение
Пояснение:

Не всегда июнь имеет наибольшее количество свадеб в году.

Основано на наблюдении.

Пример 12:
Дедуктивное рассуждение
Пояснение:

Если вчера суббота, то сегодня воскресенье.

Послезавтра будет завтра.

На следующий день после воскресенья — понедельник.

Основано на фактах.


Двуусловные утверждения


Двуусловный оператор — это сочетание условного оператора и его обратного.Эти два утверждения обычно связано «Если и только если». Двуусловное утверждение истинно, когда гипотеза и вывод верны или оба ложны. В противном случае это ложь.


Пример 13:
Сегодня понедельник, если и только если завтра вторник.
Пояснение:

Соедините два оператора с «если и только если».

Пример 14:
Мария замужем, если и только если у нее есть муж.
Пояснение:

Соедините два оператора с «если и только если».

Замените слово «Мария» во втором предложении местоимением «она», чтобы избежать дублирования.


Математика | Введение в логику высказываний | Набор 1

Что такое логика?

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

 так что где 

Что на простом английском языке означает «Существует целое число, не являющееся суммой двух квадратов».

Важность математической логики

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

Логика высказываний

Что такое суждение?
Предложение — это основной строительный блок логики. Он определяется как декларативное предложение, которое является либо истинным, либо ложным, но не обоими сразу.
Значение истины предложения — Истина (обозначается как T), если это истинное утверждение, и Ложь (обозначается как F), если это ложное утверждение.
Например,


1. Солнце встает на Востоке и заходит на Западе.
2. 1 + 1 = 2
3. «b» - гласная.
 

Все вышеперечисленные предложения являются предложениями, где первые два являются действительными (истинными), а третье — недействительными (ложными).
Некоторые предложения, которые не имеют значения истинности или могут иметь более одного значения истинности, не являются предложениями.
Например,

1. Который час?
2. Выходи и играй.
3. х + 1 = 2.
 

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

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

Таблица истинности

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

Наиболее распространенные логические связки —

1. Отрицание — Если это предложение, то отрицание обозначается как, что в переводе на простой английский означает —
«Это не так» или просто «не» .
Значение истинности противоположно значению истинности.
Таблица истинности is-

 

Пример:
Отрицание «Сегодня идет дождь»: «Это не тот случай, когда сегодня идет дождь» или просто «Сегодня дождь не идет».

2. Соединение — Для любых двух предложений и их соединение обозначается значком «и». Соединение истинно, когда оба и истинны, в противном случае — ложно.
Таблица истинности is-


 

Пример:
Объединение предложений — «Сегодня пятница» и — «Сегодня идет дождь», это «Сегодня пятница, сегодня идет дождь».Это утверждение верно только в дождливые пятницы и неверно в любой другой дождливый день или в пятницу, когда нет дождя.

3. Дизъюнкция — Для любых двух предложений и их дизъюнкция обозначается значком, что означает «или». Дизъекция истинна, когда либо либо истинно, либо ложно.
Таблица истинности is-

 

Пример:
Разъединение предложений — «Сегодня пятница» и — «Сегодня идет дождь», — «Сегодня пятница или сегодня идет дождь».Это утверждение верно в любой день, который является пятницей или дождливым днем ​​(включая дождливые пятницы), и неверно в любой день, кроме пятницы, когда также нет дождя.

4. Исключающее ИЛИ — Для любых двух предложений и, их исключающее ИЛИ обозначается значком, что означает «либо, либо, но не оба». Исключающее или имеет значение Истина, когда одно из или равно Истина, и Ложь, когда оба значения истинны или оба ложны.
Таблица истинности is-

 

Пример,
Исключительное или предложений — «Сегодня пятница» и — «Сегодня идет дождь»: «Либо сегодня пятница, либо сегодня идет дождь, но не то и другое вместе».Это утверждение верно в любой день, который является пятницей или дождливым днем ​​(не включая дождливую пятницу), и неверно в любой день, кроме пятницы, когда нет дождя или дождливой пятницы.

5. Импликация — Для любых двух предложений и утверждение «если, то» называется импликацией и обозначается значком.
В следствии, это называется гипотезой , или , предшествующей , или посылкой и называется выводом , или , следствием .
Следствие также называется условным оператором .
Импликация ложна, когда истинна, и ложна в противном случае — истина. Таблица истинности is-

 

Вы можете спросить, почему истинно, а ложно. Это потому, что импликация гарантирует, что когда и верны, то импликация верна. Но импликация ничего не гарантирует, когда посылка ложна. Невозможно узнать, ложен ли этот вывод, поскольку этого не произошло.
Эта ситуация аналогична позиции «невиновен, пока не доказана вина», что означает, что импликация считается истинной, пока не будет доказана ложность. Поскольку мы не можем назвать импликацию ложной, когда она ложна, наша единственная альтернатива — назвать ее истинной.
Это следует из принципа взрыва , который гласит:
«Ложное утверждение подразумевает что-либо».
Условные утверждения играют очень важную роль в математических рассуждениях, поэтому для их выражения используется разнообразная терминология, некоторые из которых перечислены ниже.

"если, то"
"достаточно для"
" когда "
«необходимое условие для есть»
" только если "
" пока не "
"следует из"
 

Пример:
«Если сегодня пятница, значит, сегодня идет дождь» — это предложение, имеющее форму. Вышеупомянутое утверждение верно, если сейчас не пятница (предпосылка неверна), или если сейчас пятница и идет дождь, и неверно, если сейчас пятница, но нет дождя.

6. Двуусловное или двойное следствие — Для любых двух предложений и утверждение «если и только если (если и только если)» называется двусмысленным и обозначается значком.
Утверждение также называется двойным импликацией .
имеет то же значение истинности, что и
Импликация истинна, когда и имеет те же значения истинности, и ложна в противном случае. Таблица истинности is-

 

Некоторые другие распространенные способы выражения are-


"необходимо и достаточно для"
"если то и наоборот"
"iff"
 

Пример:
«Сегодня идет дождь, если и только если сегодня пятница». предложение, имеющее форму.Вышеупомянутое утверждение верно, если сейчас не пятница и не идет дождь, или если сейчас пятница и идет дождь, и неверно, если сейчас не пятница или нет дождя.

Упражнение:
1) Рассмотрим следующие утверждения:

 P: Хорошие мобильные телефоны недешевы.
  В: Дешевые мобильные телефоны никуда не годятся.
  L: P влечет Q
  M: Q влечет P
  N: P эквивалентно Q 

Какой из следующих утверждений о L, M и N ПРАВИЛЬНО? (Gate 2014)
(A) Только L ИСТИНА.
(B) Только M истинно.
(C) Только N — ИСТИНА.
(D) L, M и N ИСТИННЫ.
Решение см. В разделе GATE | GATE-CS-2014- (Комплект-3) | Вопрос 11


2) Что из следующего не эквивалентно p⇔q (Gate 2015)

Решение см. В разделе GATE | GATE-CS-2015 (набор 1) | Вопрос 65

Ссылки-

Логика высказываний — Википедия
Принцип взрыва — Википедия
Дискретная математика и ее приложения, Кеннет Х. Розен

Прочтите следующую часть: Введение в логику высказываний — набор 2

Эта статья предоставлен Чираг Манвани .Если вам нравится GeeksforGeeks и вы хотите внести свой вклад, вы также можете написать статью, используя write.geeksforgeeks.org, или отправить свою статью по адресу [email protected]. Посмотрите, как ваша статья появляется на главной странице GeeksforGeeks, и помогите другим гикам.

Пожалуйста, напишите комментарий, если вы обнаружите что-то неправильное, или если вы хотите поделиться дополнительной информацией по теме, обсуждаемой выше.

Вниманию читателя! Не прекращайте учиться сейчас. Практикуйте экзамен GATE задолго до самого экзамена с помощью предметных и общих викторин, доступных в курсе GATE Test Series .

Изучите все концепции GATE CS с бесплатными живыми классами на нашем канале YouTube.


Раздел 1.3 Обзор

Раздел 1.3 Обзор

Формы аргументов


Д Е Ф И Н И Т И Я

Аргумент Серия заявлений.
Помещение Все утверждения в аргументе, кроме последнего.
Заключение Последнее (или заключительное) утверждение в аргументе.
Обозначение «поэтому», обычно используется для определить заключение аргумента.
Modus Ponens Латынь для «метода утверждения». Правило логического вывода, который гласит, что если p верно, и если p подразумевает q ( pq ), тогда q верно.
Modus Tollens Латинское слово для «метода отрицания». Правило вывод сделан из комбинации modus ponens и контрапозитива. Если q ложно, и если p подразумевает q ( pq ), тогда p также ложно.
Заблуждение Ошибка в рассуждении.
Противоречие Правило Учитывая выписку p , если ~ p логически приводит к противоречию, тогда p должно быть истинным.


Проверка аргумента Срок действия

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

    Если я буду усердно учиться, то получу A. p q
    Я буду много учиться. п.
    Следовательно, я получу А. кв

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

Для определения действительности аргумента:

  • Определите предпосылки и заключение аргумента.
  • Создайте таблицу истинности, показывающую значения посылок и заключения.
  • Найдите строки, в которых все предпосылки верны (критическое значение ). ряды ).
  • Для каждой критической строки определите, верен ли вывод.

Если вывод верен для каждой критической строки, то форма аргумента действует. Но если хотя бы одна из критических строк содержит ложный вывод, аргумент недействителен.

Практические упражнения

Modus Ponens и Modus Tollens

Эти 2 метода используются для доказательства или опровержения аргументов, Modus Ponens подтверждая истинность аргумента (заключение становится подтверждение), и Modus Tollens путем отрицания (опять же, заключение это отрицание).Рассмотрим следующий аргумент:

Если сегодня ярко и солнечно, то надену мои солнцезащитные очки.

Modus Ponens Modus Tollens
Сегодня ярко и солнечно. Я не буду носить солнцезащитные очки.
Поэтому я буду носить свои солнцезащитные очки. Поэтому сегодня не ярко и не солнечно.

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

Практические упражнения

Другие действительные формы аргумента

Допустимы следующие формы дополнительных аргументов.




Распространенные заблуждения

Ошибка в логике или рассуждении называется ошибкой, а результат такие ошибки — недопустимый аргумент. Три наиболее распространенных заблуждения:

  • Расплывчатые или неоднозначные предпосылки
  • Напрашиваясь вопроса (если предположить, что нужно доказать)
  • Поспешные выводы (с использованием неадекватной логики или предпосылок)

Две другие распространенные ошибки рассуждения:

    Ошибка Converse

      Converse error напоминает modus ponens (поэтому он такой легко сделать ошибку!).Рассмотрим следующий абсурдный пример:

      Если меня кто-нибудь ударит ногой, я закричу «ай!»
      Я только что крикнул «ай!».
      Значит, меня кто-то пнул.

      Логично предположить, что если кто-то решит вас пнуть, ваш реакция была бы болезненным визгом. Однако тот факт, что вы крикнули «ой» не обязательно означает, что ближайший прохожий подошел и пнул ты. (Вы также можете закричать, если укололись булавкой, уроните молотком по ноге или получил «D» на тестовой бумаге.)

    Обратная ошибка

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

      Если я ударю своего профессора кремовым пирогом, он меня завалит.
      Я не ударю своего профессора кремовым пирогом.
      Значит, он меня не завалит.

      Опять же, интуитивно очевидно, что это рассуждение не работает. Хотя многие профессора могут считать, что их прибивают кремовым пирогом, достаточным причина присвоить студенту оценку «F», есть подавляющее количество других причин, по которым вы можете завалить (обман, не учиться, не приходить на тесты и т. д.).

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




Правило противоречия

Правило противоречия является основой доказательства методом противоречия. Логика проста: учитывая предпосылку или утверждение, предполагайте, что утверждение ложно. Если это предположение приводит к противоречию, то данное утверждение должно быть правдой.Рассмотрим следующее:

    Все четные целые числа делятся на 2.
    Но предположим, что нет; Предположим, есть четное число, которое не делится на 2.
    Нет такого номера.
    (Противоречие)
    Следовательно, исходная посылка верна.


примеров логических рассуждений | Приемный совет юридической школы

Журналист заявляет, что фармацевтические компании имеют как потребность в прибыли для поддержки будущих исследований, так и моральное обязательство предоставлять лекарства тем, кто больше всего в них нуждается и не может их себе позволить.Чтобы сбалансировать эти требования, они приняли практику продажи лекарств по более низким ценам в более бедных странах. Вывод журналиста — такая практика неоправданна. В подтверждение этого утверждения журналист указывает, что разные люди в одной и той же стране имеют разные платежеспособности, но это соображение само по себе не означает, что политика фармацевтической компании необоснованна. В вопросе предлагается выбрать принцип, который больше всего поможет оправдать рассуждения журналиста.

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

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

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

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

Принцип, изложенный в (E), касается того, является ли неравное распределение медицинской помощи или неравное распределение богатства более несправедливым.Однако это другой вопрос, чем тот, которым занимается журналист. Таким образом, ответ (E) не имеет отношения к рассуждениям журналиста.

Author: alexxlab

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *