Help Wanted 2-place predicate symbolizations  

a: Homer	Bx: x is a boss	Fxy: x fires y
b:  Mr. Burns	Wx: x is a worker	Hxy: x hires y
	Lx: x is lazy

 

1. Homer is a lazy worker.
2. Mr. Burns is not a lazy boss.
3. Mr. Burns hires Homer.
4. Mr. Burns fires some worker.
5. All workers get fired by Mr. Burns.
6. Mr. Burns is a boss who hires some lazy workers.
7. Some bosses fire all lazy workers.
8. All bosses fire all lazy workers.
9. Some lazy bosses hire only lazy workers.
10. Some lazy bosses hire no lazy workers.
11. No worker fires any boss.
12. There is some worker who Mr. Burns has both hired and fired.
13. There are some lazy bosses.
14. There are some workers who are not lazy.
15. Mr. Burns fires any lazy worker.
16. Any lazy worker who Mr. Burns hires he also fires.
17. Neither all workers nor all bosses are lazy.
18. Not every worker is lazy.
19. No boss fires himself.
20. A worker’s being lazy is sufficient for him to be fired.