Есть ли разница между «непоследовательным» и «противоречным»? Насколько я понимаю, два утверждения несовместимы, когда они оба не могут быть истинными. Имеет ли «противоположное» такое же определение?
Насколько я понимаю, ни один термин не является полностью синонимом другого или «противоречивого» (где две переменные не могут иметь одинаковое истинностное значение, будь то истинное или ложное).
Итак, «непоследовательный», «противоречащий» и «противоречивый» имеют свое собственное значение, или два из этих терминов взаимно синонимичны?
Два утверждения называются противоречивыми , если для обоих утверждений истинность одного влечет за собой ложность другого.
Два утверждения называются противоположными , если они оба могут быть ложными, но не могут быть оба истинными.
(Я знаю, что вы использовали слово «непоследовательный» вместо «противоречивый», но последнее кажется более распространенным выбором. Однако здесь они синонимы, так что выбирайте сами.)
Вы, кажется, упустили из виду противоречивые пары, что они не могут быть оба ложными .
Несогласованность в формальной логике - это свойство множеств предложений. Например, множество {A, ¬A} является несовместным множеством.
С другой стороны, противоположное — это отношение между двумя предложениями, то есть предложение А находится в «противоположном» отношении к предложению ¬А.
Набор предложений несовместим только в том случае, если какие-то два предложения в наборе противоречат друг другу.
Хэл
Дэвид Х
Хэл