Consider the following:
If a |= c or b |= c, then a ∨ b |= c. Prove whether this statement is true or false.
My gut instinct is to compare truth tables, but I don't think a truth table is possible with double turnstiles. Can someone offer me a better way to tackle this problem. I'm more interested in advice and hints.