Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Теория программирования > Информационные технологии
Перезагрузить страницу Логика предикатов. Исчисление предикатов
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
Tribi Tribi вне форума
Новичок
 
Сообщений: 1
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 23.11.2010
Question Логика предикатов. Исчисление предикатов - 23.11.2010, 21:48

Доброго времени суток дорогие формучане, я очень очень нуждаюсь в вашей помощи, ниже будут представлены одно задание (а все остальные буджут лежать во вложенном файле), только вы сможете помочь мне их выполнить, спасайте!


Задание 1. Выразите множества истинности следующих предикатов через множества истинности входящих в них элементарных предикатов: (P(x)^(-|Q(x)->P(x)))vR(x)

-|(отрицание)
Вложения
Тип файла: zip ДЗ_2.zip (56.4 Кб, 27 просмотров)
Ответить с цитированием
Ads
Ответ

Опции темы
Опции просмотра

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

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Считывание предикатов из файла suslik_mm Prolog 23 03.12.2011 14:29
Перевод формул логики предикатов к виду пнф nienn Prolog 3 15.04.2011 20:23
Помогите с Использование предикатов собрания Dumko27 Prolog 5 23.11.2010 23:31
Логика предикатов как составить массив irina03 Информационные технологии 1 14.11.2010 13:49
Язык исчисления предикатов vologin45 Prolog 8 14.02.2010 23:28
Замена стандартных предикатов (файлы) imported_W_M Prolog 3 06.11.2008 22:58
создание предикатов в Актороном Прологе EUG47 Prolog 5 24.03.2007 22:07
Синтаксический анализатор формул исчисления предикатов 1-го Galiya Prolog 0 03.05.2006 19:28
Описание встроенных предикатов SWI imported_arina Prolog 4 19.04.2006 20:48
Исчисление Предикатов Первого Порядка Uhryap Prolog 14 29.06.2005 16:28
Синтаксис языка исчисления предикатов Mathe Prolog 1 07.01.2005 19:10
Как добиться вывода множественных решений у предикатов imported_admin Prolog 2 09.08.2002 07:37



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов