Математическая логика и теория алгоритмов. Стенюшкина В.А. - 31 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

3 Клини, 1952:
связки: , ∧ , ∨ , → ;
- аксиомы:
А → (В→ А) ;
А→ (В→С)) → ((А→В) → (А → С);
А ∧ В → А;
А ∧ В → А;
А→ (В → (А∧В));
А→ (А∨ В) ;
В → (А∨ В);
А→ С) → ( (В→С) →( ( А∨ В) → С ));
(А →В) → ( ( А→ В) → А ) ;
А → А ;
-правило: Modus Ponens. 
3 Клини, 1952:
связки:  , ∧ , ∨ , → ;
- аксиомы:
А → (В→ А) ;
А→ (В→С)) → ((А→В) → (А → С);
А ∧ В → А;
А ∧ В → А;
А→ (В → (А∧В));
А→ (А∨ В) ;
В → (А∨ В);
А→ С) → ( (В→С) →( ( А∨ В) → С ));
(А →В) → ( ( А→  В) →  А ) ;
А→А;
-правило: Modus Ponens.

Страницы