Soundness and Validity
A rule is _____ \(\text{ IFF }\) an assignment of truth values that makes all antecedents true \(\text{ IMPLIES }\) the consequent is _____.
Home » Courses » Electrical Engineering and Computer Science » Mathematics for Computer Science » Unit 1: Proofs » 1.4 Logic & Propositions » 1.4.8 Soundness and Validity
A rule is _____ \(\text{ IFF }\) an assignment of truth values that makes all antecedents true \(\text{ IMPLIES }\) the consequent is _____.