Анализ логического вывода

Текст задания

1. Используйте символы, чтобы записать логическую форму вывода. Если вывод верен, укажите правило

вывода, гарантирующее его правильность. В противном случае укажите, какая совершается ошибка.

Вариант Р, И, Л. Василиса Премудрая знает Java, а кроме того она знает C++. Следовательно, Василиса

знает C++.

2. Укажите, являются выводы обоснованными или нет. Подтвердите свои ответы, нарисовав диаграммы.

Вариант Р, З, Л. Все рыбаки любят приврать. Собаки никогда не лгут. Значит, ни один рыбак не

является собакой.

3. Разработайте логическую схему для управления переключателями, используя элементы AND, OR, NOT

и упрощенную (если это возможно). Выполните графическое изображение, составьте логическое

выражение и таблицу истинности, соответствующие полученной схеме.

Вариант К,У,Д,Р,А,Е,П,Л,Ш,И,О,З,Ж,Ц. Освещение в аудитории контролируется двумя

переключателями: одним в задней части комнаты и одним в передней. При перемещении любого

переключателя в противоположное положение свет выключается, если он включен, и включается,

если он выключен. Предположим, что свет был установлен так, что, когда оба переключателя

находятся в нижнем положении, свет выключен.

Критерии оценивания:

Введены обозначения высказываний – 1 балл

Умозаключение (логический вывод) верно записано в символической форме – 1 балл

Указано правило вывода либо ошибка – 1 балл

Итого: Правильно выполненное задание 1. 3 балла - максимум

Введены обозначения высказываний с использованием предикатной формы – 1 балл

Умозаключение (логический вывод) верно записано в символической форме – 1 балл

С помощью диаграмм показана обоснованность либо необоснованность вывода – 1 балл

Итого: Правильно выполненное задание 2. 3 балла – максимум

Выполнено графическое изображение логической схемы – 1 балл

Записано верное логическое выражение, соответствующее схеме – 2 балла

Построена таблица истинности для логического выражения – 1 балл

Итого: Правильно выполненное задание 3. 4 балла - максимум