Разве хорошая еда не дешевая, значит дешевая еда не хорошая?

Question

Мой профессор сказал, что эти два утверждения логически эквивалентны, но это может быть ошибкой.Они логически эквивалентны?Это не похоже на это для меня.Как все дешевые продукты не могут быть хорошими только потому, что хорошая еда не дешевая?

Answer 1

То, о чем вы говорите, является противоположностью условного утверждения.

Противоположным условного утверждения в форме "Если p, то q" является "Если ~ q, то ~ p",Символично, что противоположное «р тогда q» есть «~ q тогда ~ p».Условный оператор логически эквивалентен его контрапозитиву.

Так что в вашем примере условный оператор равен хорошо -> ~ дешево и, следовательно, контрапозитивный оператор равен дешево ->~ хорошо .Так что они оба равны.

Если вся хорошая еда не дешевая, то, конечно, дешевая еда не хороша, потому что, если еда хорошая и дешевая, это противоречит предыдущему утверждению.