Практические задания


Дата добавления: 2014-11-24 | Просмотров: 551


<== предыдущая страница | Следующая страница ==>

1. Подтвердите или опровергните следующие равносильности:

а) ("х)("y)Р(x, y) º ($y)("x)Р(x, y); б) ("х)("y)Р(x, y) º ("y)("x)Р(x, y); в) ("х) (Р(x) Ú Q(x)) º ("х)Р(x) Ú ("х)Q(x).  

2. Постройте отрицание и упростите:

а) ("х)("y) ((x, yТ ® (y, хТ); б) ("х)("y) ((x, yТ Ù (y, хТ ® х = у); в) ("х)("y)("z) ((x, yТ Ù (y, zТ ® (x, zТ); г) ("х)("y) (х ¹ у ® (x, yТ Ú (y, хТ); д) ("х) ((x, xТ); e) ("х) ((x, xТ); ж) ("e)($d)("х) (0 < |xa| < d ® |f(x) - A| < e).  

3. Истинны ли следующие предикаты (значения переменных – натуральные числа):

а) ($х)($y) (2x = x2 + y); б) ("х)("y) (xy > x + y); в) ($х)("y) (x £ y2); г) ("х)($y) (2x > 3y)?

4. Предикаты Р(x, у), Q(x, у) заданы таблицами

       
 
   
 


Р(x, у) Q(x, у)

 

Выясните истинность высказываний:

а) ("х)($y) ( Ú Q(x, у)); б) ($х)("y) (Р(x, у) Ù Q(x, у)); в) ($х)($y) (Р(x, у) ® Q(x, у)); г) ("х)($y) (Р(b, у) Ú Q(x, a)).

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 |

При использовании материала ссылка на сайт Конспекта.Нет обязательна! (0.041 сек.)