Я добавил правила вывода для альфа-экзистенциальных графов. 128.113.137.111 14:58, 5 февраля 2006 г. (UTC)
Филип Мегуайр, 31 октября 2005 г. Эта статья остро нуждается в примерах экзистенциальных графов. К сожалению, я не знаю, как совместить вывод графического программного обеспечения со статьей в Википедии. В этом отношении я могу создавать на компьютере только альфа-графики, используя прямоугольники, а не овалы. Если вы хотите объединить свои графические навыки с моей страстью к экзистенциальным графикам, свяжитесь с нами по адресу [email protected].
Является ли предложение ссылки на страницу RPI и страницу Proof Builder излишним? Первый теперь предлагает два апплета для построения доказательств. Признаюсь, один из них мой собственный.
В первой строке «изобрето» изменено на «предложено», поскольку я считаю, что существует семантическое противоречие между «типом…» и «изобретен». Пирс был не единственным, кто создавал работы в этом духе, и я добавил слова на этот счет в раздел, посвященный его роли. al 16:59, 15 сентября 2006 г. (UTC)
Почему-то эта страница больше не загружается. Недавно он загрузился (на прошлой неделе), но теперь есть ошибки. Однако последнее редактирование было 17 февраля. Кто-нибудь знает, как это могло произойти? Я бы это исправил, но в настоящее время я не до конца понимаю сообщение об ошибке и то, как это сделать. Если разберусь, то сделаю... Doctorambient ( разговор ) 23:39, 21 марта 2011 (UTC)