Nuprl Lemma : dl-valid-box-test-implies21

∀phi,psi:Prop. |= (psi ⇒ phi) ⇒ [(psi)?] phi
Error : references

Latex:
\mforall{}phi,psi:Prop. |= (psi {}\mRightarrow{} phi) {}\mRightarrow{} [(psi)?] phi Date html generated: 2020_05_20-AM-09_00_58 Last ObjectModification: 2019_03_26-AM-11_28_48 Theory : dynamic!logic Home Index