LINGUIST 250: Symbolic Logic