So, I'm stuyding up on discrete math (http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/) and came across the following explanation of what it means for an inference rule to be sound:
A key requirement of an inference rule is that it must be sound: any assignment of truth values that makes all the antecedents true must also make the consequent true. So if we start off with true axioms and apply sound inference rules, everything we prove will also be true.
As an expample modus ponens is given, along with its truth table. And sure enough: when P and p=>q have a true valuation, q has a true valuation as well.
A bit later I ran into the converse implication, which should not hold: Not(P) => Not(Q) : P => Q. And sure enough, the truth tables for these are different, so the must not be equivalent.
But when I'm taking a second look at the table, at some valuation the antecendent, Not(P) => Not(Q), is true, but in that same line in the table, the consequent, P => Q holds true as well.
So, clearly, I'm not quite understanding this rule about soundness. Could anyone explain a bit further?