If every printer is busy then there is a job in the queue.
where B(p) = Printer p is busy and Q(j) = Print job j is queued.
When it's translated to symbol, we'll have (∀pB(p)) → (∃jQ(j)).
I'm trying to translate this statement to both English and symbol forms for Converse, Contrapositive and...