Show that 𝑝 ⇒ ¬𝑞, 𝑞 ⊢ ¬𝑝 is valid using formal proof

Answer 1

what is the meaning of ⊢ ??