1. ## logic sets

anyone know the answers to these questions

Explain how to use a formal proof

Explain how to use a truth table

thank you

2. One way to show that a set of statement is inconsistent with formal proof is to prove $(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?