Provide a proof that demonstrates the following claims. Provide a...

Provide a proof that demonstrates the following claims.

Image transcription text

A) (AAB) - B V C) is a theorem B) [A - (B VC)] - [(-CAA) - B] is a theorem C) -(AA -(-BVA))

... Show more

Provide a proof that demonstrates the following claims.

Provide a proof that demonstrates the following claims.

Image transcription text

A) - (-AAB), A VB, and -A are provably inconsistent. B) -(A <> A) is provably inconsistent. C) A - - B and -(-A V -B) are provably inconsistent.

... Show more

Provide a proof that demonstrates the following claims.

And then...

Image transcription text

A) Suppose that I— Y. Does it follow that I— X —> Y ? Explain your answer. (Note that ""X and "Y" are variables here, so could stand for any sentence in TFL, including complex ones). B) Suppose that X and Y are both provably inconsistent, does it follow that X and Y are provably equivalent? Explain your answer. (Note that "X" and "Y" are variables here, so could stand for any sentence in TFL, including complex ones).

... Show more