If implication

Implication as a if construction in d0sl is false only when the condition is true, and the then part is false. In other words, the implication if(A) then B is an abbreviated entry for the expression not(A) or B.

Use the `if` keyword, and the editor will provide you with a template for the `if` construct.

If example

if template

if example