# 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