. У нашому прикладі: "Невірно, що якщо вивчав С, то вивчав і В".
При запереченні импликативного судження: ( а Г b ) Гі (Не- а v b ).
І першому, і другому судженню одночасно відповідають наступні варіанти вирішення задачі:
) А і В вивчали логіку, С не вивчав.
В даному випадку висловлювання "вивчав А Г вивчав В" істинно, висловлювання "Невірно, що якщо вивчав С, то вивчав і В "не впливає, так як" вивчав З "помилково.
) А і В не вивчали логіку, С - вивчав.
У даному випадку "вивчав А" помилково і висловлювання "вивчав А Г вивчав В" не впливає, а заперечення "Невірно, що якщо вивчав С, то вивчав і В" виконується.
) А, В і С - ніхто не вивчав логіку.
У даному випадку підстави обох суджень "вивчав А" і "вивчав С" хибні і тому не впливають на рішення задачі.
Шосте завдання
1. Чи не доведено.
2. Чи не доведено.
. Чи не доведено.
. Доведено.
Небесні тіла - планети
Земля має велику масу
Значить земля - ​​планета.
. Доведено
Земля - ​​планета
Планети рухаються
Значить земля рухається.
Список літератури
1. Нікіфоров В., проф. Логіка: курс - конспект лекцій і контрольні завдання. - Рига, 2004 р.
2. Берков В.Ф. Логіка: Завдання і вправи, практикум: Навч. посібник. - М.: ТетраСістема, 1997 р.
. Бочаров В.А., Маркін В.І. Основа логіки. - М., 1997 р.
. Івін А.А. Логіка. - М.: Гардаріки, 1999 р.
. Вправи за логікою: Учеб. посібник/Башилов Т.А., Орлов Г.А., Фокіна Н.І. та ін; Під ред. Кирилова В.І. - М.: Вища. шк., 1990 г.
6.vuzlib.net/beta3/html/1/23002...
