anyone know the answers to these questions
Explain how to use a formal proof
Explain how to use a truth table
thank you
One way to show that a set of statement is inconsistent with formal proof is to prove $\displaystyle (P\wedge \neg P)$.
With a truth table, that would be to show that you can't satisfy every statement at the same time.
But of what kind of language are you talking about here?