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

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