3. При метода резолюций определить, является ли формула S логическим следствием множества формул R. R = {∀(()⇒∀y(S(y)⇒¬(R(x,y)), ∃x(P(x)&(∀y(Q(x)⇒ R(x,y))};
S = {∀(Q() ⇒¬(S(x))}

odminsovet    1   27.02.2021 16:20    2