Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
лаба по логике!!!.docx
Скачиваний:
1
Добавлен:
01.05.2025
Размер:
66 Кб
Скачать

22. Произведите отрицание данного суждения таким образом, чтобы результаты отрицания не содержали внешних знаков отрицания. (Используя законы пронесения отрицания.)

Теория:

Законы пронесения отрицания:

¬ (А ∧ В) ≡ ¬А ∨ ¬В;

¬ (А ∨ В) ≡ ¬А ∧ ¬В;

¬ (А → В) ≡ А ∧ ¬В;

¬ ¬ А ≡ А.

«Он хороший студент или хороший спортсмен.»

Неверно, что он хороший студент или хороший спортсмен, эквивалентно, что он плохой студент или плохой спортсмен.

23. Правильно ли построено рассуждение?

Теория:

Отношение логического следования.

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

Определение: Из формулы Ф1 логически следует формула Ф2 тогда и только тогда, когда их импликация (Ф1→Ф2) – является логическим законом.

«Если человек говорит неправду, то он заблуждается или сознательно вводит в заблуждение других, но этот человек, говоря неправду, явно не заблуждается, значит, он сознательно вводит в заблуждение других»

(А→ (B ∨ C)) ∧ (A→ (¬B→C))

A

B

C

(B∨C)

(А→(B∨С)

(¬B→C)

(A→(¬B→C))

0

0

0

0

1

0

1

1

0

0

1

1

1

1

1

1

0

1

0

1

1

1

1

1

0

1

1

1

1

1

1

1

1

0

0

0

0

0

0

0

1

0

1

1

1

1

1

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

1

1

24. Какой из основных законов мышления нарушен?

«Хлестаков: - Это, верно, из Петербурга? (пускает дым).

Гибнер: - Нет… из … Риги…

Хлестаков: - Из Риги? Да, я так и думал. (Н.В.Гоголь)»

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

Символическая запись: ¬(А∧¬А).

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

Раздел 3.

25. Построить непосредственные умозаключения - обращение, превращение, противопоставление субъекту и противопоставление предикату.

Теория:

Непосредственные умозаключения – это умозаключения из одной посылки.

1. Обращение - преобразование простого суждения путем перестановки его субъекта и предиката местами. При этом качество его не меняется, а количество может измениться. Частноотрицательные суждения не обращаются.

2. Превращение – это преобразование суждения путем введения двойного отрицания – первый раз перед связкой, а второй – перед предикатом.

3. Противопоставление субъекту – это преобразование суждения путем последовательного обращения, а затем превращения. При этом предикатом полученного суждения, становится понятие, противопоставленное субъекту исходного суждения.

4. Противопоставление предикату – это преобразование суждения путем последовательного превращения, а затем обращения. При этом субъектом полученного суждения становится понятие, противоположное предикату исходного суждения.

«Некоторые европейские страны – члены НАТО.»

Обращение: В члены НАТО входят некоторые европейские страны.

Превращение: Ни одна европейская страна не есть не член НАТО.

Противопоставление субъекту: Некоторые члены НАТО не могут быть не европейскими странами.

Противопоставление предикату: Ни один не член НАТО не может быть европейской страной.