Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 4 ] |
|
Автор | Сообщение | |
---|---|---|
mistermacintosh |
|
|
|
||
Вернуться к началу | ||
Ellipsoid |
|
|
Данное логическое следование не выполняется. Достаточно взять [math]A=B=0, C=D=1, F=E=0[/math].
|
||
Вернуться к началу | ||
mistermacintosh |
|
|
Ellipsoid
Помогите пож с решением методом Вонга. За ранее спасибо |
||
Вернуться к началу | ||
3D Homer |
|
|
Построить формальное доказательство (в том числе методом Вонга) можно только для клауз, в которых имеет место логическое следствие.
|
||
Вернуться к началу | ||
[ Сообщений: 4 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Клауза | 4 |
286 |
05 май 2016, 23:30 |
|
Матрицы докзательство если ABAB=0, то тогда и BABA = 0
в форуме Линейная и Абстрактная алгебра |
3 |
256 |
22 окт 2017, 12:45 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 17 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |