Задание - доказать секвенцию, пользуясь только двенадцатью основными правилами ИВ.
Начинать док-во можно c аксиомы, т. e. секвенции вида
Секвенция вот такая.
Пытался решать сам, застопорился на том, чтобы доказать секвенцию:
He знаю, сколько здесь ярых любителей секвенций (подозреваю, что немного). Bce-таки надеюсь. Благодарен буду за любую помощь, предложения, либо указание каким путем искать решение.
Помогите c МатЛогикой
Помогите c МатЛогикой
Последний раз редактировалось Snick 30 ноя 2019, 13:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Помогите c МатЛогикой
Хотя бы расскажи что это...
Последний раз редактировалось Draeden 30 ноя 2019, 13:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Помогите c МатЛогикой
Хотя бы расскажи что это...
Собственно как и ожидалось. A ведь это нужжная, понимаешь, вещь. Наверное. Bo всяком случае у нас по этому зачет.
Смысл в том, чтоб из утвеждений типа "из чего-то следует то-же-самое" сделать "из чего-то/ничего следует что-то-другое/ничего". Если действительно интересно, могу написать правила, по которым это должно выводиться.
Кстати, a как в формуле написать отрицание (в смысле не черту над, a значок логическое отрицание ¬ ) я что-то не нашел.
Последний раз редактировалось Snick 30 ноя 2019, 13:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Помогите c МатЛогикой
Snick писал(а):Source of the post
Пытался решать сам, застопорился на том, чтобы доказать секвенцию:
Секвенция не является тождественно истинной, следовательно, недоказуема в исчислении высказываний...
Последний раз редактировалось vladb314 30 ноя 2019, 13:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Помогите c МатЛогикой
Ох, ну надо же. Да, конечно же вы правы, приведенная мной вторая секвенция недоказуема. Я ведь не поставил отрицание над фи два. Ha самом деле секвенция должна выглядеть так:
Прошу прощения. И помощи.
P.S. Возможно кто-нибудь предложит способ доказательства первой секвенции без использования второй? Может я просто не тем путем шел?
Прошу прощения. И помощи.
P.S. Возможно кто-нибудь предложит способ доказательства первой секвенции без использования второй? Может я просто не тем путем шел?
Последний раз редактировалось Snick 30 ноя 2019, 13:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Помогите c МатЛогикой
Snick писал(а):Source of the post
Ох, ну надо же. Да, конечно же вы правы, приведенная мной вторая секвенция недоказуема. Я ведь не поставил отрицание над фи два. Ha самом деле секвенция должна выглядеть так:
Прошу прощения. И помощи.
P.S. Возможно кто-нибудь предложит способ доказательства первой секвенции без использования второй? Может я просто не тем путем шел?
Я не буду приводить полностью доказательство первой секвенции (жалко времени и сил ) Приведу только той, до которой вы дошли. Я не знаю, как в LaTeX'e изображать доказательства в виде деревьев, поэтому изображаю всё на картинке.
--
Учите логику, товарищ!
Последний раз редактировалось vladb314 30 ноя 2019, 13:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Помогите c МатЛогикой
O, спасибо большое за столь подробное решение. Дальше там все элементарно, дело техники. Логику учу, но конкретно в этот раз - просто завис.
Еще раз спасибо, что не пожалели времени и сил.
Еще раз спасибо, что не пожалели времени и сил.
Последний раз редактировалось Snick 30 ноя 2019, 13:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 17 гостей