Sentential Logic Practice: Symbolizing More Natural Sentences

1.) Natural sentence: Either I will eat ham or I will eat turkey.
Library: H = I will eat ham, T = I will eat turkey
Symbolization: H v T

2.) Natural sentence: Yesterday, we danced, played, and ate so much!
Library:  D = we danced so much, P = we played so much, A = we ate so much
Symbolization: [D & (P&A)]

3.) Natural sentence: Harrison or John will win Prom King
Library: H = Harrison will win Prom King, J = John will win Prom King
Symbolization: H v J

4.) Natural sentence: Tell me a story, a myth, or a lie.
Library: S = tell me a story, M = tell me a myth, L = tell me a lie
Symbolization(s): S v (M v L), (S v M) v L

5.) Natural sentence: If you give me a hamburger today, I will gladly pay you on Tuesday.
Library: G = you give me a hamburger today, T = I will gladly pay you on Tuesday
Symbolization: G > T

6.) Natural sentence: If and only if Hank achieves a perfect score, then he will get a full scholarship to Brown University.
Library: P = Hank achieves a perfect score, B = Hank gets a full scholarship to Brown University
Symbolization: P ↔ B


7.) Natural sentence: Iff Nacho Libre wins the wrestling match, the orphanage will be saved.
Library: N = Nacho Libre wins the wrestling match, S = the orphanage will be saved 
Symbolization: N S

8.) Natural sentence: If the Rockets lose and the Hornets win, and if the Heat win and the Warriors lose, then the Mavericks will be the undeniable NBA champions. 
Library: R = the Rockets lose, H = the Hornets win, W = the Heat win, L = the Warriors lose, C = the Mavericks are the undeniable NBA champions
Symbolization: [(R & H) & (W & L)] → C

9.) Natural sentence: The world will end, but only if the world economy collapses, the housing market bursts, and zombies return to life.
Library: E = the world will end, C = the world economy collapses, M = the housing market bursts, Z = zombies return to life
Symbolization(s): [C & (M & Z)] → E, [(C & M) & Z] → E

Tagged: , , ,

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

<span>%d</span> bloggers like this: