anyone know the answers to these questions

Explain how to use a formal proof

Explain how to use a truth table

thank you

Printable View

- Nov 17th 2008, 09:48 AMsrk619logic sets
anyone know the answers to these questions

Explain how to use a formal proof

Explain how to use a truth table

thank you - Nov 17th 2008, 10:04 AMclic-clac
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?