kdrag.theories.logic.intuitionistic.And

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

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

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