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

б Окончание рис. 5.10 Решение. Введем обозначения: А: студенты-программисты талантливы; В: студенты-программисты добросовестно относятся к учебе; С: они систематически готовятся к занятиям. Тогда данное умозаключение примет вид формулы ({A v В)(В -> С)) => (С -> А) или ((>lv или ((A v В)(В -> С)) =* (С -> А). Составим таблицу истинности для проверки справедливости этого умозаключения (табл. 5.7). Строки последнего столбца свидетельствуют о том, что умо­ заключение истинно при любых значениях пропозиционных п е ­ ременных А, В, С. Формулу можно было упростить, используя 253