Course Hero Logo
Question

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

Answer & Explanation

Unlock full access to Course Hero

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

Get answer

Our verified expert tutors typically answer within 15-30 minutes.

Recently Asked Questions
Explore recently asked questions from the same subject