Interested in a verified certificate, a professional certificate, or transfer credit and accreditation?
Propositional Logic. Entailment. Inference. Model Checking. Resolution. First Order Logic.