Completeness Theorems
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.