# logic sets

• November 17th 2008, 10:48 AM
srk619
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
• November 17th 2008, 11:04 AM
clic-clac
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?