1.4 Logic & Propositions

Soundness and Validity


A rule is _____ \(\text{ IFF }\) an assignment of truth values that makes all antecedents true \(\text{ IMPLIES }\) the consequent is _____.

Exercise 1