Does this help:

. . . . In addition, we can use System P to show propositions to be truth-functional tautologies, contradictions or contingencies; to be truth-functionally consistent or inconsistent; and to be truth functionally equivalent or non-equivalent.. . . ? here

The above is from a cached google page


grrrrrr having trouble getting the URL to post correctely


<a href="http://www.google.com/search?q=cache:dVSvLJahkaMC:www.philosophy.ubc.ca/faculty/fleming/ch6.htm+functionally+consistent&hl=en" target="_blank">here</a>