ОСНОВНІ ПРАВИЛА І ЗАКОНИ ЧИСЛЕННЯ ПРЕДИКАТІВ

(а) Правила першого роду:

ВК А ; УК А/\В ; УК А/\В ; ЗК ~(А/\В) ;

А/\В А В ~А\/~В

ВД А ; В ; УД А\/В, ~А ;

А\/В А\/В В

УД А\/В, ~В ; УД А\/В, А®С, В®С ;

А С

ЗД ~(А\/В) ; УІ А®В, А ; УІ А®В, ~В ; ЗІ ~(А®В) ;

~А/\~В В ~А А/\~В

ВЕ А®В, В®А ; УЕ А«В ; УЕ А«В ;

А«В А®В В®А

З" ~"хА(х) ; З$ ~$хА(х) ; В" Ах ; У" "хА(х) ;

$х~А(х) "х~А(х) "уА(у) А(t)

В$ А(t) ; У$ $уА(у) ; У" "хF(х) ; У$ ~$х~F(х) ;

$хА(х) А(х) ~$хF(х) "хF(х)

б) Правила другого роду:

ПД (правило дедукції): Г, А ╞ В ;

Г ╞ А®В

ЗА (зведення до абсурду): Г, А ╞ В, ~В ;

Г ╞ ~А

ДВС (доведення від супротивного): Г, ~А ╞ В, ~В ;

Г ╞ А

8.8. ТАБЛИЦІ ІСТИННОСТІ ВИСЛОВЛЕНЬ, З’ЄДНАНИХ СПОЛУЧНИКАМИ

/\, \/, ,®, « та ~

Кон’юнкція Диз’юнкція

Строга диз’юнкція Імплікація

А	В	А В		А	В	А®В
І	і	х	І	і	і
І	х	і	І	х	х
х	і	і	Х	і	і
х	х	х	Х	х	і

Еквіваленція Заперечення

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