Практикалық сабақтар 5 (4)
Практикалық сабақтардың мазмұны:
1. Состоялся розыгрыш футбольного кубка между командами "Пламя", "Рекорд", "Стрела" и "Трактор".Было высказано три прогноза: победит "Пламя" или "Рекорд"; не победит "Пламя"; не победит ни "Рекорд", ни "Трактор". Известно, что подтвердился только один прогноз. Какая команда выиграла кубок?
2. Пусть ƒ(1),q(2),h(3) - функциональные, P(1),Q(3) - предикатные символы. Являются ли формулами следующие слова:
а) P(f(x))   x ¬Q(q(y,z),x ,h(z,y,x));
б) P(Q(x,q(x,y),h(x,y,z)));
в) h(x,q(x,y),f(x))?
3. Выписать все подформулы формулы:
a) Q(x,q(x,у), h(x, у, z));
б) (x ¬Р(x) →¬  у (zP(x) Q(x, у, z))).
4. Перечислить свободные и связанные вхождения в следующих формулах:
а) x (Р(х,у) ¬уQ(x,y));
б) (¬x P(x,y)→Q(f(x,y))).
Доказать выполнимость формулы
Доказать тождественную истинность формулы
Привести к ПНФ формулу
Достарыңызбен бөлісу: |
