<mtext>Dividend</mtext> = &#x2212;<!-- − --> 11 , <mtext>Divisor</mtext> =

oleifere45

oleifere45

Answered question

2022-06-16

Dividend = 11 , Divisor = 3 , Quotient = 4 , Remainder = 1 where A and B are sets.
The main problem was to either prove or disprove the statement.
I do not know how to approach the proof.
If I fix A, then if B ( ( B = A ) ( B A ) ) is false, any implication from it always true so we can ignore the cases when it is false. Because P Q is always true when P is false.
Now, about the case when for a fix A, B ( ( B = A ) ( B A ) ) is true. What should it imply? Because when P is true and Q is false P Q is false.
I am stuck here and I don't even know if this is the way to solve. Please show a proper approach.

Answer & Explanation

Harold Cantrell

Harold Cantrell

Beginner2022-06-17Added 21 answers

Step 1
There are a few points to make here.
First, if you're trying to prove an implication P Q, there's no need to do case analysis on whether P is true or false. This just unnecessarily lengthens the proof. Instead, simply assume P and prove Q.
So in this case, we assume that B . ( B = A B A ). We seek to prove A = .
Step 2
As suggested in the comments, the correct thing to do here is to set B = (or, more formally, apply the universal elimination rule on B = ). Then we see that either = A or A. I'll let you finish the proof from here.
If we had significant difficulty proving A = from the hypothesis B . ( B = a B A ), we would have tried to come up with a counterexample.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?