Дополнительные упражнения по логике предикатов

Реклама
Упражнение 1. Формализовать и проверить.
1. Неверно, что существует большее 0 число х такое, что для всех чисел а меньших
нуля, ax  0 . Существует число у такое, что для всех отрицательных чисел а ay  0 .
Следовательно, существует число не большее 0.
2. Любая функции f является возрастающей в том и только в том случае, когда для
любых x1  x2 из области определения f выполнено неравенство f  x1   f  x2  .
Существует число у , принадлежащее области определения функции g и такое, что
0  y и g  0  g  y  . Следовательно, 0 не принадлежит области определения g , или g
не является возрастающей.
3. Неверно, что найдётся такое вещественное число x , для которого при всех
натуральных n xn   n и x   . Неравенство xn   n для некоторых вещественных чисел
x выполнено при всех натуральных n . Следовательно, существует вещественное число
меньшее  .
4. Неверно, что существует вещественное меньшее 0 число х
такое, что для всех
натуральных чисел n xn  0 . Существует вещественное число у такое, что для всех
натуральных n yn  0 . Следовательно, существует вещественное число не меньшее 0.
5. Для любого натурального числа справедливо, что из кратности его квадрата четырём
вытекает кратность самого числа двум. Не все числа кратны двум. Следовательно,
существует число, которое либо не является натуральным, либо его квадрат не кратен
четырём.
6. Все натуральные числа положительны. Для любого вещественного числа x верно, что
если оно не является положительным, то неравенство x  0 для него не может быть
выполнено. Значит, если найдётся не положительное вещественное число, то найдётся
вещественное число, которое не является натуральным.
7. Не у всех чисел их квадрат кратен четырём. Для любого натурального числа кратного
двум верно, что его квадрат кратен четырём. Следовательно, существует число, которое
либо не является натуральным, либо не кратно двум.
8. Не существует вещественного числа по модулю меньшего 1 такого, что его квадрат без
1 является неотрицательным числом. Не существует числа x такого, что x 2  1  0 .
Значит, либо существует число, не являющееся вещественным, либо все числа по
модулю больше 1.
Упражнение 2. Проверить противоречивость списка предикатов.
4)[Øx > 10]® $ (y : ØyM
2)[yM
4], Ø$ (x : xM
4)[xM
2 ® x > 10] = ;
1. " (x : xM
2. " (x : x Î A)[x £ 10]® $ (y : Øy Î B)[y Î A], Ø$ (x : x Î A)[x Î B ® Øx £ 10] = ;
3. $ (x : x Î R )[x > 5]Ú$ (n : n Î N)[n < 5], " (y : y Î R Ú y<5)[Øy > 5 ÙØy Î N ] = ;
4. $ (x : x Î R )[x £ a ]Ú$ (n : n Î N)[n ³ a ], " (y : y Î R Ú y ³ a )[Øy £ a ÙØy Î N ] = ;
5. " (x : x Î R Ù x < - 5)[Øx > 5 ÙØx Î N ], $ (z : x Î R )[z < - 5 Ù z > 5]Ú
Ú$ (n : n Î N)[n < - 5 Ù n Î R ]= ;
6. $ (x : x Î N)[x £ a ]Ú$ (n : n Î N)[n ³ a ], " (y : y Î R Ú y ³ a)[Øy £ a ÙØy Î N ] = .
Упражнение 3. Является ли предикат тавтологией.
1.  x : x  R   x2  x  x  0  x  1   x : x  R  x  1    x : x  R   x 2  x  x  0 ;




2
2
2.   x : x  N  x  1   x : x  R  x  0  x  x  x  1   x : x  R  x  1  x  x  x  0  x  N ;








é2
ù.
3. = Ø$ (x : x Î A)[x > 1]Ù" (x : x > 1)éêx 2 > x Ù x > 0ù
ú Ú$ (x : x Î R )êëx > x Ù x > 0 ® x Î Aû
ú
ë
û
(
)
Упражнение 3. Проверить, является ли заключение следствием посылок в логике
предикатов, предварительно упростив, если это возможно, входящие в рассуждение
формулы с помощью теорем.
1. Ø$ (x : x > 0)" (a < 0)[a ×x > 0], $ ( y )" (a < 0)[a ×y > 0] = $ (x)[Øx > 0];
é
ùù,
2. " (T : T > 0)é
êëP (T )« " (x : D (x))ëD (x + T )Ù R (x + T )ûú
û
$ ( y : D( y )Ù D (y + p ))éëØR (y + p )ù
û = ØP (p )ÚØp > 0 ;
3. " (n : n Î N)[n > 0], " (x : x Î R )[x £ 0 ® Øx < 0] =
4.
5.
6.
7.
8.
9.
10.
= $ (x : x Î R )[x £ 0]® $ (x : x Î R )[Øx Î N ];
é 2
ù=
Ø$ (x : x Î R )éêx 2 - 1 ³ 0 Ù x Î [- 1; 1]ù
ú, Ø$ (x)ëêØx - 1 ³ 0û
ú
ë
û
= " (x)éëØx Î [- 1; 1]ù
ûÚ$ (x)[Øx Î R ];
Ø$ (x : x Î Z)éêx 2 £ 10 ÙØx Î [- 3; 3]ù
, Ø$ (x)éêØx 2 £ 10ù
=
ú
ú
ë
û
ë
û
= " (x)éëx Î [- 3; 3]ù
ûÚ$ (x)[Øx Î Z];
" (n : n Î N)éên2 M
4 ® nM
2ù
, Ø" (n)[nM
2] = $ (x)éêØx Î NÚØx 2 M
4ù
;
ú
ú
ë
û
ë
û
Ø$ (x)" (n : n Î N)[xn > 8n Ù x £ 8], $ (x)" (n : n Î N)[xn > 8n] =
= $ (x)[Øx £ 8]:
Ø" (n)éên2 M
4ù
, " (n : n Î N)éênM
2 ® n2 M
4ù
= $ (x)[Øx Î NÚ nM
2] ;
ú
ú
ë
û
ë
û
" (x : x Î R )[x £ 0 ® Øx > 0], " (n : n Î N)[n > 0] =
= $ (x : x £ 0)[x Î R ]® $ (x : Øx Î N)[x Î R ];
ù,
" ( f )éêA( f )« " ( y, z : y < z )éëD ( f , y )Ù D ( f , z)® N ( f , y, z )ù
ú
ûû
ë
$ ( y : D(g , y ))éë0 < y ÙØN (g , 0, y )ù
û = ØD (g , 0)ÚØA(g ).
Скачать