---

Step * of Lemma stable__and

∀[P,Q:ℙ].  (Stable{P} ⇒ Stable{Q} ⇒ Stable{P ∧ Q})
BY
{ (Auto THEN RepeatFor 2 ((D 0 THENA Auto))) }

1
1. [P] : ℙ
2. [Q] : ℙ
3. Stable{P}
4. Stable{Q}
5. ¬¬(P ∧ Q)
⊢ P

2
1. [P] : ℙ
2. [Q] : ℙ
3. Stable{P}
4. Stable{Q}
5. ¬¬(P ∧ Q)
⊢ Q

---

Latex:

---

Latex:
\mforall{}[P,Q:\mBbbP{}].    (Stable\{P\}  {}\mRightarrow{}  Stable\{Q\}  {}\mRightarrow{}  Stable\{P  \mwedge{}  Q\})


By

---

Latex:
(Auto  THEN  RepeatFor  2  ((D  0  THENA  Auto)))

---

Home Index