Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Докзательство клауза
СообщениеДобавлено: 12 июн 2018, 19:43 
Не в сети
Начинающий
Зарегистрирован:
12 июн 2018, 00:50
Сообщений: 2
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
(A->B)->(C->D),(D->F)->E=>AvE

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Докзательство клауза
СообщениеДобавлено: 12 июн 2018, 22:01 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Данное логическое следование не выполняется. Достаточно взять [math]A=B=0, C=D=1, F=E=0[/math].

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Докзательство клауза
СообщениеДобавлено: 14 июн 2018, 23:52 
Не в сети
Начинающий
Зарегистрирован:
12 июн 2018, 00:50
Сообщений: 2
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid
Помогите пож с решением методом Вонга. :oops:
За ранее спасибо :roll:

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Докзательство клауза
СообщениеДобавлено: 15 июн 2018, 01:42 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Построить формальное доказательство (в том числе методом Вонга) можно только для клауз, в которых имеет место логическое следствие.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 4 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Клауза

в форуме Дискретная математика, Теория множеств и Логика

manchester_alan

4

286

05 май 2016, 23:30

Матрицы докзательство если ABAB=0, то тогда и BABA = 0

в форуме Линейная и Абстрактная алгебра

Elefanto

3

256

22 окт 2017, 12:45


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 17


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved