First-Order Logic
	• Atomic sentences - more complex than propositions • Boolean functions (Ø,Ù,Ú,Þ,Û) - make compound sentences • Quantifiers (",$) - tell us first-order facts which correspond to sets of sentences • Parentheses