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



страница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
обратиться к администрации

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