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



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

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