Математический форум Math Help Planet
http://mathhelpplanet.com/

Даны формулы алгебры высказываний Φ1 и Φ2
http://mathhelpplanet.com/viewtopic.php?f=62&t=38180
Страница 1 из 1

Автор:  magical3000 [ 08 янв 2015, 13:40 ]
Заголовок сообщения:  Даны формулы алгебры высказываний Φ1 и Φ2

Даны формулы алгебры высказываний Φ1 и Φ2. Доказать, что формула Φ2 является логическим следствием формулы Φ1.
Задачу решить двумя способами:
а) путем построения таблицы истинности; б) путем аналитических преобразований.

Изображение

Автор:  3D Homer [ 08 янв 2015, 22:08 ]
Заголовок сообщения:  Re: Даны формулы алгебры высказываний Φ1 и Φ2

Если у вас есть конкретные вопросы по решению, то задавайте. Писать решение за вас никто не будет.

Автор:  magical3000 [ 21 янв 2015, 19:22 ]
Заголовок сообщения:  Re: Даны формулы алгебры высказываний Φ1 и Φ2

Правильно ли я понимаю, что необходимо построить такую таблицу?

Изображение

Автор:  3D Homer [ 21 янв 2015, 22:02 ]
Заголовок сообщения:  Re: Даны формулы алгебры высказываний Φ1 и Φ2

В последней колонке должна быть не конъюнкция [math]\Phi_1\land\Phi_2[/math], а импликация [math]\Phi_1\rightarrow\Phi_2[/math]. Или просто найти значения [math]\Phi_1[/math] и [math]\Phi_2[/math] и убедиться, что если [math]\Phi_2=0[/math], то и [math]\Phi_1=0[/math], то есть что всегда [math]\Phi_1\le\Phi_2[/math] в смысле обычного сравнения 0 и 1.

Страница 1 из 1 Часовой пояс: UTC + 3 часа [ Летнее время ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/