A logical argument is a sequence of propositions, with the last being the conclusion and the others being premises. 1
It can be written as the following:
The conclusion can also be marked with a
Properties
- necessarily truth-preserving (NTP) and validity (NTP just by form)
- soundness
Related
Footnotes
-
Smith, Nicholas J.J.. Logic : The Laws of Truth, Princeton University Press, 2012. Section 1.3 ↩