P⇒Q

#implication #conditional statement #premise #logical form #argument structure #propositional logic