Контрольна робота з логіки, Детальна інформація
Контрольна робота з логіки
3 х і і х
4 х х х і
де
і – істинне,
х – хибне,
V – «або» (зв’язка диз’юнкції),
( - «Якщо... , то...» (зв’язка імплікації).
З таблиці істинності випливає, що вираз буде істинним практично при всіх значеннях змінних А і В (1, 2, 4-й рядки таблиці), за винятком одного (3 рядок таблиці), коли А – хибне, а В – істинне.
Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.
Стверджувати або заперечувати щось можна про один предмет, про частину предметів і про всі предмети класу. У відповідності з цим категоричні судження поділяють за кількістю і якістю. Загально-заперечувальним називається судження, в якому щось заперечується про цілий клас предметів.
Наприклад: “Ніхто з студентів немає права ігнорувати екзаменаційну сесію”.
Схематично дане судження можна зобразити так: “Всі S не є Р”. (S – P)
Побудуйте пряме доведення тези С, використовуючи такі аргументи:
А ( B, B v C, A \x0668 C
Прямим називається доведення, в якому при обґрунтуванні тези не користуються суперечливими тезі припущеннями.
Припустимо, що А – істинне, тоді
А ( B, А звідси В v C, B
В C
Тезу С доведено.
PAGE 6
С
В
А
4 х х х і
де
і – істинне,
х – хибне,
V – «або» (зв’язка диз’юнкції),
( - «Якщо... , то...» (зв’язка імплікації).
З таблиці істинності випливає, що вираз буде істинним практично при всіх значеннях змінних А і В (1, 2, 4-й рядки таблиці), за винятком одного (3 рядок таблиці), коли А – хибне, а В – істинне.
Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.
Стверджувати або заперечувати щось можна про один предмет, про частину предметів і про всі предмети класу. У відповідності з цим категоричні судження поділяють за кількістю і якістю. Загально-заперечувальним називається судження, в якому щось заперечується про цілий клас предметів.
Наприклад: “Ніхто з студентів немає права ігнорувати екзаменаційну сесію”.
Схематично дане судження можна зобразити так: “Всі S не є Р”. (S – P)
Побудуйте пряме доведення тези С, використовуючи такі аргументи:
А ( B, B v C, A \x0668 C
Прямим називається доведення, в якому при обґрунтуванні тези не користуються суперечливими тезі припущеннями.
Припустимо, що А – істинне, тоді
А ( B, А звідси В v C, B
В C
Тезу С доведено.
PAGE 6
С
В
А
The online video editor trusted by teams to make professional video in
minutes
© Referats, Inc · All rights reserved 2021