or-entailment

{Pi, ..., Pn} v=> {Qi, ..., Qn}

True iff for all i, j Pi ? Qj

Previous slide

Next slide

Back to first slide

View graphic version