implies Function

private elemental function implies(P, Q)

@brief The logical operator P => Q

@details P | Q | P => Q | ¬ P ∨ Q

---

T | T | T | T T | F | F | F F | T | T | T F | F | T | T

Arguments

Type	Intent	Optional	Attributes		Name
logical,	intent(in)			::	P
logical,	intent(in)			::	Q

Return Value logical

Contents