Упражнения

1. Приведите пример таких предикатов где — натуральные переменные, чтобы один из них был логическим следствием другого.

2. Приведите примеры одно-, двух- и трехместных тождественно ложных, тождественно истинных и выполнимых (но не тождественно истинных) предикатов.

3. Постройте предикаты где -целочисленная переменная, такие, что:

(а) предикаты — нетождественно истинны, — тождественно истинный предикат;

— выполнимые предикаты, а — невыполнимый предикат.