Выполнение логических действий. Запись выражения на языке логики высказываний. Составление таблиц истинности. Тавтологически истинное рассуждение. Использование кругов Эйлера. Определение соотношения объемов понятий. Индуктивное и дедуктивное рассуждения.
Аннотация к работе
Записать выражения на зыке логики высказываний, проставить порядок выполнения логических действий и для каждого логического знака при помощи скобок выделить объекты, над которыми производится это действие. Высказывания брать в соответствии с нижеследующей таблицей, где «N» - последняя цифра номера зачетки, «пример» - высказывания, записанные под буквами а - к, над которыми необходимо выполнить заданные операции. Высказывания брать в соответствии с нижеследующей таблицей из первой задачи в) r или q или р или s и r не эквивалентно r и не q е) не (q влечет р или r) и q не влечет не р и r в)-( r v q v p v s^ r ) ?( r^ - q) Перевести на язык логики высказываний и при помощи метода таблиц истинности проанализировать правильность нижеследующего рассуждения, выбрав их в соответствии с нижеследующей таблицей: в) «Если подозреваемый совершил эту кражу, то она была тщательно подготовлена и он имел соучастника. Значит подозреваемый не совершал этой кражи».
Список литературы
1. Гетманова А. Д. Логика: Учебник по логике. М.: ЧЕРО, 2000.
2. Ивин А. А.Логика. М., 2009.
3. Ивлев Ю. В. Логика для юристов. М., 2006.
4. Кириллов В. И., Старченко А. А. Логика. М., 2006.