Skip to main content
LibreTexts - Ukrayinska

2: Дві колонки Докази

  1. Last updated
  2. Save as PDF
  • Page ID
    65196

    • \( \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}}\)

    Жодному способу мислення чи занять, як би стародавнім, не можна довіряти без доказів.
    Те, що всі перегукуються або мовчки проходить повз як істинне сьогодні,
    може виявитися неправдою завтра, просто димом думки.

    Генрі Девід Торо (1817—1862)), американський письменник Уолден

    Мета доказу полягає в тому, щоб показати, що відрахування є дійсним, і це робить, складаючи ряд простіших відрахувань, які вже відомі як дійсні. Зрештою, наша мета полягає в тому, щоб навчити вас писати чіткі та правильні докази англійською мовою претензій, викладених англійською мовою. Але ми почнемо з більш простої ситуації доказів, написаних мовою Propositional Logic. Це має ряд переваг:

    • дозволяє писати твердження більш лаконічно, тому що цілі англійські фрази скорочуються до однієї літери,
    • це дозволяє уникнути труднощів, викликаних тим, що пропозиції, написані англійською мовою, можуть бути неоднозначними, і
    • він відображає логічну структуру доказу таким чином, що полегшує вирішення того, чи є кожен крок у доказі дійсним.

    Після того, як ви ознайомитеся з доказами в цій простішій обстановці, ви будете використовувати ті ж принципи для написання доказів англійською мовою.