Logic in general
	n Logics are formal languages for representing information such that conclusions can be drawn n Syntax defines the sentences in the language n Semantics define the "meaning" of sentences; n i.e., define truth of a sentence in a world n E.g., the language of arithmetic n x+2 ≥ y is a sentence; x2+y > {} is not a sentence n x+2 ≥ y is true iff the number x+2 is no less than the number y n x+2 ≥ y is true in a world where x = 7, y = 1 n x+2 ≥ y is false in a world where x = 0, y = 6