>x≠3はx=4を満たさない

ならばやはり「xは3以外の全ての実数」とはいえないわけだな