Editing Propositional calculus (section)

=== Example argument ===
The following is an example of an argument within the scope of propositional logic:

:'''Premise 1:''' ''If'' it's raining, ''then'' it's cloudy.
:'''Premise 2:''' It's raining.
:'''Conclusion:''' It's cloudy.

The [[logical form]] of this argument is known as [[modus ponens]],<ref name=":13" /> which is a [[Classical logic|classically]] [[Validity (logic)|valid]] form.<ref name="ms14"/> So, in classical logic, the argument is ''valid'', although it may or may not be ''[[Soundness|sound]]'', depending on the [[Meteorology|meteorological]] facts in a given context. This '''example argument''' will be reused when explaining {{section link||Formalization}}.