---

Step * 1 2 of Lemma oal_bpos_wf

.....falsecase..... 
1. s : LOSet
2. g : AbDMon
3. ps : |oal(s;g)|
4. ¬¬(ps = 00 ∈ |oal(s;g)|)
⊢ ff ∈ 𝔹
BY
{ Auto }

---

Latex:

---

Latex:
.....falsecase..... 
1.  s  :  LOSet
2.  g  :  AbDMon
3.  ps  :  |oal(s;g)|
4.  \mneg{}\mneg{}(ps  =  00)
\mvdash{}  ff  \mmember{}  \mBbbB{}


By

---

Latex:
Auto

---

Home Index