Занятие8

Контрольные вопросы.

1.Разрешение суждений и его основные процедуры:

а) приведение к нормальной форме и подстановки;

б) построение конъюнктивно-нормальных и дизъюнктивно-нормальных форм.

2.Особенности логической импликации.

3. Процедуры разрешения суждений в юридической теории и практике.

Задания.

1. С помощью КНФ проверить истинность рассуждения:

Если «А» незаконно получил кредит, то он наказывается штрафом
в размере от двухсот до пятисот минимальных размеров оплаты труда
или лишением свободы на срок от двух до пяти месяцев. «А» получил кредит законно. Следовательно, он не будет лишён свободы на указанный срок.

2. С помощью ДНФ опровергнуть формулы:

1) (((а ↔ в) ↔ а) → в)

2) (((а → в) → с) → (в → е))

3. Подготовиться к самостоятельной работе по теме «Элементы логики высказываний: нормальные формы в доказательстве, проблема разрешимости суждений».

Тема: Элементы логики высказываний: обзор причин и следствий

Занятие 9.

Контрольные вопросы.

1. Логически нейтральные формулы суждения и смысл их выполнимости.

2. Понятие сокращённой конъюнктивно-нормальной формы и алгоритм её построения.

3. Понятие совершенной конъюнктивно-нормальной формы и алгоритм её построения.

4. Логический поиск причин (гипотез).

Занятие 10.

Контрольные вопросы.

1. Понятие сокращённой дизъюнктивно-нормальной формы и алгоритм её построения.

2. Понятие совершенной дизъюнктивно-нормальной формы и алгоритм её построения.

3. Понятие возможных и простых следствий из формализованной ситуации.

4. Поиск причин и следствий в юридической деятельности.

Задание. Подготовиться к терминологическому диктанту по теме: «Элементы логики высказываний: нормальные формы в доказательстве, проблема разрешимости суждений».

Силлогистика: виды и структура простых суждений