Как уже говорилось выше, импликация ложна, только если первое выражение истинно, а второе ложно. Во всех остальных случаях импликация истинна. Первое выражение ложно для всех натуральных x < 7 и истинно для всех натуральных x >= 7. Второе выражение истинно для всех натуральных x > 7 и ложно для всех натуральных x <= 7. Следовательно, данная импликация ложна только при одном значении x = 7.
