For every student x, if x studies discrete mathematics, then x is good at logic. Tarik studies discrete mathematics. Therefore, Tarik is good at logic.
a) True
b) False