Skip to main content
LibreTexts - Ukrayinska

32.1: Формальна логіка

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

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

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