LCM with Cut rule: using Minimum Principle, prove that the system f(x)≤f(g(x))∧f(x)≤f(h(x)) has a solution.
A Cut between: ∃x.∀y.f(x)≤f(y) and (∃x.∀y.f(x)≤f(y) → ∃x.( f(x)≤f(g(x)) ∧ f(x)≤f(h(x)) ))
In[367]:=
In[368]:=
Out[368]=
We choose the parameters of the game.
In[369]:=
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Goal of: | Eloise |
Goal of: | Abelard |
Created by Mathematica (November 11, 2006)