New answers tagged propositional-logic
1
The sentence says that a male "is smart (S) is he is tall (S)", that gives $T \Rightarrow S$, but it also says "but otherwise is not smart", that gives $\neg T \Rightarrow \neg S$, which is equivalent to $S \Rightarrow T$ by contraposition. Thus together this gives $S \iff T$ under the condition $M$. Therefore (b) is correct.
Top 50 recent answers are included
