Propositional Logic Functions

Exercise

Translate the following English sentences into our formal language using conjunction (the dot), negation (the tilde), or disjunction (the wedge). Use the suggested constants to stand for the atomic propositions.

1. Either Bob will mop or Tom will mop. (B = Bob will mop; T = Tom will mop)
   
2. It is not sunny today. (S = it is sunny today)
   
3. It is not the case that Bob is a burglar. (B = Bob is a burglar)
   
4. Harry is arriving either tonight or tomorrow night. (A = Harry is arriving tonight; B = Harry is arriving tomorrow night)
   
5. Gareth does not like his name. (G = Gareth likes his name)
   
6. Either it will not rain on Monday or it will not rain on Tuesday. (M = It will rain on Monday; T = It will rain on Tuesday)
   
7. Tom does not like cheesecake. (T = Tom likes cheesecake)
   
8.  Bob would like to have both a large cat and a small dog as a pet. (C = Bob would like to have a large cat as a pet; D = Bob would like to have a small dog as a pet)
   
9. Bob Saget is not actually very funny. (B = Bob Saget is very funny)
   
10. Albert Einstein did not believe in God. (A = Albert Einstein believed in God)