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)
1. B v T
2. ~S
3. ~B
4. A v B
5. ~G
6. ~M v ~T
7. ~T
8. C ? D
9. ~B
10.~A
You might also like to view...
Answer the following statement(s) true (T) or false (F)
Any argument that is a substitution instance of affirming the consequent is a valid argument.
To discriminate in employment is to make an adverse decision against an employee or job applicant based solely on
his or her membership in a certain class.
a. True b. False
The correct argument form of "Since the Adkins diet is a diet rich in cholesterol and all diets rich in cholesterol are unhealthy, the Adkins diet is unhealthy" is
A) AllAareB c is an A c is a B B) AllAareB Some A are C Some B are C C) AllAareB No B are C No C are A
Identify whether the following claim is a tautology, true by definition, or contingent: All men are mortal
a. Definition b. Contingent c. Tautology