Непротиворечивости принцип
НЕПРОТИВОРЕЧИВОСТИ (ПРИНЦИП) (CONTRADICTION, PRINCIPE DE NON). Принцип непротиворечивости гласит: два противоположных высказывания не могут быть одновременно истинными. Конъюнкция «p и не-p» есть противоречие, следовательно, она необходимо ложна. Отсюда следует, что истинности одного высказывания достаточно для доказательства ложности противоречащего ему второго высказывания. Можно добавить: и наоборот. Именно это и провозглашает принцип исключенного третьего (p или не-p;: из двух противоречивых высказываний оба не могут быть ложными).