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



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

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