Final answer:
The false statement is ((x→y)^x)→y.
Step-by-step explanation:
The correct answer is c. ((x→y)^x)→y.
To determine which option is false, we can evaluate each of them:
- a. (x→(x∨y))
- This statement is true because if x is true, then x∨y is also true, and the implication holds.
- b. ((∼x→y)^(∼x^∼y))→y
- This statement is true. If (∼x→y)^(∼x^∼y) is true, then ∼x→y is true, and since y is the conclusion, the statement holds.
- c. ((x→y)^x)→y
- This statement is false. If x is true and x→y is true, it does not necessarily mean that y is true. The conclusion is false, so the statement is false.
- d. ((x∨y)→(∼x∨∼y))
- This statement is true. If x∨y is true, then (∼x∨∼y) is also true, and the implication holds.
Therefore, option c is the false statement. ((x→y)^x)→y is not always true.