Kontrtautologia - w logice jest wyłącznie fałszywym schematem zdania złożonego, wyrażonego w języku dwuwartościowego rachunku zdań, co oznacza, że wartość logiczna tego schematu jest wyłącznie równa "0" dla każdej możliwej kombinacji wartości logicznych zdań składowych.
Zdania te będą fałszywe bez względu na stan rzeczy: