Ten artykuł to spis niektórych praw klasycznego rachunku zdań – tautologii tej teorii. Prawa te to podstawa szerszej klasy reguł, znanej jako prawa logiczne. Poniższa lista ma ponad czterdzieści (40) elementów i jest podzielona według liczby różnych zmiennych zdaniowych używanych w danym prawie.
Jedna zmienna zdaniowa +nazwa prawawzór (formuła)liczba różnych spójnikówłączna liczba spójnikówtożsamości (każde zdanie implikuje siebie)11idempotentnościkoniunkcji22alternatywy22podwójnego przeczenia (dowolne zdanie równoważne jest podwójnej negacji tego zdania)23wyłączonego środka, łac. tertium non datur – trzeciej możliwości nie ma (z dwóch zdań: zdania lub jego zaprzeczenia jedno zawsze jest prawdziwe)22niesprzeczności (nie może być jednocześnie prawdziwe zdanie i jego zaprzeczenie)23 Jerzy Tiuryn, Jerzy Tyszkiewicz i Paweł Urzyczyn, Logika dla informatyków (PDF), Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego (MIM UW), mimuw.edu.pl, październik 2006 [dostęp 2025-09-26] – s. 4.(jeśli zdanie wynika ze swojego zaprzeczenia, to jest prawdziwe)2324