Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ОСНОВЫ ЛОГИКИ.doc
Скачиваний:
3
Добавлен:
01.03.2025
Размер:
738.82 Кб
Скачать

Правила вывода

Форма

посылок

Форма

заключения

Название

Символ

Полное название

1.

А, В

А  В

( +)

Правило введения конъюнкции

2.

А  В А  В

А В

( -)

( -)

Исключение

конъюнкции

3.

А

А  В

( +)

Введение дизъюнкции

4.

А  В,  А

В

( -)

Исключение

дизъюнкции

5.

А

  А

(  +)

Введение двойного отрицания

6.

  А

А

(  -)

Снятие двойного

отрицания

7.

А, А  В

В

( -)

modus ponens

8.

А  В,  В

 А

( -2)

modus tollens

9.

А  В

 В   А

( )

Правило

контрапозиции

10.

АВ, ВС

А  С

( )

Закон транзитивности

11.

 (А  В)

 А   В

( ДМ1 )

Закон де Моргана

12.

 (А  В)

 А   В

( ДМ2 )

Закон де Моргана

13.

 А   В

 (А  В)

( ДМ3 )

Закон де Моргана

14.

 А   В

 (А  В)

( ДМ4 )

Закон де Моргана

15.

А  В

А  В

( -)

Исключение

эквивалентности

16.

А  В

В  А

( -2)

Исключение

эквивалентности

17.

А  В

 А  В

( 3  )

Связь дизъюнкции

с импликацией

18.

А  В

 А  В

( ,  )

Связь импликации

с дизъюнкцией

Литература

Гетманова А.Д. Логика для юристов. Уч.пос. 5-е изд. М., 2008.

Гетманова А.Д. Логика. Уч.пос. 13-е изд. М., 2008.

Гетманова А.Д. Логика. Учебник для вузов. 12-е изд. М., 2007.

Десяткина М.В. Логика (основы логики). Уч.-метод. компл. Уфа: изд-во БАГСУ. 2007.

Ивлев Ю.В. Логика. Учебник. 4-е изд. М., 2008.

Кириллов В.И. Логика. Учебник для юрид. вузов. М., 2008.

Кондаков Н.И. Логический словарь-справочник. М., 1976.

Поварин С.Т. Спор. О теории и практике спора. Псков, 1994.

Юочаров В.А., Маркин В.И. Основы логики. Учебник. М., 2008.

Содержание

Предмет и значение логики ………………………………..

3

Понятие как форма мышления …………………………….

8

Суждение как форма мышления…………………………..

34

Умозаключение……………………………………………..

47

Силлогизм. Проверка правильности силлогизма…………

55

Доказательство и опровержение…………………………..

61

Логическое доказательство и судебное доказывание…….

70

Алгоритм анализа рассуждений в логике высказываний..

80

Полемика: виды и правила………………………………..

87

Тесты………………………………………………………..

105

Упражнения для самоконтроля…………………………….

128

Базовые понятия……………………………………………

134

Вопросы к зачету…………………………………………..

142

Приложения…………………………………………………

144

Литература………………………………………………….

149

Учебное издание