Логика в юриспруденции учебно-методическое пособие



страница30/34
Дата01.02.2020
Размер0,62 Mb.
Название файлаПособие Логика в юриспруденции.doc
Учебное заведениеРоссийский государственный профессионально-педагогический университет
ТипУчебно-методическое пособие
1   ...   26   27   28   29   30   31   32   33   34
а



в

_

в


(а → в)

_

(а /\ в)

_

(а /\ в)

И

И

Л



Л

И

Л

И



Л

Л

И

Л



И

И

Л

И



И

Л

И

Л



Л

И

Л

И



И

3. Сравниваем четвертый и шестой столбик построчно: I строка – "И" – "И", II строка – "Л" – "Л", III строка – "И" – "И", IV строка – "И" – "И".

1. Делаем вывод: Формула логически нейтральна, выполнима. Суждения равносильны.
9.4.Метод доказательства «от противного».
Если в тексте для формализации и доказательства более чем две или три переменные, то часто применяют более эффективный метод доказательства – "от противного".

Возьмем текст.

"Наполеон либо укреплял свою власть, либо заботился об интересах государства. Известно, что Наполеон заботился об интересах государства. Следовательно, он не укреплял свою власть".

1. Формализуем текст:

((а \/ в) /\ в) → ā
Метод доказательства "от противного" заключается в предположении "ложности" всей формулы.

((а \/ в) /\ в) → ā - "Л"
2. Ключевой знак в формуле – импликация, это значит, что
((а \/ в) /\ в) → ā - должна быть – "И", а (ā) – "Л" – по таблице истинности.

3. Если (ā) – "Л", значит (а) – "И".

4. Рассмотрим антецедент импликации. Здесь ключевой знак – конъюнкция, состоящая из двух конъюнктов.

5. По таблице истинности (а \/ в) и (в) должны принимать истинное значение.

6. Последняя подформула - (а \/ в) – "И" при условии, что одна из переменных принимает значение "И", а другая – "Л".
Мы знаем, что "а" – "И" и "в" – "И", следовательно (а \/ в) – "Л".

7. Итак, возникло противоречие. Нужно было получить "И", а мы получили "Л", следовательно наше предположение о ложности неверно, а формула истина.

Попробуем проверить правильность решения табличным методом.





Поделитесь с Вашими друзьями:
1   ...   26   27   28   29   30   31   32   33   34


База данных защищена авторским правом ©nashuch.ru 2020
обратиться к администрации

    Главная страница
Контрольная работа
Курсовая работа
Лабораторная работа
Пояснительная записка
Методические указания
Рабочая программа
Методические рекомендации
Теоретические основы
Практическая работа
Учебное пособие
Общая характеристика
Общие сведения
Теоретические аспекты
Физическая культура
Дипломная работа
Самостоятельная работа
Федеральное государственное
История развития
Направление подготовки
Методическое пособие
Общая часть
Технологическая карта
квалификационная работа
Техническое задание
Выпускная квалификационная
Общие положения
Краткая характеристика
Методическая разработка
Теоретическая часть
Исследовательская работа
Гражданское право
государственное бюджетное
Технология производства
прохождении производственной
Техническое обслуживание
Решение задач
Математическое моделирование
Организация работы
учреждение высшего
Металлические конструкции
Основная часть
Метрология стандартизация
Правовое регулирование
Практическое занятие
Понятие предмет
Технологическая часть
Технология приготовления
Экономическая теория
Образовательная программа
Общие требования
Уголовное право