Система Гильберта

Система Гильберта Логика высказываний — раздел математической логики, изучающий высказывания и их отношения.  Аксиомы логики высказываний включают аксиомы P1, P2, […]

Система Гильберта

  • Логика высказываний — раздел математической логики, изучающий высказывания и их отношения. 
  • Аксиомы логики высказываний включают аксиомы P1, P2, P3 и P4, которые определяют основные логические операции. 
  • Обобщение и отрицание являются важными теоремами логики высказываний. 
  • Двойное отрицание — две альтернативные аксиоматизации, предложенные Лукашевичем. 
  • Аксиомы P1, P2 и P3 соответствуют базовым комбинаторам I, K и S комбинаторной логики. 
  • Доказательства в системе Гильберта соответствуют комбинаторным терминам в комбинаторной логике. 

Полный текст статьи:

Система Гильберта — Википедия

Оставьте комментарий

Прокрутить вверх