Спирина, М.С. Дискретная математика

а Р и с . 5 .10 . У с л о в н ы е с и л л о г и з м ы : а — достоверны е; 6 — сложные логического следования. Заключение не может быть ложным при истинных посылках и правильном ведении вывода. 3. Запись посылок и заключения в виде сложного высказывани которое с помощью формул алгебры логики упрощается до ми­ нимального и затем устанавливается его истинность или ложность. Итак, умозаключение считается верным, правильным, если из истинных посылок оно не приводит к ложным заключениям. Задача 24. Необходимо проверить, правильно ли сделан вывод в умозаключении: «Все студенты факультета программирования добросовестны в учебе или талантливы. Если они добросовестны, то систематически готовятся к занятиям. Поэтому, если студенты- программисты не будут готовиться к занятиям, то они должны быть талантливы». 252