MHB What Does the Inequality x >= y Mean?

Thread starter WannaBe
Start date Oct 7, 2013
Tags

English

Oct 7, 2013

WannaBe

∀x∀y (x >= y)

Physics news on Phys.org

Electric signals reveal magnetic spin waves, hinting at faster computing
Topological insulator maintains quantum spin Hall effect at higher temperatures
Nuclear clock technology enables unprecedented investigation of fine-structure constant stability

Oct 7, 2013

Fernando Revilla

Gold Member

MHB

WannaBe said:

∀x∀y (x >= y)

For all $x$ and for all $y,$ $x$ is greater or equal than $y.$

Oct 7, 2013

alyafey22

Gold Member

MHB

For any pair $$(x,y)$$ the inequality $$x\geq y$$ holds.

Thread 'Value of intuitionistic logic'

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.

View full post »

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

View full post »