For example: Prove that (something)⊨(another thing)
Is it the same as "Prove that (something)⊢(another thing)"?
The single turnstile symbol always appears during sample proofs in my lecture notes. Yet my homework question suddenly got the double turnstile symbol, am I supposed to take it as a single turnstile symbol and do syntactical proving using natural deduction? Thanks!