MHB Proving A ≤ B or B ≤ A from Trichotomy.

  • Thread starter Thread starter solakis1
  • Start date Start date
AI Thread Summary
The discussion centers on proving the relationship A ≤ B or B ≤ A based on the trichotomy principle for real numbers. The proof begins with the definition of A ≤ B as A < B or A = B, leading to the conclusion that either A ≤ B or B ≤ A must hold. Participants clarify that substituting A < B or A = B with A ≤ B is a matter of metacalculus, not object calculus, emphasizing that this substitution is simply an abbreviation. They also discuss the implications of treating ≤ as a primitive predicate, which would require an axiom for its definition. The conversation highlights the importance of understanding the rules of equivalence substitution and the underlying inference rules in propositional calculus for solving such problems.
solakis1
Messages
407
Reaction score
0
given the definition: $$A\leq B\Longleftrightarrow A<B\vee A=B$$ Where A,B are reals ,then prove:

$$A\leq B\vee B\leq A$$

Proof: From trichotomy we have : (a<bva=b)vb<a=> [(a<bva=b)vb<a]vb=a =>(a<bva=b)v(b<avb=a).

And here is where i get stuck.

According to which law in propusitional calculus can we substitute (a<bva=b) and (b<avb=a) with $$A\leq B$$ and [math] B\leq A[/math] according to the above definition??
 
Mathematics news on Phys.org
Hi,

It's just the definition at the beginning of your post.
 
Replacing $A<B\lor A=B$ with $A\le B$ is not a question of object calculus, but of metacalculus (our natural language). For example, if you decide to write $f$ instead of $5$, you don't need a new arithmetic identity to conclude that $f+1=6$. The arithmetic "does not see", so to speak, your abbreviation. From its standpoint the equation is $5+1=6$. It's only your way of writing this equation that changed.

Similarly, if $B\le A$ is defined as $B<A\lor B=A$, then this is simply an abbreviation that makes out writing shorter. This definition is transparent on the object level, and the formulas you derive still contain $B<A\lor B=A$.

Another option is to treat $\le$ as a primitive predicate symbol and not a definition. Then one must posit an axiom
\[
B\le A\leftrightarrow B<A\lor B=A.
\]
Suppose a formula $F$ that contains a subformula $B<A\lor B=A$ is derivable. Then $F'$, which is obtained from $F$ by replacing $B<A\lor B=A$ with $B\le A$ is also derivable. This is a metatheorem that is proved by induction on $F$.
 
Evgeny.Makarov said:
Replacing $A<B\lor A=B$ with $A\le B$ is not a question of object calculus, but of metacalculus (our natural language). For example, if you decide to write $f$ instead of $5$, you don't need a new arithmetic identity to conclude that $f+1=6$. The arithmetic "does not see", so to speak, your abbreviation. From its standpoint the equation is $5+1=6$. It's only your way of writing this equation that changed.

Similarly, if $B\le A$ is defined as $B<A\lor B=A$, then this is simply an abbreviation that makes out writing shorter. This definition is transparent on the object level, and the formulas you derive still contain $B<A\lor B=A$.

Another option is to treat $\le$ as a primitive predicate symbol and not a definition. Then one must posit an axiom
\[
B\le A\leftrightarrow B<A\lor B=A.
\]
Suppose a formula $F$ that contains a subformula $B<A\lor B=A$ is derivable. Then $F'$, which is obtained from $F$ by replacing $B<A\lor B=A$ with $B\le A$ is also derivable. This is a metatheorem that is proved by induction on $F$.

Thank you, I always get mixed up with theorems and metatheorems.
But do you mean that except the rule of equivalence substitution ,no other rules of propositional calculus can be used to solve the problem??
 
solakis said:
But do you mean that except the rule of equivalence substitution ,no other rules of propositional calculus can be used to solve the problem?
If $\le$ is a primitive predicate symbol and inequality is defined by an axiom, then you do need the rule of equivalence substitution. However, this rule is a metatheorem and uses various inference rules of the underlying calculus to build a new derivation. Which rules exactly are used depends on the calculus.
 
Evgeny.Makarov said:
. Which rules exactly are used depends on the calculus.

Suppose we are given the following rules:

Double negation
conjunctio introduction
conjunction elimination
disjunction introduction
disjunction elimination
conditional proof
contradiction
bicondtional introduction
biconditional elimination.

How would we solve the problem
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top