1.) Natural sentence: Either Joe Biden or Bernie Sanders will get the Democratic Presidential Nomination.
Library: B = Biden will get the Democratic Presidential Nomination
S = Sanders will get the Democratic Presidential Nomination
Symbolization: B∥S

2.) Natural sentence: If you take proper precautions, then you can help slow the spread of the novel coronavirus.
Library: T = you take proper precautions
S = you can help slow the spread of the novel coronavirus
Symbolization: T→S

3.) Natural sentence: Eat your vegetables and your meat before you have dessert.
Library: V = eat your vegetables
M = eat your meat
D = you have dessert
Symbolization: (V&M)→D; (V&M)≡D*
*material bi-conditional/material equivalence, stronger logical symbolization of the statement

4.) Natural sentence: Currently, Goodwill is requesting hammocks, jeans, and thermal frisbees.
Library: H = Goodwill is requesting hammocks
J = Goodwill is requesting jeans
T = Goodwill is requesting thermal frisbees
Symbolization: H&(J&T)

5.) Natural sentence: Iff Tucker Carlson lied about calling COVID-19 a ‘hoax’ on-air, then he should be publicly chastised.
Library: L = Tucker Carlson lied about calling COVID-19 a ‘hoax’ on-air
C = Tucker Carlson should be publicly chastised
Symbolization: L≡C

6.) Natural sentence: For Halloween, I will either dress up as Jason Voorhees, Freddy Kreuger, or Michael Myers.
Library: J = I will dress up as Jason Voorhees
F = I will dress up as Freddy Kreuger
M = I will dress up as Michael Myers
Symbolization: J∥(F∥M)

7.) Natural sentence: RV and Flubber are not great Robin Williams films but Mrs. Doubtfire and Jumanji are.
Library: R = RV is a great Robin Williams film
F = Flubber is a great Robin Williams film
M = Mrs. Doubtfire is a great Robin Williams film
J = Jumanji is a great Robin Williams film
Symbolization: [(~R & ~F) & (M&J)]

8.) Natural sentence: Neither shirts nor belts are required to shop here.
Library: S = Shirts are required to shop here
B = Belts are required to shop here
Symbolization: ~(S∥B)

9.) Natural sentence: Either Jim or Dwight will become the new Manager of Dunder-Mifflin Scranton.
Library: J = Jim will become the new Manager of Dunder-Mifflin Scranton
D = Dwight will become the new Manager of Dunder-Mifflin Scranton
Symbolization: J∥D

10.) Natural sentence: If Mom goes to the grocery store and Dad takes the car into the shop, then we can go to the park and pick-up ice cream.
Library: G = Mom goes to the grocery store
T = Dad takes the car into the shop
P = We go to the park
I = We pick-up ice cream
Symbolization: (G&T)→(P&I); (G&T)≡(P&I)*
*material bi-conditional/material equivalence, stronger logical symbolization of the statement

Tagged: Abduction, Deduction, Formal Logic, Induction, Informal Logic, Logic, Proofs, Sentential Logic