Tag Archives: Logical Proof

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

Continue reading

Sentential Logic Practice: Assessing Some Proofs

1.) A&B, B > (D&E), derive B > E
(A&B)
B
(D&E)
E
B > E

2.) S > (Q&R), S, derive R
S
(Q&R)
R

Continue reading