Тест "Логические высказывания"

В каждом вопросе теста дано логическое высказывание, а в качестве вариантов ответов даны другие логические высказывания. Из предложенных вариантов ответов нужно выбрать те высказывания, которые следуют из предложенного в вопросе высказывания. (То, что высказывание B следует из высказывания A, означает, что если A истинно, то B тоже истинно.)
Пример вопроса.
Вопрос: пуфелки зелёные или йцукенги розовые.
Варианты ответов:

• неправда, что пуфелки не зелёные и йцукенги розовые
• неправда, что пуфелки не зелёные и йцукенги не розовые
• если пуфелки зелёные, то йцукенги розовые
  
• если пуфелки не зелёные, то йцукенги розовые
  
• если пуфелки не зелёные, то йцукенги не розовые
• йцукенги розовые или пуфелки зелёные

Верный ответ: 2-й, 4-й, 6-й варианты.
Автор теста - А.С. Жуплев, кафедра информатики ДВГУ, 2008 г.


Этот тест можно пройти в программе TESTER и в в тестирующей системе.
Программу TESTER можно скачать здесь: http://group22x.narod.ru/grenkin/programs_archive.html.
Файл с тестом в формате программы TESTER: http://group22x.narod.ru/other/logical.test.
Тест в формате системы WebTest ДВФУ + дополнительная информация: http://group22x.narod.ru/other/logical_test.zip.