double arrow

Кванторы как обобщение логических связок.

Пусть предметная область переменной x предикатов P(x,y) конечна: (x1,x2,…,xk). Тогда "xP(x,y) означает: P(x1,y) – истинно, P(x2,y) – истинно и т.д., т.е.

"xP(x,y) =P(x1,y)ÙP(x2,y)Ù…ÙP(xk,y).

Аналогично $xP(x,y) является сокращением дизъюнкции:

$xP(x,y) =P(x1,y)ÚP(x2,y)Ú… ÚP(xk,y).

Это показывает, что кванторы суть другая форма конъюнкции и дизъюнкции.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



Сейчас читают про: