Академический Документы
Профессиональный Документы
Культура Документы
РАЗДЕЛ 1
1,если xi a,
xia
0,если xi a.
26
Символ a в записи предиката xia называется его показателем. Для
предикатов узнавания предмета справедливы: закон отрицания: xia =
bU
b а
хib ; закон ложности: если b a , то xia xib 0 ; закон истинности: bU