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