Asked by MinisterFlowerDonkey13

# 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))

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.

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).

Unlock full access to Course Hero

Explore over 16 million step-by-step answers from our library

Get answerOur verified expert tutors typically answer within 15-30 minutes.