Сап, аноны. Пожалуйста, помогите с мат. логикой. Нужно понять, как вообще расписывать доказательство. Нужно пошаговое объяснение действий, чтобы я мог решать аналогичные примеры. Буду очень благодарен. Заранее извиняюсь за поворот картинки 270 градусов. Двач вертит пики, как хочет. Наверное, надо было фотографировать в гориз. положении.
Бамп
>>160907857 (OP)это по определению так, хули ты там доказывать собрался?
>>160908347Вот именно, что по определению нельзя сразу из одной части в другую перейти. Нужно доказательство. Типа: x принадлежит множеству A =>...
>>160908347Хотя это довольно простой пример, я согласен. Но мне нужно письменное доказательство, чтобв понять, как расписывать все это. А еще желательно доказать этот же пример, но в обратную сторону
>>160907857 (OP)Если ты не можешь понять ЭТО, то тебе лучше съебывать с мат/физ фака
>>160909500Я могу понять это. Я же сказал, что понимаю. Мне нужно узнать, каким будет дк-во в обе стороны. То есть, что я вообще там должен писать
>>160910048>что я вообще там должен писать>Я могу понять это>Я же сказал, что понимаюТы даже не знаешь значения слово Понимать, о какой вышке идёт речь? Чудес не бывает. Просто чтобы не проёбывать несколько лет своей жизни ливай сейчас
Бамп. На борде что ли нет анонов >= 1 курс?
>>160910437От тебя было бы куда больше пользы, если бы ты расписал доказательство и ответил на возникшие у меня вопросы. Если ты не можешь этого сделать, а хочешь научить меня жизни, то прошу больше не писать в этот тред
>>160907857 (OP)Банально круги Эйлера ебани
>>160910715Да не нужны мне круги Эйлера. Я знаю, что это истинное утверждение. Мне требуется доказательство на языке мат. логики со следствиями.
(A<B&C)&(B&C<B) => A<BАналогично => A<C, просто замена B на C и наоборот
>>160910952>(B&C<B)Это истина для любых событий просто по правилам логикиА вообще думаю тебе пригодится вот это https://en.wikipedia.org/wiki/Propositional_calculusМодус поненс вся хуйня
>>160910779С конъюнкцией дизъюнкцией итд? То есть, мы должны, используя кванторы и предикаты(нами определенные), доказать это умозаключение?
Вот, я расписал доказательство в одну сторону. Выглядит просто и понятно. Но с примерами посложнее уже какая-то херня.
Теперь расписал доказательство в обратную сторону. Тоже все верно же, да? Сейчас напишу пример посложнее и задам вопрос
>>160911567Забыл пик прикрепить. Это в обратную
Следующий пример
>>160911883Как теперь его делать? Опять предполагать сначала, что x принадлежит множеству A? С чего начинать?
>>160912110Сейчас подожди
>>160912110Дружище, ты извини, мне еще самому кучу чего делать надо, нет времени все это писать, единственное, что могу посоветовать, нарисуй круги Эйлера и из них выворачивай все. На самом деле выворачивается быстро.
>>160907857 (OP)Если бы знал что липа тогда бы подкупил бомжей сожрать ребёнка на камеру.
>>160912513Эх, ладно. Но нужно не через Эйлера, а аналогично тому, что я писал выше. Надеюсь, еще кто-нибудь поможет
>>160911981Дано: Любой элемент, что есть в А & B, так же есть в С.Док-во: Если х есть в А, то он может либо быть или не быть в B, т.е. A = A & B + A & ~B (банальщина). Дальше имеем одно из двух - если х есть в B, то он есть и в C (см. дано), следовательно х присутствует и в (~B + C). Если х нету в B, то он точно найдётся в отрицании B, а ~B является частью (~B + C). Значит А является подмножеством (~B + C) в любом случае, читд
>>160912928Почему мы считаем, что если x есть в A, то он может не быть в B? У нас ведь по "Дано" сказано, что пересечение A и B является подмножесвом C, следовательно, x есть и в A и в B. Разве не так? Но твое решение является верным. Полностью сходится с тем, что нам давали на семинаре. Однако я хочу разобраться.
>>160913496Заметь, что в дано про х никакой речи не идёт. Даётся лишь общее утверждение. х - всего-лишь произвольный элемент, который мы наделяем определенными качествами, чтобы использовать для доказательства.
>>160913810*всего лишьбыстрофикс
>>160913810>х - всего-лишь произвольный элемент, который мы наделяем определенными качествами, чтобы использовать для доказательства.Вот это мне пока что не очень нравится в математике, какая-то абстрактность, что ли.мимо другой первак
>>160912928Вроде понял. Но вообще я бы задал еще несколько вопросов. Нужно сейчас идти спать. Может, оставишь контакты? Электронку, например? Я бы написал днем/вечером.
>>160914306Ну тут вполне конкретный выбор. Ведь нам надо доказать, что элемент, принадлежащий А, будет принадлежать объединению ~B и С. Значит, что именно об этом элементе и будет идти речь в доказательстве. Поэтому называем его для краткости иксом и начинаем рассуждать далее, т.к. "х" короче, чем "элемент, принадлежащий множеству А." Вообще, по-хорошему, надо было мне сначала сделать допущение типа: "Допустим, что х - элемент, принадлежащий множеству А", и дальше только начинать доказывать. Но это зачастую опускается, отсюда и ощущение дискомфорта в первые разы.
>>160914813Да вообще от матана какие-то пока смешанные чувства. На парах просто дают определения и как с их помощью что-то доказывать, особо не вдаваясь в детали, поэтому дома много инфы приходится искать.
>>160914633Пили лучше завтра в то же время свежий тред, а то стремаюсь на двачах контакты светить вы же тут все социопаты блядь
>>160915139У меня 4 ночи почти. Итак не представляю почти, как утром на пары вставать. Дай скайп или левую электронку. По ним никак не задеанонят.
>>160915017Мне кажется, что иначе с математикой никак, шаблон поначалу будет сильно болеть и чесаться, т.к. интуитивное восприятие темы не совпадает с формальным языком математики. Потом устаканится и будет гораздо проще всё понимать.Самостоятельный разбор материала придётся научиться воспринимать как норму (но и не позволять преподам совсем охуевать на этот счёт), т.к. за тебя никто другой в тему не вникнет, только лишь своим мозгами.
>>160915369Тогда пили завтра тред пораньше, у меня тоже ночь на дворе.