Crowdly
Add to Chrome
1 Комп`ютерна дискретна математика
Looking for 1 Комп`ютерна дискретна математика test answers and solutions? Browse our comprehensive collection of verified answers for 1 Комп`ютерна дискретна математика at dl.nure.ua.
Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!
У яких з нижчеперелічених формул функція G є логічним наслідком
Із нижченаведених формул логіки висловлень знайти ту, що є еквівалентною до заданої
Існують фігури різноманітних кольорів, що позначені наступним чином:
P - піраміда, S - шар, T - тор,
R - червоний, B - синій, G - зелений.
Яка з формул
характеризує висловлення: «Існує піраміда будь-якого кольору або синій шар; ще
існує червоний або зелений тор»?
Яка формула логіки висловлень є вірною для запису такого речення: «Cьогодні не неділя, та і логіка – не утіха», де:
P – «логіка – утіха»;
Q – «сьогодні неділя»;
Серед перелічених висловлень знайти тавтології
Визначте чи є формула ((P Q)
P)
Q тавтологією
Перевірити коректність логічних висловлювань формальними методами.
Якщо студент не прочитає підручник з математичної логіки, то він не здобуде необхідних йому знань. Але студент прочитав підручник логіки. Отже, він здобув необхідні знання.
А - студент прочитає підручник логіки
В - Студент здобуде необхідні знання
Оберіть формулу,
відповідну для логічного висловлювання
Перевірте чи є формула A логічним наслідком
Перевірте чи є формула G=P логічним наслідком формул