Пропозиційне числення , яке також називають сентенційним численням , у логіці, символічній системі лікування складних та складних пропозицій та їх логічних взаємозв’язків. На відміну від числення предикатів, пропозиційне числення використовує прості, неаналізовані пропозиції, а не терміни чи вирази іменників як свої атомні одиниці; і, на відміну від функціонального числення, він розглядає лише пропозиції, які не містять змінних. Прості (атомні) пропозиції позначаються буквами, а складені (молекулярні) пропозиції формуються із використанням стандартних символів: · для «та», «для» або «,» для «якщо». . . тоді ", а ∼ -" ні ”.
Детальніше про цю тему Формальна логіка: пропозиційне числення Найпростішою та найосновнішою галуззю логіки є пропозиційне числення, надалі називане ПК, назване так, оскільки воно стосується лише повних, ... Як офіційна система, пропозиційне числення займається визначенням, які формули (складені форми пропозицій) доказуються з аксіом. Допустимі висновки серед пропозицій відображаються в доказових формулах, тому що (для будь-якого A і B ) ⊃ B виведена тоді і тільки тоді , коли B завжди є логічним наслідком A. обчисленні висловлювань узгоджується з тим , що не існує формули в ньому такі, що і A, і ∼ Aє доказовими. Вона також є повною в тому сенсі, що додавання будь-якої недоказової формули як нової аксіоми може ввести протиріччя. Крім того, існує ефективна процедура вирішення, чи є дана формула доказовою в системі. Див. Також числення предикатів; думка, закони Росії.
