Prawo wyłączonego środka

https://pl.wikipedia.org/wiki/Prawo_wyłączonego_środka

Prawo wyłączonego środka (łac. tertium non datur) – jedno z podstawowych praw klasycznego rachunku zdań.

Prawo to mówi, że dla dowolnego zdania w sensie logiki p albo ono samo jest prawdziwe, albo prawdziwe jest jego zaprzeczenie.