Rachunek zdań

jest to takie wyrażenie, które jest prawdziwe albo fałszywe.

jest to takie wyrażenie, za które wolno wstawić dowolne zdanie w sensie logicznym.

to wyrażenia posiadające tę właściwość, że po dodaniu do nich zdania bądź zdań otrzymuje się nowe zdanie, którego wartość logiczna zależy wyłącznie od wartości logicznej zdania dołączonego.

jest to takie wyrażenie, które po dołączeniu do niego jednego zdania jako argumentu daje nowe zdanie o wartości logicznej wyznaczonej - w szczególny sposób - przez wartość logiczną zdania dołączonego.

jest to zdanie dołączone do spójnika negacji jako jego argument.

jest to zdanie powstałe przez zanegowanie określonego zdania.

to zdanie zanegowane i powstała z niego negacja.

jest to zdanie zbudowane ze spójnika koniunkcji oraz jego argumentów (czynników).

są to zdania dołączone do spójnika koniunkcji jako argumenty.

jest to zdanie zbudowane ze spójnika alternatywy oraz jego argumentów (składników).

są to zdania dołączone do spójnika alternatywy jako argumenty.

jest to zdanie zbudowane ze spójnika implikacji oraz jego argumentów (poprzednika i następnika)

jest to pierwsze zdanie dołączone do spójnika implikacji jako argument.

jest to drugie zdanie dołączone do spójnika implikacji jako argument.

jest to zdanie zbudowane ze spójnika równoważności oraz jego argumentów (członów).

są to zdania dołączone do spójnika równoważności jako argumenty.

jest to zdanie, w którym nie występują spójniki.

jest to zdanie, w którym występuje przynajmniej jeden spójnik.

to takie wyrażenie, które przy wszelkich wstawieniach za występujące w nim zmienne zdaniowe przekształca się w zdanie prawdziwe.

to operacja polegająca na wyborze pewnych tez rachunku zdań jako aksjomatów i podaniu reguł wyprowadzania z jednych tez innych tez, przy czym reguły winny umożliwiać wyprowadzenie z aksjomatów wszystkich i tylko tez rachunku zdań.

to pierwszy etap formalizacji rachunku zdań polegający na wyborze pewnych tez rachunku zdań jako aksjomatów.

to zabieg konstruowania dowodu danego wyrażenia.