Использование правила следствия

Question

У меня есть следующий пример, который я должен доказать

{a>7 ^ b>=0} n=a-b {n<a ^ a+b>=0}

Используя правило следствия, я предположил, что P истинно

{true} n=a-b {n<a ^ a+b>=0}

логично, что Q должен быть правдой, но я не уверен, что этого будет достаточно.