F7 для создания и затем F8 для движения в ошибки и предупреждения один за другим.
Логическое значение A подразумевает B
просто означает «если A истинно, то B должно быть истинным». Это подразумевает (каламбур), что если A неверно, то B может быть чем угодно. Таким образом: