Ich habe keine Ahnung wie ich bei einer Induktion beim Ergebnis sagen kann ob das jetzt eine Korrekte ist oder eine falsche Aussage.
Ergebnis: (Soll nicht Korrekt sein)
(a < 2b) ∧ ( x < b ) ⇒ 2x < a
Soll ich einfach für a b und x Zahlen einsetzen, oder wie geht das?