Как математически доказать равносильность утверждений

nata74

что утверждение "Уважаю не пьющих" равносильно утверждению "Не уважаю пьющих"? :o

k11122nu

никак. в зависимости от грамматической трактовки, ответ на твой вопрос будет либо "это по определению одно и то же", либо "это совершенно разные вещи". Причем, математикам ближе второй вариант.

freya83

назовем утверждения равносильными если они состоят из одних и тех же букв.
тогда "уважаю непьющих" равносильно "не уважаю пьющих"
PS ну это если не считать опечатки в заголовке "пьщих" :)

Serghio

назовем утверждения равносильными если они состоят из одних и тех же букв.
казнить нельзя, помиловать

atsel

Не знаю, как насчет матлогики, но при помощи логики высказываний можно доказать, что два эти выражения неравнозначны. Так что вряд ли можно сказать, что они представляют одно и то же.

NHGKU2

Строго говоря, во второй фразе есть лишний пробел :ooo:

freya83

Строго говоря, во второй фразе есть лишний пробел :ooo:

пробел считается буквой только на ВМиК :), на мехмате это не буква :grin: ,
а требовалось математическое доказательство.

svetik5623190

Как математически доказать, что утверждение "Уважаю не пьющих" равносильно утверждению "Не уважаю пьющих"?

Без бутылки не разберёшься. Беги за пузырём ;)

nata74

из "уважаю непьющих" следует "не уважаю пьщих", так?

pkarpusha

нет

stat2814955

Если в первом выражении вставить слово "только" - "уважаю только непьющих" - тогда да, логически 2ое выражение следует. Иначе - нет, ни математически, ни как-либо еще.

demiurg

"уважаю непьющих" = "уважаю тех, кто не пьет" (о тех, кто пьет, ничего не сказано)
"уважаю не пьющих" => "те, кого уважаю, не являются пьющими" => "если пьющий, то не уважаю" => "не уважаю пьющих". Но не факт, что в другую сторону работает, а значит, все равно не равносильны.

mtk79

Равносильность высказывательных форм устанавливается на всей области определения соответствующих предикатов. В данном случае, оба утверждения могут относиться либо лично к Вам, либо ко всем индивидам, могущим "уважать" и "не уважать".
Поэтому в первом случае, когда область определения состоит только из Вас, Вам нужно просто спросить у себя, выполнена ли экваваленция.
Во втором же случае равносильности заведомо нет, т.к. я, например, (не уважаю пьющих но не (уважаю не пьющих)

demiurg

А зачем это нужно?
Это, случайно, не ситуация, когда кого-то "поймали" на словах и пытаются доказать, что он что-то имел в виду? В этих случаях лучше просто переспросить, что человек имел в виду.

demiurg

Более того, "уважаю не пьющих" - есть оттеннок такой, что типа есть люди, которых я особенно уважаю, но не по причине того, что они пьют, а по другой причине. Про "пьющих" как класс здесь не говорится ничего.
Оставить комментарий
Имя или ник:
Комментарий: