Числення висловів мінімальне: відмінності між версіями

'''Чи́слення ви́словів мініма́льне''', ''логіка мінімальна'' — числення висловів, що відрізняється від [[Інтуїціонізм|інтуїціоністського]] тим, що в нім відсутня [[аксіома]]

 

 

Термін ввів в [[1930-ті|30-х]] роках норв. математик І. Йогансон, він же привів і деякі міркування, що примусили його виключити (*) з числа аксіом. Мн-во теорем числення висловів мінімальне міститься в мн-ве теорем інтуїціоністського числення висловів, але не збігається з останнім. Всі зв'язки числення висловів мінімального незалежні. Відомі необхідні і достатні умови того, щоб приєднання деякої ф-ли до аксіом числення висловів мінімального давало інтуїціоністське числення висловів.

* Johanssonl. Der Minimalkalkfll, ein reduzierter intuitionistischer Formalismus. "Compositio Mathematical 1936, v. 4, fasciculus 1.

 

 

[[Категорія:Формальні методи]]