Tag Archives: Abduction

Sentential Logic Practice: Symbolizing Natural Sentences

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

Continue reading