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. данное суждение записать в виде формулы логики предикатов. построить

отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания.

перевести на естественный язык:

некоторые студенты получают стипендию.

tyutyunnik2002    1   03.10.2019 19:33    55