== Symbols == 

 I can't figure out why the author of this paragraph (copied and pasted below) changed alphabets.  If there is some meaning conveyed by switching from the Latin P and Q to the Greek φ and ψ, then that should be clarified.  If not, I think it would be better to select one set of symbols and stick with it. 

 This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q. In an implication, if φ implies ψ then φ is called the antecedent and ψ is called the consequent.[1] 

 (  )