Вікіпедія

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

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Addbot (обговорення | внесок)
Боти
140 524 редагування
м Вилучення 2 інтервікі, відтепер доступних на Вікіданих: d:q3257974
м +Шаблон:Логіка, вікіфікатор
Рядок 1:
'''Чи́слення ви́словів мініма́льне''' (''мінімальна логіка'')  — числення висловів, що відрізняється від [[Інтуїціонізм|інтуїціоністського]] тим, що в нім відсутня [[аксіома]]
 
<center> <math> \neg a \supset (a \supset b) \quad (*)</math></center>
Рядок 7:
== Література ==
* {{ЕК}}
* Янков В. А. О расширении интуиционистского пропозиционального исчисления до классического и минимального &nbsp;— до интуиционистского. «Известия АН СССР. Серия математическая», 1968, т. 32, № &nbsp;1;
* Johanssonl. Der Minimalkalkfll, ein reduzierter intuitionistischer Formalismus. "Compositio Mathematical 1936, v. 4, fasciculus 1.
 
''К. &nbsp;П. &nbsp;Вершинін''.
{{Ізольована стаття}}
 
 
{{Логіка}}
 
[[Категорія:Формальні методи]]
Отримано з https://uk.wikipedia.org/wiki/Числення_висловів_мінімальне