Prove that <mrow class="MJX-TeXAtom-ORD"> &#x2200; </mrow> x <mrow class="MJX-TeXA

osmane5e

osmane5e

Answered question

2022-05-19

Prove that x y ( P ( x , y ) ¬ P ( y , x ) ) , x y P ( x , y ) be deduced to ¬ v z P ( z , v ).

Answer & Explanation

pelankp

pelankp

Beginner2022-05-20Added 8 answers

Explanation:
Obviously here you can use proof by negation together with formal inference rules regarding quantifiers allowed in your system, and then a useful hint would be the predicate P here can be interpreted as a strict partial order and thus v z P ( z , v ) must be false when z = v, which is certainly an unavoidable special case for v z P ( z , v ), while the given premise x y P ( x , y ) can avoid such special case...

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?