Мои Конспекты
Главная | Обратная связь

...

Автомобили
Астрономия
Биология
География
Дом и сад
Другие языки
Другое
Информатика
История
Культура
Литература
Логика
Математика
Медицина
Металлургия
Механика
Образование
Охрана труда
Педагогика
Политика
Право
Психология
Религия
Риторика
Социология
Спорт
Строительство
Технология
Туризм
Физика
Философия
Финансы
Химия
Черчение
Экология
Экономика
Электроника

ОСНОВНІ РІВНОСИЛЬНОСТІ ЛОГІКИ ПРЕДИКАТІВ





Помощь в ✍️ написании работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

1. "xP(x) ®P(y)усунення квантора загальності.

2. P(y) ®$xP(x)введення квантора існування

3. ~"xP(x) « $x~P(x) 4. ~$xP(x) «"x~P(x) закони А. де Моргана для кванторів

5."x (P(x) /\Q(x)) « "x P(x) /\"xQ(x)дистрибутивність квантора загальності стосовно кон’юнкції

6. $x(P (x) \/Q(x)) « $xP(x) \/$xQ(x)дистрибутивність квантора існування стосовно диз’юнкції

7."xP(x) \/"x Q(x) « "x (P(x) \/Q(x)) – дистрибутивність квантора загальності стосовно диз’юнкції

8. $x P(x) /\$x Q(x) « $x (P(x) /\Q(x)) – дистрибутивність квантора існування стосовно кон’юнкції

9."x (P(x) ® Q(x)) « "x P(x) ® "x Q(x)дистрибутивність квантора загальності стосовно імплікації

10.$x P(x) ® $x Q(x) « $x (P(x) ® Q(x)) – дистрибутивність квантора існування стосовно імплікації

11."x(P(x)«Q(x))«"x P(x)«"x Q(x)дистрибутивність квантора загальності стосовно еквіваленції

12.$x (P(x) « Q(x)) « $x P(x) « $x Q(x)дистрибутивність квантора існування стосовно еквіваленції

13. "x(A(x) /\B(x))«"xA(x) /\B 14. "x(A(x) \/B(x))«"xA(x) \/B 15. $x(A(x) /\B(x))« $xA(x) /\B 16. $x(A(x) \/B(x))« $xA(x) \/B 17. "x(A(x)®B)« $xA(x)®B 18. $x(A(x)®B)«"xA(x)®B закони пронесення кванторів за умови, що формула В не містить вільних входжень х
19."x"yA1(x,y) «"y"xA1(x,y) 20.$x$yA1(x,y) «$y$xA1(x,y) закони перестановки однойменних кванторів
21.$y"xP(x,y)«"x$yP(x,y) закон перестановки різнойменних кванторів

 

Доверь свою работу ✍️ кандидату наук!
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой



Поиск по сайту:







©2015-2020 mykonspekts.ru Все права принадлежат авторам размещенных материалов.