Skip to main content
SpringerLink
Log in

Анализ и оБоБщение метода лроверки логических формул диаграммами веннч

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliografia

  1. John Venn,On the diagrammatic and mechanical representations of propositions and reasoning. The London, Edinburgh, and Dublin Philosphical Magazine and Journal of Science. 10 (1880), cpt. 1–18.

  2. Отсюда видно, что критерий тавтологичности формул системыS n ноданныи B Df. 13. является обобщением критерия тавтологичности модусов силлогизма из § 2. Y читателя может, однако, возникнуть вопрос, покему автор не избрал самоло простого насовьвакшегося сбобшения, T. e. почему вместо Df. 13 не подставил следующего определения тавтологических выразений системыSn. Df. 13. Смысловое выразение систем ыSr., явдяется тавтологией зтой системы толда, и тодъко тогда его редукция является подстановкой тавтолсгии исчисления п едлояений. Против избрания определения 13′ говорит однако, то, что мы исключали бы тогда из предела тавтологических выражений системSn такие выражения как ипр. обсуждаемые выше выражения W1: EN 1→EN 1, т. е. выражения которые могли бы стать ложными только в том случае, если бы не существовал никакой вообще предмет. А в то же время такие выражения мы привыкли причислять обычно к тавтологии. Df. 13. нретендует позтому на то. чтовы вылелять в пределах смысовых выражений системыSa такие выражения, которые. как говорится, оправдываются в любом непустомUniversum. B § 6 докажем что Df. 13. действительно выполияет зто условие. Что касается Df. 13′. то можно было-бы доказать, что выделяет она в пределах выражений системыSa такие выражсння, которые оправдываются в любом, а позтому также и в пустомUniversum.

  3. Cp. Hnp. A. Mostowski.Logika matematyczna. гл. XIII. § 7.

  4. D. Hilbert u. P. Bernays,Grundlagen der Mathematik, Bd. I. Berlin 1934, ctp. 121–123.

    Google Scholar 

  5. 5.l. c. I,, ctp. 193–195.

    Google Scholar 

  6. H. Behmann,Beiträge zur Algebra der Logik, Math. Ann. 86 (1922), ctp. 189–191. Cm. тоже D. Hilbert u. P. Bernays.Grundlagen der Mathematik, Bd. I, Berlin 1934, ctp. 146 и след.

    Article  Google Scholar 

Download references

Authors
  1. С. Лущебска-Романова
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Лущебска-Романова, С. Анализ и оБоБщение метода лроверки логических формул диаграммами веннч. Stud Logica 1, 214–244 (1953). https://doi.org/10.1007/BF02272282

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02272282

Search

Navigation