yourdomain.com

871024 1. B(y)->A(x)->C(z) Это как? Надо. (B(y)->A(x))->C(z) или B(y)->(A(x)->C(z)) Да, точно, первое 2. ∀n(B(k)^¬(A(f(m)))vB(f(y))^A(x)^C(z)vC(f(t))) замена неверно. Надо ∀n(B(n)^¬(A(fm(n)))vB(fy(n))^A(x)^C(z)vC(ft(n))) Да, я неправильно напечатал k это n. Только не понял, почему, например, f(m) н...

Пож-та проверьте правильность решения и исправьте, если будут ошибки, желательно поскорее. Приведение к ССФ: (∀x(B(x))->∀y(A(y)))^(∀y(B(y)->A(x)->C(z)))->∃z(C(z)) ¬((¬(∀x(B(x)))v∀y(A(y)))^(∀y(¬B(y)v¬A(x)->C(z))))v∃z(C(z)) (∀x(B(x))^∃y(¬A(y)))v(∃y(B(y)^A(x)^¬C(z)))v∃z(C(z)) (∀n(B(n))^∃m(¬A(m)))v(∃y(B...

870970 Где то так (Если ничего не напутал) Приведение к ПНФ 1) ¬∀x(A(x)v∃y(¬B(y)))v( ¬B(x)vA(x)) 2) ∃x[¬A(x)& ∀y(B(y))]v[¬B(x)vA(x)] 3) ∃x[¬A(x) & ∀yB(y)]v[¬B(z)vA(z)] 4) ∃x∀y [(¬A(x) & B(y))v(¬B(z)vA(z))] 5) ∃x∀y [(¬A(x)v¬B(z)vA(z)) & (B(y)v¬B(z)vA(z))] Приведение к ССФ 1) ∀y [(¬A(...

Есть еще один пример, посложнее. Его надо привести к ССФ (Сколемовская стандартная форма). Из алгоритма приведения к ССФ следует, что формулу сначала необходимо привести к ПНФ (Предваренная нормальная форма). Так вот, я c этим застрял немного, помогите пж-та. Исходный пример: ∀x(¬A(x)->∃y(¬B(y)))->(...

O, оно все таки доказывается ?!?!?!!!! (я просто давно не заходил)

Pavlovsky писал(а):Qr Bbpost
Так в том и проблема не могу я (может быть невозможно) этого доказать. Может в условии задачи ошибка?

He, условие правильное. Значит это формула не истинна, бывают же ведь такие случаи наверно

Упс... Или я чето не понимаю или... в оьщем в примере не хватает ->∀B(x).
∃x(A(x)vB(x)) & ∀x¬A(x)->∀B(x)

O, спасибо большое. Такими словами и так доходчиво нам не поясняли) He знаю даже чем вас отблагодарить, может репутацию повысить, да не знаю собственно можно ли делать это простым смертным

Pavlovsky писал(а):Qr Bbpost
Еще раз все проверил. Здесь все верно
∃x(A(x)vB(x)) & ∀x¬A(x) <=> (∃xA(x)v∃xB(x)) & ¬∃xA(x) <=> ∃xA(x)& ¬∃xA(x)v∃xB(x)& ¬∃xA(x) <=> ∃xB(x)& ¬∃xA(x) => ∃xB(x)

A отрицание в ¬∃xA(x) ставится и для квантора и для A(x) или только для квантора?

870818 Так я и написал A(x) c отрицанием символ (¬) aaa... понятно, извиняюсь ∃x(A(x)vB(x)) & ∀x¬A(x) и co скобками у тебя не все OK x(A(x))vB(x)) одна лишняя. Проверь пожалуйста все еще раз и напиши окончательный вариант задания. Ок. Окончательный вариант задания: ∃x(A(x)vB(x)) & ∀x¬A(x)->...