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



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


в

ā


а /\ в


а \/ в



а \/ в



а → в


а ↔ в

И

И

Л



Л

И

Л

И



Л

Л

Л

И



И

И

Л

Л



Л

И

И

И



Л

Л

И

И



Л

И

Л

И



И

И

Л

Л



И

1. Количество строк в таблице истинности определяется по формуле 2 n , где n – количество переменных.

2. Количество столбиков равно количеству переменных плюс количество подформул, входящих в исходную формулу.

3. Комбинации "И" и "Л" задаются формулами:

1 столбик (2 n : 2)

2 столбик ((2 n : 2) : 2)

3 столбик : и т.д.

последний столбик всегда содержит чередование "И" и "Л".

При формализации текстов могут получиться разного рода формулы:

1. Тождественно - истинная формула получается при условии, если при всех любых значениях входящих в нее переменных, она получает значение "И".

2. Тождественно – ложная формула, - если при всех любых значениях входящих в нее переменных, она получает значение "Л".

3. Логически – нейтральная – это не тождественно – истинная и не тождественно – ложная формула, т.е. в результате есть "И" и "Л".

4. Тождественно – истинные и тождественно – ложные формулы называются выполнимыми.

5. Формулы называются равносильными, если при каждой определенной комбинации "И" и "Л" значений входящих в них переменных значения формул совпадают.


Пример. Если слово ставится в начале предложения, то оно пишется с большой буквы. Неверно, что слово ставится в начале предложения и при этом не пишется с большой буквы.

Задание: установить, являются ли данные суждения равносильными?


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

_ _

(а → в) ↔ (а /\ в)


2. Составляем таблицу истинности.







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




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

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