Given the statements p: All terrorists are guilty, and q: All terrorists are criminals. Write in symbolic form: “All terrorists are not guilty but criminals”.
Worked solution (try it first)
"Not guilty" is the negation of p, written ∼p. "Criminals" is q.