Logical

The logical then
What is the logical symbol for then?What is equivalent to P → Q?What does ⊢ mean in logic?What are the 5 logical connectives? What is the logical sy...