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

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

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

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

знает C++.

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

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

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

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

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

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

Вариант 1. Освещение в аудитории контролируется двумя

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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