El principio del tercero excluido o "principium tertium exclusum" es un principio de la lógica tradicional formulado canónicamente por Leibniz como: o A es B o A no es B.