Prove the following theorems: ∀po β ∀qo β=Eo(o β)(o β) po β qo β=·po β=qo β

Question

Accepted Answer

Step 1:u000AClarify the notation and the statement to be proven. The notation $u005Cforall p_{o u005Cbeta} u005C

Prove the following theorems: $\forall p_{o \beta} \forall q_{\mathrm{o} \beta}=E_{\mathrm{o}(\mathrm{o} \beta)(\mathrm{o} \beta)} p_{\mathrm{o} \beta} q_{\mathrm{o} \beta}=\cdot \overline{\overline{p_{\mathrm{o} \beta}}}=\overline{\overline{q_{\mathrm{o} \beta}}}$