The question is a mouthful but it comes from an exercise in which I was asked to explain why modus ponens is sound with respect to the semantics expressed by the truth-table.
Many things are not clear, what does it refer by 'semantics' of a truth table? Sound is when all the rules in the system are true, how can I get the rules from a truth table?
Is it OK if I place a column in the truth table that represents P ∧ (P → Q) to see that every time this is true then Q is also true?
How would I do this if I had to show implication introduction is sound with a truth table?