Закон Исключенного Третьего - это...

- логическийзакон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: "Аристотель умер в 322 г. до н. э. или он не умер в этом году". "Завтра будет морское сражение или завтра не будет морского сражения" и т. п. Само название закона выражает его смысл: дело обстоит так, как описывается в рассматриваемом высказывании, или так, как говорит его отрицание; третьего варианта нет ("третьего не дано"). Символически 3. и. т. представляется формулой (р - некоторое высказывание; v - дизъюнкция, "или";