1. установить, является ли данное выражение формулой, а если да, то определить,
какие переменные в ней свободные, а какие связанные.
∀x a(x) v ∨ ∀y b(x, y).
2. даны предикаты: а(x) и b(x). записать словами предложенные формулы с и d.
а(x) = "x – газ"; b(x) = "x бесцветный". записать словами:
c = ¬∀x(a(x) ⇒b(x)); d = ∃x((a(x)& ¬b(
3. данное суждение записать в виде формулы логики предикатов. построить
отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания.
перевести на естественный язык:
некоторые студенты получают стипендию.
Другие вопросы по: Информатика
Знаешь правильный ответ?
1. установить, является ли данное выражение формулой, а если да, то определить,какие переменные в не...
Популярные вопросы