2.8: Резюме
- Page ID
- 65209
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Резюме
- «Двоколонковий доказ» - це інструмент, який ми використовуємо для вивчення методів написання доказів.
- У лівій колонці міститься послідовність тверджень.
- Правий стовпець містить обґрунтування для кожного твердження.
- Кожен рядок доказу пронумеровано (в лівому полі) для зручності довідки.
- Темна горизонтальна лінія малюється для позначення кінця гіпотез.
- Темна горизонтальна лінія малюється уздовж лівого краю доказу, і кожного підкачки.
- Крім основних теорем, у нас є два правила, які використовують піддокази:
- \(\Rightarrow\)-введення
- доказ протиріччям
- Докази часто використовують Закон виключеного середнього, Правила заперечення та контрапозитиви.
- Твердження, що знаходяться в піддоказ, не можуть бути використані як обгрунтування для рядків, які не знаходяться в тому самому піддоказ.
- Написання доказів вимагає практики, але є деякі стратегії, які можуть допомогти.
- Докази також можуть бути написані в англійській прозі, використовуючи пропозиції і абзаци.
- Щоб показати, що відрахування недійсний, знайдіть контрприклад.