Du hast leider keine Grundmenge angegeben. Ist wohl IR ??
Zwischen zwei Aussageformen besteht eine Folgerungsbeziehung, wenn
die Lösungsmenge der einen eine Teilmenge der Lösungsmenge der
anderen ist. Wenn also für x aus L1 auch immer x aus L2 gilt.
Aussageform 1: x2 > 81 L1= ] - ∞; - 9 [ ∪ ] 9 ; ∞ [
Aussageform 2: x>7 V x < - 7 L2= ] - ∞; - 7 [ ∪ ] 7 ; ∞ [
also : L1 ⊆ L2 und damit
Aussageform 1 ⇒ Aussageform 2
Bei dem 2. Beispiel sind die Lösungsmengen gleich, also wie du
schon meintest <=> .