Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Пирамида SABCD пересечена плоскостью KLNM, параллельной основанию.
1. Каково взаимное расположение прямых (пересекаются, скрещиваются, параллельны):
а) AS и CD? ответ: скрещиваются, т.к. CD∈( ADC) , AS∩( ADC) =A , A∉CD
б) AB и KL? ответ: параллельны , т.к. (KLN)||(АВС).
в) CD и LM? ответ: скрещиваются, т.к.CD∈(CDM) , а LM пересекает эту плоскость в точке М , не лежащей на CD.
2. Как расположены плоскости:
а) ASB и DSC? ответ: пересекаются ,т.к. имеют общую точку
б) ABD и ASD? ответ: пересекаются ,т.к имеют общую прямую.