Карта сайта

Это автоматически сохраненная страница от 22.10.2013. Оригинал был здесь: http://2ch.hk/b/res/56530439.html
Сайт a2ch.ru не связан с авторами и содержимым страницы
жалоба / abuse: admin@a2ch.ru

Втр 22 Окт 2013 05:23:50
Исчисление высказываний
Sup /b/, есть ИДЗ по эльфийскому мат. логике, в которой я нихуя не могу разобраться. С матаном и тервером всё ок, а с этим проблемы. Анон, помоги с решением этого говна.

Буду бампать годным рандомом.


Втр 22 Окт 2013 05:25:39
Строй дерево вывода, мудила.

Втр 22 Окт 2013 05:28:03
>>56530439
Вот с первым вообще пиздец, во-первых нужно доказать что в обе стороны высказывания доказуемы, а во-вторых с одной гипотезой хуй знает как это сделать.
Аксиомы не аксиомы. Modus ponens не мodus ponens.

Втр 22 Окт 2013 05:28:18
Таблицы Бета, функции Сколема

Втр 22 Окт 2013 05:29:34
>>56530451
Блять, ну это понятно, с чего начать то?
Ну вот выражения с конъюнкцией и дизъюнкцией это гипотеза. Какие аксиомы использовать?

Втр 22 Окт 2013 05:30:33
>>56530439
Держи расшифровку. Не благодари.

Втр 22 Окт 2013 05:34:30
>>56530484
>Таблицы Бета, функции Сколема
Это для предикатов, а тут исчисление высказываний.

Втр 22 Окт 2013 05:39:37
>>56530523
Эльфийский же.

Втр 22 Окт 2013 06:38:59
bump #5
Пока пытаюсь решить сам, но тщетно. Решение где-то витает в воздухе, но я не могу его ухватить.

Втр 22 Окт 2013 06:51:46
И если с импликациями всё понятно применяем правило вывода, то вот с конъюнкциями вообще хуй знает.

Втр 22 Окт 2013 06:59:46
Блять, ненавижу всю эту хуйню. Здать бы ЕГЭ на 3 и норм.

Втр 22 Окт 2013 07:50:48
>>56531859
ты таблицу истинности что ли не можешь начертить? в чём проблема-то?

Втр 22 Окт 2013 07:59:17
>>56531885
Проблема в том, что не по таблице истинности это всё решается.

Втр 22 Окт 2013 08:49:48
>>56530439
Лошадью ходи.


← К списку тредов