Съждителни функции

1. Съждителни функции на една променлива
Нека EMBED Equation.3
е дадено непразно множество, а EMBED Equation.3
 e израз, в който фигурира променливата EMBEНека EMBED Equation.3
е дадено непразно множество, а EMBED Equation.3
 e израз, в който ф
и
гурира променливата 
EMBED Equation.3
, и който става вярно
или н
е
вярно съждение,
к
о
г
ато вместо EMBED Equation.3


поставим конкрет
е
н

елемент на множеството  EMBE
D
Equation.
3

. Тогава E
M
B
E
D Equation.3
 се нарича съждителна функция на променлива
т
а EMBED Equatio
О.5. Ако EMBED Equation.3
 и EMBED Equation.3
 са две съждителни функции, дефинирани в EMBED Equation.3
, то изразът "EMBED Equation.3
, EMBED Equation.3
" се нарича равнозначност на тези съждителни функции.
В сила е равенството EMBED Equati
o
n.3
.
3. Релации в
множеството на съждителните функции
О.6.
Съжди
т
елните функции 
E
M
B
ED Equation.3
 и EMBED Equat
i
on.3
 се нарич
а
т

еквивалентни, ако са дефинира
н
и ؀В сила
е
равенството EM
B
E
D
Equation.3
.
3. Релации в множеството на съждителните ф
у
нкции
О.6. Съжди

Глава I. Основни понятия