Kontrtautologia
Kontrtautologia to fałszywy schemat zdania złożonego, który występuje w dwuwartościowym rachunku zdań. Oznacza to, że wartość logiczna takiego schematu jest zawsze równa „0”, niezależnie od wartości logicznych zdań składowych.
Przykłady kontrtautologii
Poniższe zdania są fałszywe w każdej sytuacji:
- Nieprawda, że pada lub nie pada.
- Słońce świeci i słońce nie świeci.