PHIL 250: Symbolic Logic