Discrete Math: Rules of Inference
Discrete Mathematics. Predicates - the universal quantifier 11/28/2015 Suppose P(x) is a predicate on some universe of discourse. Ex. B(x) = “x is carrying.
CS203 Discrete Mathematical Structures Logic (2).