Логические исчисления

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