Задача Венна

Задача Венна

Задача Венна — это задача предложенная в 1881 году английским логиком и философом Джоном Венном в своем труде «Символьная логика» (англ. Symbolic Logic).

Текст задачи

Задача повествует о неком клубе, правила вступления в который нам предлагают сократить

В уставе клуба записано:
  • финансовый комитет избирается из состава членов общего комитета;
  • никто не может быть одновременно членом и общего, и библиотечного комитета, если только он не состоит также и членом финансового комитета;
  • никто из членов библиотечного комитета не может быть в финансовом комитете.

Решение

Упростим правила устава до 2-х правил. По правилам булиевой логики известно, что x->y = not(x)||y (Если Х, то У равносильно неХ или У) Записав Устав Клуба, в виде логических утверждений, преобразуем их к новому, сокращенному виду.

Интерпретация выражения эквивалентна следующему:
  • члены финансово комитета избираются из членов общего
  • члены общего комитета не могут быть членами библиотечного

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Смотреть что такое "Задача Венна" в других словарях:

  • Венн, Джон — Джон Венн John Venn Джон Венн Дата рождения …   Википедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • Формула включений-исключений — (или принцип включений исключений) комбинаторная формула, позволяющая определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом …   Википедия

  • ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… …   Философская энциклопедия

  • ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… …   Философская энциклопедия

  • Кризис математических основ — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …   Википедия

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • ЛОГИКА ИНДУКТИВНАЯ — раздел логики, в к ром изучаются логич. процессы перехода от единичного знания к общему, В наст. время анализ этих процессов вошел в круг рассмотрения вероятностной логики как частный случай решения более широкой задачи: определения степени… …   Философская энциклопедия

  • Кэрролл Льюис — (Carroll), настоящие имя и фамилия Чарлз Латуидж Доджсон (Dodgson) (1832 1898), английский писатель, математик и логик. В повестях сказках, продолжающих традицию гротескной «поэзии бессмыслиц»,  «Алиса в стране чудес» (1865) и «В Зазеркалье»… …   Энциклопедический словарь

  • ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… …   Современный философский словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»