A Deduction Problem #1

If Barcelona wins the championship, fans riot. If Barcelona doesn’t win the championship, fans will not go to work. The fans either go to work or cry out of depression. The fans do not riot.
Are the fans crying out of depression?
Solution
1. If Barcelona wins the championship, fans riot.

> Fans do not riot.
> Therefore, Barcelona do not win the championship.

2. If Barcelona does not win the championship, fans do not go to work.

> Barcelona does not win the championship.
> Therefore, fans do not go to work.

3. Fans either go to work or cry out of depression.

> Fans do not go to work.
> Therefore, fans are crying out of depression.

Solution using Symbolic Logic
Barcelona wins = w
Fans riot = r
Fans go to work = g
Fans cry out of depression = c
1. w > r
2. ~ w > ~ g
3. g ∨ c
4. ~ r
5. ~ w (1,4 MT)
6. ~ g (2,5 HS)
7. c (3,6 DS) (Conclusion)
Therefore, fans will cry out of depression.

Source of the problem statement
A fantastic Youtube video playlist called “Logic 101 MOOC” by William Spaniel.
Link> Logic 101 MOOC

Leave a comment