I have been trying to do this logic question. Attached below is my answer. However, I can not use trans, and am instead suppose to use some other proof equivalent to it. What should I do?

Q: Let A, B be statements. Are (A V B) V ¬(A ^¬B) and AV B logically equivalent?

A: As you have asked more than one different questions, we shall answer first Que only as per the…

Q: Which of the following is the negation for "I will not eat green eggs or I will not eat ham."?…

A: Negation of "not A or not B" is given by "A and B"

Q: 2. State the converse of the statement "\emph{lf x ≤ y and y ≤z, then x ≤ z.}".

A: if  P and Q are two statement such that  P→Q then converse of statement is Q→P

Q: Show that the common fallacy (p→q)∧¬p⇒¬q is not a law of logic.

A: The given fallacy is p→q∧¬p⇒¬q. The above statement can be interpreted as follows. The conjunction…

Q: Does anyone know what a conditional universal statement means? I'm new to discrete math and want to…

A: To find- What a Conditional Universal Statement means?

Q: Please provide a clear new answer for Descrete Mathematics. Thank you.   Compare proof by…

A: Proof by contradiction:- This is actually done by assuming the proposition to be false which is…

Q: p→(q⟶r) is logically equivalent to  (?⟶?)⟶?.

A: A proposition of the form “if p then q” or “p implies q”, represented “p → q” is called a…

Q: Write the First Order Logic (FOL) of the following sentences: 1) All students have studied…

A:

Q: Premise: If you have lipstick on your collar, then you are cheating on me. Premise: If you are…

A: Given,      Premise: If you have lipstick on your collar, then you are cheating on me      Premise:…

Q: 4. Determine m E Z with 0 <m <3 such that m = 12103 mod 4.

A: The congruence equation : m≡12103 mod 4, m∈ℤ with 0≤m≤3.

Q: Part A: What is deductive reasoning?Part B: Classify this proof as valid or invalid.All robots are…

A: Deductive reasoning, also known as deductive logic, is a process of reasoning from one or more…

Q: 3. Give the contrapositive and converse of the following statements in English. (Hint: it might be…

A: The given statements are in logical form:(a) (b) (c) Playing hockeySore the next day

Q: 8. Given the statements "People who are red/green color blind cannot distinguish between green and…

A:

Q: Use the laws of logic to show that ((s V ¬r V¬q) ^ (¬s V r V s) ^ (¬r v¬s V¬q)) = ¬(q^r).

A:

Q: 1. Nothing stupid is difficult. Everything you can do is stupid; anything that isn't difficult, I…

A: Let us denote the stupid things by Sx. Let us denote the difficult things by Dx. 1) The first…

Q: Select

A:

Q: Below are three logical arguments, but only one of them is a valid argument. Which one is valid, and…

A: (a) Consider the first argument. Given: Premise 1: All low-risk stocks are good investments. Premise…

Q: Show that the two sentences below are logically equivalent. Express each pair of sentences using a…

A: Given Data: If x is a rational number and y is an irrational number then x-y is an irrational…

Q: Prove that p → q and its contrapositive logically equivalent. are

A:

Q: Is the argument below valid? Is it sound? (Briefly explain your answers.)Premises: All flowers need…

A: The given argument sound correct but it is not valid.

Q: Open with 3. All of the employees at the AcmeSoft company are either programmers or salespeople. The…

A:

Q: Mathematical Logic. First-order or predicate logic. Exercises on structures and models. 1. Prove…

A: To prove the given statement, we need to show that a model mathfrak{M} satisfies the formula…

Q: 1.Rewrite the statement in if-then form in two ways, one of which is the contrapositive of the…

A:

Q: (1.2) The collection of functions from R to R {f, f2,** , fn} is uniformly continuous on compacta if…

A: In the give question we have to write the statement (1.2) by uing the mathematicalnotation and we…