Алгебра на съжденията

§2. Алгебра на съжденията
1. Формулировка на теорията
Теорията, която ще изградим в този параграф, пон1. Формулировка на теор
ията
Теорият
а, която ще изградим в този параграф, понякога се нарича теория нула-единицТе
орията,
коя
то ще изградим в тоз
и параграф, понякога се нарича теория нула-единица. Това е една интуитивна математическа теория. Едно първично понятие в нея е просто
и
ли елементарно съждение. Съжденията ще означаваме с малките букви от л
а
тинската азбука и ще ги изразяваме чрез изречение. Например изречението "Триъгълни
к
ът е равностранен" изразява съждение,
п
осочващо свойство на триъгълника . Интуицията ни насочва, че е налице са
мо едн
а
от двете възможности: триъгъ
лникът притежава това св
ойство и триъгълникът не го притежава. Това ни подсказва да
приемем за първични о
щ
е понятията вярно и невярно е
лементарн
о съж
дение, както
и
твъ
рдението, ч
е
всяко елементарно съждение притеж
а
ва едно от тези две свойства.
А
EMBED Equation.3 EMBE
D Equation.3 0000111011 EMBED Equation.3 EMBED
Equation.3
000011101101101010000 EMBED Equation.3 0
11
101101101
0100001111011Табл. 1
Т
0000000010111
11110101
0111101010111
10101010
1010101000000
00001011
1111111101010
1111Т1Таб
Тази таблица мож
е да с
Тази таблица може да се из
ползва за дефиниране на горн
ите операции със съждения.
3. Съждителни изрази