Экзистенциальный граф
- Машинный перевод полезен для перевода, но требует исправления ошибок и подтверждения точности.
- Не переводите ненадежный или некачественный текст.
- Сверяйте текст со ссылками в статье на иностранном языке.
- Указывайте авторские права и межъязыковую ссылку на источник перевода.
- Экзистенциальный граф — тип схематической записи логических выражений, предложенный Чарльзом Сандерсом Пирсом.
- Пирс предложил три системы экзистенциальных графов: альфа, бета и гамма.
- Альфа-графики представляют минималистскую нотацию для логики предложений на основе And и Not.
- Бета-графики изоморфны логике первого порядка с равенством.
- Гамма-графики — своеобразная форма обычной модальной логики.
- Пирс развивал большую часть двухэлементной булевой алгебры, исчисления высказываний, квантификации и предикатов.
- Пирс считал, что логика и математика должны быть записаны в двух или даже трех измерениях.
Полный текст статьи: