1)Выделить свободные переменные у предиката: ∃y∀xF(x,y) -> ∃t F(t,x)
2)Упростить запись пользуясь кванторами: P(x1)P(x2)[P(x3)˅P(x4)]
3)Изобразить схему реализации формулы проводимости f=x->y
4)Найти все посылки ,логическим следствием которых является формула f=xy
_ _
5)Доказать тавтологию f= y (x->y)-> x
6)Решить проблему разрешимости для формулы xy->x˅y
7)Найти формулу двойственности для f=x->y
8)Построить машину- экзаменатор,работающий в условиях : задается один вопрос ,на который имеется 5 ответов ,один из которых правильный.
http://www.prepody.ru/ipb.html?act=boardrules
Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)