There is a type of argument – sometimes known by the Latin modus ponens – that has this form:

So, for example:

This is a form of valid deductive argument (see Chapter 4) that includes what is known as a ‘conditional statement’ or ‘conditional premise’ – if X is the case, then Y will also be the case.