hirugarrena baztertzearen printzipio
- 1. Log.
Esakune bat egiazkoa edo faltsua dela eta beste aukerarik ez dagoela dioen printzipioa. Beraz, proposizio batez eta haren ezeztapenaz osatutako disjuntziozko proposizio konposatua tautologikoa da ( P ∨ ¬ P). Logika klasikoaren oinarrietako bat da.