La première implication dit que si tout entier naturel est strictement supérieur à 3 alors une certaine lettre x désignant un entier naturel est un entier naturel supérieur à 3. Cette implication est vraie puisque sa prémisse (ce qui est avant ==>) est fausse (*). par contre, la deuxième , qui dit que pour tout entier naturel x, si x>3 alors x>5 est manifestement fausse.
Cordialement.
(*) j'espère que tu connais les règles de base de logique, sinon je parle dans le vide
-----