Теоремы о дедукции от противного

Studia Logica 20 (1):161-163 (1967)
  Copy   BIBTEX

Abstract

Под названием теорем о дедукции от противного в статье вводятся теоремы позволяющиэ формализировать рассуждения от противного, встечающиеся в дедуктивной практике, а особенно в практике математических доказательств. В статье рассматриваются отношения между введёнными теоремами и некоторыми логическими исчислениями. Мы ограничиваемся в основном отношением упомянутых теорем к импликтивно-отиицательным исчислениям предоожений

Categories

Keywords

Reprint years

DOI

10.1007/bf02340044

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Заметка по поводу теорем дедукции от противного справедливых в конечнозначных лукасевичевых исчислениях высказываний.С Сурма - 1973 - Studia Logica 31 (1):143-143.
Сознание, организм и объективация личности.С.М Левин - 2013 - Epistemology and Philosophy of Science 38 (4):104-116.
Anthropological Boundaries of Humanitarian Expertise.Сергей Смирнов & Екатерина Яблокова - 2019 - Philosophical Anthropology 5 (1):26-44.
Исторический контекст науки: материальная культура и онтологии.О.Е Столярова - 2011 - Epistemology and Philosophy of Science 30 (4):32-50.
«Интересы ребенка»: проблема определения в социальных науках.Alexandra Martynenko - 2023 - Sociology of Power 35 (4):21-47.
Тождество личности как онтологический факт.М.А Секацкая - 2013 - Epistemology and Philosophy of Science 37 (3):76-84.
Опровергает ли аргумент каузальных траекторий локальную супервентность ментального над физическим?Д.Б Волков - 2015 - Epistemology and Philosophy of Science 44 (2):166-182.
Теоремы дедукции справедливые в некоторых фрагментах систем s2 люиса и т фейса-фон вригхта.С Сурма - 1973 - Studia Logica 31 (1):138-138.
От классических научных метафор к визуализации данных.Сабина Гадиркызы Бусарева - 2019 - The Digital Scholar: Philosopher's Lab 2 (1):78-87.
Кибернетическая революция и шестой технологический уклад.Leonid Grinin & Anton Grinin - 2015 - Историческая Психология И Социология Истории 8 (1):172-197.

Analytics

Added to PP
2009-01-28

Downloads
27 (#838,947)

6 months
5 (#1,091,584)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references