новости  материалы  справочник  форум  гостевая  ссылки  
Содержание
Новости
Материалы
  Логические подходы
  Нейронные сети
  Генетические алгоритмы
  Разное
  Публикации
  Алгоритмы
  Применение
Справочник
Форум
Гостевая книга
Ссылки
О сайте
 
Кнопки

Решение

{¬p} |– ¬p
(ВП)
{¬¬p,¬p} |– ¬p
{¬¬p} |– ¬¬p
(ВП)
{¬¬p,¬p} |– ¬¬p
(В^)
{¬¬p,¬p} |– ^
(У¬)
{¬¬p} |– p

Назад

 
Вопросы и замечания направляйте нам по
Copyright © 2001-2022, www.gotai.net