Переведите с естественного языка на формальный и обратно (язык логики предикатов). Некоторые лекции невозможно понять. В задачах, где идет речь о количестве каких-то объектов

Установите вид дедуктивного умозаключения и его правильность, если это возможно. Запишите в виде формулы: Если тело является кристаллическим, то оно имеет определенную температуру плавления. Данное тело не является кристаллическим, поскольку не имеет

Составить таблицу истинности для следующего логического выражения: ((A → C) & (B → C)) → ((A ∨ B) → C)

Выяснить, применима ли машина Тьюринга, задаваемая программой П, к слову Р. достигнут конец программы, значит, последняя конфигурация является заключительной. Следовательно, машина T к