Crowdly
Додати до Chrome
1 Комп`ютерна дискретна математика
Шукаєте відповіді та рішення тестів для 1 Комп`ютерна дискретна математика? Перегляньте нашу велику колекцію перевірених відповідей для 1 Комп`ютерна дискретна математика в dl.nure.ua.
Отримайте миттєвий доступ до точних відповідей та детальних пояснень для питань вашого курсу. Наша платформа, створена спільнотою, допомагає студентам досягати успіху!
У яких з нижчеперелічених формул функція G є логічним наслідком
Із нижченаведених формул логіки висловлень знайти ту, що є еквівалентною до заданої
Існують фігури різноманітних кольорів, що позначені наступним чином:
P - піраміда, S - шар, T - тор,
R - червоний, B - синій, G - зелений.
Яка з формул
характеризує висловлення: «Існує піраміда будь-якого кольору або синій шар; ще
існує червоний або зелений тор»?
Яка формула логіки висловлень є вірною для запису такого речення: «Cьогодні не неділя, та і логіка – не утіха», де:
P – «логіка – утіха»;
Q – «сьогодні неділя»;
Серед перелічених висловлень знайти тавтології
Визначте чи є формула ((P Q)
P)
Q тавтологією
Перевірити коректність логічних висловлювань формальними методами.
Якщо студент не прочитає підручник з математичної логіки, то він не здобуде необхідних йому знань. Але студент прочитав підручник логіки. Отже, він здобув необхідні знання.
А - студент прочитає підручник логіки
В - Студент здобуде необхідні знання
Оберіть формулу,
відповідну для логічного висловлювання
Перевірте чи є формула A логічним наслідком
Перевірте чи є формула G=P логічним наслідком формул