Пропозиционно смятане , наричано още сентенциално смятане , в логиката, символна система за лечение на сложни и сложни предложения и техните логически взаимоотношения. За разлика от предикатното смятане, предложеното смятане използва прости, неанализирани предложения, а не термини или съществителни изрази като свои атомни единици; и, за разлика от функционалното смятане, той третира само предложения, които не съдържат променливи. Простите (атомни) предложения се означават с букви, а съставните (молекулярни) предложения се формират, като се използват стандартните символи: · за „и“, „за“ или, „⊃ за„ ако. . . след това “и ∼ за„ не “.
Прочетете повече за тази тема Формална логика: Предложението за изчисления Най-простият и основен клон на логиката е предложението за изчисление, наричано по-нататък PC, наречено така, защото се занимава само с пълни, Като формална система изчисленията на предложенията се занимават с определяне кои формули (съставни форми на предложение) са доказуеми от аксиомите. Валидните изводи сред предложенията се отразяват от доказуемите формули, защото (за всеки A и B ) A ⊃ B е доказуем, ако и само ако B винаги е логично следствие от A. Предложеното смятане е последователно, тъй като в него няма формула такива, че и A, и ∼ Aса доказуеми. Също така е пълно в смисъл, че добавянето на всяка недоказуема формула като нова аксиома би въвело противоречие. Освен това съществува ефективна процедура за решаване дали дадена формула е доказуема в системата. Вижте също предикатното смятане; мисъл, закони на.
