Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Здравствуйте! Проверьте, пожалуйста, решённую мной задачу. Потому что изучаю сам, а разбора подобных задач я не нашёл. Задача: построить область истинности предиката на координатной плоскости (предикат: ). Вот, как я решил:
provincialka
Re: Область истинности предиката
06.01.2015, 17:43
Верно.
Atom001
Re: Область истинности предиката
06.01.2015, 17:48
Последний раз редактировалось Atom001 06.01.2015, 18:11, всего редактировалось 4 раз(а).
Спасибо за ответ!
-- 07.01.2015, 00:11 --
А вот ещё задачка: , задание то же. Здесь уже импликация. Подскажите, с чего начать в данном случае.
provincialka
Re: Область истинности предиката
06.01.2015, 18:49
Видимо, переписать через дизъюнкцию или конъюнкцию.
Atom001
Re: Область истинности предиката
06.01.2015, 18:58
Последний раз редактировалось Atom001 06.01.2015, 19:00, всего редактировалось 2 раз(а).
Видимо, переписать через дизъюнкцию или конъюнкцию.
Вот так?
provincialka
Re: Область истинности предиката
06.01.2015, 19:00
Откуда такая странная формула? Там проще все.
Atom001
Re: Область истинности предиката
06.01.2015, 19:01
Последний раз редактировалось Atom001 06.01.2015, 19:02, всего редактировалось 1 раз.
Ну, я исходил из таблицы истинности импликации. Импликация должна быть истинной, поэтому возможны три варианта (F-F, F-T и T-T).
provincialka
Re: Область истинности предиката
06.01.2015, 19:04
Последний раз редактировалось provincialka 06.01.2015, 19:05, всего редактировалось 1 раз.
Вы сначала в общем виде запишите: поищите короткую формулу.
Atom001
Re: Область истинности предиката
06.01.2015, 19:15
Вот, я нашёл такую формулу . Тогда, введя обозначения , получу .
provincialka
Re: Область истинности предиката
06.01.2015, 19:17
Последний раз редактировалось provincialka 06.01.2015, 19:17, всего редактировалось 1 раз.
Угу. Отрицание упростите и задача будет как первая. А впрочем, даже проще.
Atom001
Re: Область истинности предиката
06.01.2015, 19:22
Спасибо, что помогли мне разобраться! P.S. Но такой формулы импликации я не знал, а это значит, что моего учебника не достаточно. Подскажите, пожалуйста, литературу по алгебре логики, но чтобы с самых азов и "на пальцах".
provincialka
Re: Область истинности предиката
06.01.2015, 19:24
С литературой у меня плохо. Поищите по форуму, тут есть специальные темы про литературу.