1
$\begingroup$

I am looking for the official name for a proof method, The method consists of proving the INconsistency of a theory. This was done using trees. We call it classic-elimination method but I don't know if it is the "official" name.

Does someone know?

$\endgroup$
1
$\begingroup$

I am guessing you are looking for Truth Trees or Semantic Tableaux

(same method ... different names)

Here is a nice website that creates the trees automatically ... unfortunately it does not have identity.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.