We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
If P implies Q and P is true, then Q is true. (P → Q), P ⊢ Q