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