Злічэ́нне выка́званняў ці логіка выказванняў — асобны выпадак злічэння, класы сімвалаў алфавіту якога могуць быць падзелены на класы: прапазіцыянальных сімвалаў, сімвалаў лагічных звязак і клас, які мае сімвалы круглых дужак.