kdrag.theories.logic.intuitionistic.Or

kdrag.theories.logic.intuitionistic.Or(*ps: DatatypeRef) → DatatypeRef

w |= (A / B)[e] if and only if w |= A[e] or w |= B[e]

>>> p, q = smt.Consts("p q", Prop)
>>> Or(p,q)
Prop(Lambda(w, Or(val(p)[w], val(q)[w])))