Skip to main content
LibreTexts - Ukrayinska

4: Логіка

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

    • 4.1: Логічна логіка
      Ми часто можемо класифікувати предмети як належать до наборів. Якщо ви пішли в бібліотеку шукати книгу, і вони попросили вас висловити свій пошук, використовуючи спілки, перехрестя та доповнення наборів, це було б трохи дивно. Замість цього ми зазвичай використовуємо такі слова, як «і», «або» і «не», щоб з'єднати наші ключові слова разом, щоб сформувати пошук. Ці слова, які складають основу булевої логіки, безпосередньо пов'язані з нашими множинними операціями.
    • 4.2: Умови
    • 4.3: Таблиці істинності
      Оскільки складні логічні заяви можуть отримати складно думати про, ми можемо створити таблицю істинності, щоб відстежувати те, що значення істини для простих тверджень роблять складне твердження істинним і хибним. Таблиця істинності показує, що таке результуюча істинність складного твердження для всіх можливих значень істини для простих тверджень.
    • 4.4: Аргументи
      Логічним аргументом є твердження про те, що сукупність приміщень підтверджує висновок. Існує два загальних типи аргументів: індуктивні і дедуктивні аргументи. Індуктивний аргумент використовує сукупність конкретних прикладів як свої передумови і використовує їх, щоб запропонувати загальний висновок. Дедуктивний аргумент використовує сукупність загальних тверджень як свої передумови і використовує їх, щоб запропонувати конкретну ситуацію як висновок.
    • 4.5: Логічні помилки спільною мовою
      У попередньому обговоренні ми бачили, що логічні аргументи можуть бути недійсними, коли приміщення не відповідають дійсності, коли приміщення недостатньо, щоб гарантувати висновок, або коли в логіці є недійсні ланцюжки. Існує ряд інших способів, за допомогою яких аргументи можуть бути недійсними, вибірка яких наведена тут.
    • 4.6: Вправи
      Ця сторінка містить 17 завдань вправ, пов'язаних з матеріалом з глави 4.

    Мініатюра: Логіка - це мистецтво об'єднання менших аргументів (приміщень) у більший аргумент, не на відміну від головоломки. (Ліцензія Pixabay; ПІРО через Pixabay)