translate the sentence into symbols using propositional logic If Susan goes to the movies, but not Josh, then I’m going to the movies with Kevin. Symbols that may be used are: ->, &, v (or), - (not) Dictionary: I – I am going to the movies. K – Kevin is going to the movies S – Susan is going to the movies. J – Josh is going to the movies. Solution (S & -J) -> (I & K) On the left side, we have S (Susan goes to the movies) and not J (Josh going to the movies) implies I (I go to the movies) and K (Kevin goes to the movies)..