Predloženi račun ili logika (također sentential calculus) je formalni sustav u kojem formule koje predstavljaju prijedloge mogu biti formirane kombinirajući atomske prijedloge pomoću logičkog povezivanja i u kojem sustav formalnih dokaznih pravila uspostavlja određene formule kao "teoreme". Primjer teorema propozicijske logike jest A \ desni brdo B \ desni dio A} , koji kaže da ako A drži, onda B implicira A.
|