Related Questions

A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.