Show that 𝑝 β‡’ Β¬π‘ž, π‘ž ⊒ ¬𝑝 is valid using formal proof

what is the meaning of ⊒ ??