Question

Symbolize and prove this logic problem.
If Jack is taller than Bob, then Mary is shorter than Gene. Mary is not shorter than Gene. If Jack and Bill are the same height, then Jack is taller than Bob. Therefore Jack and Bill are not the same height.

Answer 1

Amistre, I need your help for this 8th grade problem.

Answer 2

Or ishaan

Answer 3

(jack > bob) -> (mary < gene).
? F

T T = T
T F = F <-- jack <= bob
F T = T
F F = T


(jack = bill) -> (jack > bob)
F ? = T

Answer 4

thats the best i can make of the directions :)

Answer 5

ishaan might be better at making it look more formal ;)

Answer 6

Better than me! Thanks

Answer 7

Okay, I was getting the question wrong first.
The deal here is J>Bob if Mary< Gene but then Mary <Gene is not possible so that rules out the possibility that J>B. Now J=Bill if J>Bob but we already know that J>Bob is not possible. Hence, Jack and Bill can't be of same height.