Definition
Premise–Conclusion Notation
Premise–conclusion notation writes an argument as:
The therefore sign
separates the premises from the intended conclusion. It presents the argument without establishing its validity: unlike or , it does not assert entailment or derivability.