Answer
See the explanation
Work Step by Step
Given Facts (States):
1. John is a basketball player.
2. Basketball players are not short.
3. John is either short or tall.
We have:
From fact 1 and 2:
John is a basketball player.
Basketball players are not short.
⇒ John is not short. (Modus Ponens)
From fact 3:
John is either short or tall.
We now know John is not short.
⇒ John must be tall. (Disjunctive Syllogism)
So John is tall, derived through logical inference using:
Modus Ponens
Disjunctive Syllogism
