Проблемное доказательство от противного

Question

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

Я уже предпринял следующие шаги:

1. {¬ ∃} (∃i: 0≤i
2. {∃ Ликвидация} [Some K] 0≤k

Я должен доказать это:

¬(∀i : 0≤i < n : b[i]) ∧ (∀i : j≤i < n : b[i])
⇒
¬(∀i : 0≤i < j : b[i])

Я чувствую, что должен поставить false, получив ab [k] ∧ ¬b [k].Но я не могу понять, как это получить.

Answer 1

Вы можете использовать устранение подтекста:

¬ (∀i: 0≤i

≡ ¬ [¬ (∀i: 0≤i

≡ (∀i: 0≤i

≡ (∀i: 0≤i

Тогда вы можете разделить первое:

≡ [(∀i: 0≤i

≡ [(∀i: 0≤i

≡ [(∀i: 0≤i

≡ A ∨ ¬A

≡ Правда