Completeness Theorem
s
Sentential Logic
(See homework at bottom of page)





Finiteness Properties



Actually (1) and (2) are equivalent; i.e., compactness is equivalent to the finiteness property (1) of satisfiability.
For homework prove this equivalence, and without assuming any of the completeness /soundness results in the chart.