I have the following question: "Explain the concept of the soundness of a rule of a proof system with respect to the truth tables"
Would it be correct to state the following:
"A rule of a proof system is sound with respect to the truth tables iff the conditions of the rules (requirements of the rule) ensure that the final formula will behave according to it's intended truth table."?
This is a question in a practice exam, and I can not find a specific mentioning so far, by scanning Google and Proof Wiki.
What would the correct answer be?