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     <=>  .