yandex rtb 1
ГоловнаЗворотній зв'язок
yande share
Главная->Математика і інформатика->Содержание->3.7. Другие формализации исчисления высказывания

Математическая логика

3.7. Другие формализации исчисления высказывания

Теория L1 (Гильберта, Аккермана). Основные связки: v, ¬.

МО: А В = ¬ AvB

Схемы аксиом:

Al: AvAA

А2: AAvB

A3: AvBBvA

А4: (BC)  (AvBAvC)

Правило вывода: МР.

Теория l (Россера). Основные связки:- &,¬.     

МО: АВ =¬ (А&¬В)   

Схемы аксиом:

Al: А (А&А)                                    '

А2: (А&Б)->А

A3: (АВ(¬ (В&С)  ¬ (С&А))

Правило вывода: МР.        

 

 

23