Wyrażenie w jest tautologią klasycznego rachunku zdań, wtedy i tylko wtedy, gdy przy każdym podstawieniu stałych za zmienne przechodzi w zdanie prawdziwe.