Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Принцип полной дизъюнкции

Принцип полной дизъюнкции


Этот принцип носит также название "теоремы об обратимости системы импликаций", или "закона замкнутой системы утверждений", или "закона Гаубера". Обратим внимание на то, что этот принцип представляет собой обобщение ситуации, связанной с отношениями между истинностными значениями прямой, обратной, противоположной и обратной противоположной теорем. В самом деле, для утверждений A\to B (прямая теорема), \lnot A\to\lnot B (противоположная теорема), B\to A (обратная теорема), \lnot B\to\lnot A (теорема, обратная противоположной) справедливо следующее: если первые два из них (A\to B и \lnot A\to\lnot B) верны, то верны оба вторых утверждения (B\to A и \lnot B\to\lnot A). Если исходных утверждений будет не два, а больше, то этот случай и рассматривается в теореме об обратимости системы импликаций. Она позволяет делать вывод о справедливости обратных теорем, если посылки и следствия прямых теорем удовлетворяют некоторым условиям.


Теорема 7.18 (об обратимости системы импликаций, или принцип полной дизъюнкции). Пусть справедливы все следующие прямые теоремы (m \geqslant 2):


A_1\to B_1,\quad A_2\to B_2,\quad \ldots,\quad A_m\to B_m\,.

Причем из посылок A_1,A_2,\ldots,A_m по меньшей мере одна выполняется (т.е. истинна), а следствия B_1,B_2,\ldots,B_m попарно исключают друг друга (т. е. никакие два различных следствия не могут быть истинны одновременно, а значит истинны все следующие утверждения \lnot(B_i\land B_j), для 1\leqslant i,~ j \leqslant m,~ i\ne j). Тогда справедливы и все обратные импликации:


B_1\to A_1,\quad B_2\to A_2,\quad \ldots,\quad B_m\to A_m\,.

Доказательство. Покажем сначала истинность первой обратной импликации: B_1\to A_1. Если высказывание B_1 ложно, то импликация B_1\to A_1 истинна в силу определения 1.7 импликации. Предположим теперь, что высказывание B_1 истинно. Покажем, что тогда все высказывания A_2,A_3,\ldots,A_m ложны. Допустим противное: например, пусть A_2 истинно. Тогда из истинности высказываний A_2 и A_2\to B_2 заключаем, что исходя из определения импликации высказывание B_2 истинно. Таким образом, два различных следствия B_1 и B_2 прямых теорем истинны, но это противоречит условию. Следовательно, высказывание A_2 не может быть истинным. Аналогично, не могут быть истинными высказывания A_3,A_4,\ldots,A_m.


Итак, все высказывания A_2,A_3,\ldots,A_m ложны. Но по условию по меньшей мере одна из посылок A_1,A_2,\ldots,A_m истинна. Следовательно, истинной должна быть посылка A_1. Таким образом, высказывания B_1 и A_1 истинны. Тогда (по определению 1.7 импликации) истинна импликация B_1\to A_1.


Совершенно аналогично устанавливается истинность и остальных обратных импликаций B_2\to A_2,\ldots, B_m\to A_m. Рекомендуется провести эти рассуждения, например, для следующей импликации: B_2\to A_2.


Увидим теперь, что ситуация с прямой, обратной, противоположной и обратной противоположной теоремами есть частный случай принципа дизъюнкции. В самом деле, эта ситуация полностью укладывается в условия данной теоремы: у двух данных утверждений A\to B и \lnot A\to\lnot B из посылок A и \lnot A по меньшей мере одна (в данном случае точно одна) истинна, а следствия B и \lnot B исключают друг друга (т. е. не могут быть истинными одновременно). Тогда справедливы и обратные импликации B\to A и \lnot B\to\lnot A.


Суть принципа полной дизъюнкции состоит в том, что он на основе законов логики гарантирует истинность обратных утверждений для специального набора прямых утверждений той или иной теории и позволяет тем самым эти обратные утверждения в этой теории не доказывать, после того как доказаны прямые утверждения. Но сам принцип полной дизъюнкции, конечно, требует доказательства. Это — теорема логики, и после того как она доказана в логике, она может быть применена в самых разных областях математики, она принимает как бы универсальный, всеобщий характер.


Принцип полной дизъюнкции представляет собой фактически утверждение о логическом следовании одного утверждения из каких-то других, т. е. это есть еще одно правило логического умозаключения в дополнение к тем, которые были рассмотрены ранее. Сформулируем, например, в виде такого правила данный принцип в случае, когда n=2:


\frac{P_1\to Q_1, P_2\to Q_2, P_1\lor P_2, \lnot(Q_1\land Q_2)}{(Q_1\to P_1)\land (Q_2\to P_2)}

Принцип полной дизъюнкции имеет весьма широкое применение во всех дисциплинах школьного курса математики. Рассмотрим один такой пример.




Пример 7.19. В школьном курсе геометрии доказываются следующие три теоремы: "Квадрат длины стороны, лежащей против острого угла треугольника, меньше суммы квадратов длин двух других сторон этого треугольника"; "Квадрат длины стороны, лежащей против прямого угла треугольника, равен сумме квадратов длин двух других сторон этого треугольника" (теорема Пифагора); "Квадрат длины стороны, лежащей против тупого угла треугольника, больше суммы квадратов длин двух других сторон этого треугольника". Проанализируем данные утверждения в аспекте применимости к ним теоремы 7.18. Введем следующие обозначения для высказываний:


A_1\colon "В треугольнике угол \alpha острый";
A_2\colon "В треугольнике угол \alpha прямой";
A_3\colon"В треугольнике угол \alpha тупой";
B_1\colon "a^2<b^2+c^2";
B_2\colon "a^2=b^2+c^2";
B_3\colon "a^2>b^2+c^2",

где a,b,c — длины сторон треугольника; \alpha— его угол, лежащий против стороны длины а. Тогда сформулированные три теоремы можно записать символически:


A_1\to B_1,\qquad A_2\to B_2,\qquad A_3\to B_3\,.

Ясно, что из трех посылок A_1,A_2,A_3 этих утверждений по меньшей мере одна истинна (угол \alpha в треугольнике непременно должен быть либо острым, либо прямым, либо тупым), а следствия B_1,B_2,B_3 попарно исключают друг друга (в силу закона трихотомии для действительных чисел). Поэтому на основе теоремы 7.4 заключаем, что истинны и все три обратные импликации:


B_1\to A_1,\qquad B_2\to A_2,\qquad B_3\to A_3\,.

Например, теорема B_2\to A_2, обратная теореме Пифагора, читается так: "Если в треугольнике квадрат длины некоторой стороны равен сумме квадратов длин двух других его сторон, то этот треугольник прямоугольный, причем прямым углом является угол, лежащий против первой стороны".




Обобщение принципа полной дизъюнкции


Теорема 7.20. Пусть справедливы все следующие прямые теоремы (m \geqslant 2)\colon


(A_1\land C)\to B_1,\quad (A_2\land C)\to B_2,\quad \ldots,\quad (A_m\land C)\to B_m\,,

причем из посылок A_1,A_2,\ldots,A_m по меньшей мере одна выполняется {истинна), а следствия B_1,B_2,\ldots,B_m попарно исключают друг друга (т. е. никакие два различных следствия не могут быть истинны одновременно). Тогда справедливы и все следующие обратные импликации:


(B_1\land C)\to A_1,\quad (B_2\land C)\to A_2,\quad \ldots,\quad (B_m\land C)\to A_m\,.

Доказательство. Покажем сначала истинность первой обратной импликации: (B_1\land C)\to A_1.


Если высказывание B_1 ложно, то посылка B_1\land C ложна и, значит, импликация (B_1\land C)\to A_1 истинна. Предположим теперь, что высказывание B_1 истинно. Тогда, если при этом высказывание C ложно, то снова посылка B_1\land C ложна, следовательно, импликация (B_1\land C)\to A_1, истинна. Предположим теперь, что и высказывание C истинно. Покажем, что тогда все высказывания A_1,A_2,\ldots,A_m ложны. Допустим противное: например, пусть A_2 истинно. Тогда из истинности высказываний A_2,\,C (а значит, и истинности их конъюнкции A_2\land C) и (A_2\land C)\to B_2, очевидно, вытекает истинность высказывания B_2. Таким образом, два различных следствия B_1 и B_2 прямых теорем истинны. Это противоречит условию. Следовательно, высказывание A_2 не может быть истинным. Аналогично не могут быть истинными высказывания A_3,\ldots,A_m. Итак, все высказывания A_2,A_3,\ldots,A_m ложны. Но по условию, по меньшей мере одна из посылок A_1,A_2,\ldots,A_m истинна. Следовательно, истинной должна быть посылка A_1. Итак, высказывания B_2,\,C и A_1 истинны. Тогда истинна конъюнкция B_1\land C и истинна импликация (B_1\land C)\to A_1, являющаяся обратной по отношению к первой данной импликации (A_1\land C)\to B_1.


Совершенно аналогично устанавливается истинность и остальных обратных импликаций


(B_2\land C)\to A_2,\quad (B_3\land C)\to A_3,\quad \ldots,\quad (B_m\land C)\to A_m\,.



Пример 7.21. Примером применения данной общелогической теоремы могут служить следующие три утверждения 1), 2), 3), выражающие свойство монотонности операции умножения в кольце целых чисел или в поле рациональных чисел (в правом столбце помещены обратные для них теоремы 1'), 2'), 3'), справедливые на основании доказанной теоремы 7.20):


\begin{array}{ll}\mathsf{1)}~~ x<y,~ z>0~ \Rightarrow~ xz< yz\,; &\quad \mathsf{1')}~~ xz<yz,~ z>0~ \Rightarrow~x<y\,;\\[2pt] \mathsf{2)}~~ x>y,~ z>0~ \Rightarrow~ xz> yz\,; &\quad \mathsf{2')}~~ xz>yz,~ z>0~ \Rightarrow~x>y\,;\\[2pt] \mathsf{3)}~~ x=y,~ z>0~ \Rightarrow~ xz= yz\,; &\quad \mathsf{3')}~~ xz=yz,~ z>0~ \Rightarrow~x=y\,.\end{array}

Аналогично для следующих трех утверждений 4), 5), 6) относительно целых чисел:


\begin{array}{ll}\mathsf{4)}~~ x<y,~ z<0~ \Rightarrow~ xz> yz\,; &\quad \mathsf{4')}~~ xz>yz,~ z<0~ \Rightarrow~x<y\,;\\[2pt] \mathsf{5)}~~ x>y,~ z<0~ \Rightarrow~ xz< yz\,; &\quad \mathsf{5')}~~ xz<yz,~ z<0~ \Rightarrow~x>y\,;\\[2pt] \mathsf{6)}~~ x=y,~ z<0~ \Rightarrow~ xz= yz\,; &\quad \mathsf{6')}~~ xz=yz,~ z<0~ \Rightarrow~x=y\,.\end{array}
Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved