Neural Dump
natural number
implication (logic)
In logic, a conditional statement is a statement containing an implication.