Skip to main content
LibreTexts - Ukrayinska

11.5: Огляд основних моментів

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

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

    У цій главі було введено поняття логічної форми речення та поняття логічної еквівалентності між реченнями. Аргументи мають логічні форми, складені з форм їх складових пропозицій. Логічна форма, в свою чергу, є ключем до оцінки того, чи є дедуктивний аргумент дійсним. Після того, як ви визначили логічну форму дедуктивного аргументу, найскладніша частина оцінки дійсності або недійсності закінчена, тому що за допомогою форми ви можете помітити логічні аналогії, і ви можете використовувати метод таблиць істинності, щоб визначити, чи є аргумент дійсним, тобто не має контрприкладу. У цьому розділі ми зосередилися на логічних формах в Sentential Logic: форми, що включають і, або, ні, і якщо-то, які з'єднують менші речення, утворюючи більші речення. Ми також розглянули три терміни, які можуть викликати логічну плутанину: тільки, тільки якщо і якщо. Глава закінчилася екскурсом в 3-значну логіку, а потім в історію області логіки. Тепер ви розробили арсенал потужних логічних інструментів для використання в атакуючих деяких випадках складних міркувань. На жаль, не існує єдиного інструменту, який би працював для всіляких міркувань.