Exercise C

Using the symbolization key given, symbolize each English sentence in TFL.

• $E_{1}$:

  Ava is an electrician

• $E_{2}$:

  Harrison is an electrician

• $F_{1}$:

  Ava is a firefighter

• $F_{2}$:

  Harrison is a firefighter

• $S_{1}$:

  Ava is satisfied with her career

• $S_{2}$:

  Harrison is satisfied with his career

1. Ava and Harrison are both electricians.

2. If Ava is a firefighter, then she is satisfied with her career.

3. Ava is a firefighter, unless she is an electrician.

4. Harrison is an unsatisfied electrician.

5. Neither Ava nor Harrison is an electrician.

6. Both Ava and Harrison are electricians, but neither of them find it satisfying.

7. Harrison is satisfied only if he is a firefighter.

8. If Ava is not an electrician, then neither is Harrison, but if she is, then he is too.

9. Ava is satisfied with her career if and only if Harrison is not satisfied with his.

10. If Harrison is both an electrician and a firefighter, then he must be satisfied with his work.

11. It cannot be that Harrison is both an electrician and a firefighter.

12. Harrison and Ava are both firefighters if and only if neither of them is an electrician.