Практическое задание. 4.1Найдите области истинности предикатов А(х), В(х)

4.1 Найдите области истинности предикатов А(х), В(х), , , . Применить к предикатам А(х) и В(х) кванторные операции. Будут ли предикаты и равносильны или один из них является следствием другого? Применить к предикатам и кванторные операции.

Вариант 1. 1. , 2. ,	Вариант 2 1. , 2. ,
Вариант 3 1. , 2. ,	Вариант 4 1. , 2. ,

Контрольные вопросы

1) Как выполнять действия над предикатами?

2) Как определять вид предиката?

3) Как применять к предикатам кванторные операции?

Практическая работа №12

Выполнение равносильных преобразований формул алгебры предикатов.

Цель работы

Научиться выполнять равносильные преобразования формул алгебры предикатов.