论证形式 11 An argument form in propositional logic is a sequence of compound propositions involving propositional variables.An argument form is valid no matter which particular propositions are substituted for the propositional variables in its premises,the conclusion is true if the premises are all true. p→q p ∴.q论证形式  An argument form in propositional logic is a sequence of compound propositions involving propositional variables. An argument form is valid no matter which particular propositions are substituted for the propositional variables in its premises, the conclusion is true if the premises are all true. 11 𝑝 → 𝑞 𝑝 ∴ 𝑞