я изучал аксиоманти c семанти c, что действительно является болью в моей заднице. все было так здорово, пока я не встретил эти вопросы. я застрял в вопросе 2, который имеет «и» в постусловии.
Какое самое слабое условие?
1) if (x > y)
c = x * 2 + 4
else
a = x + 4;
{a > 4 and c < 6}
2) if (x > y)
e = x * 2 + 4
else
f = x + 5;
{f > 4 and e > 6}
Я никогда не видел постусловия с 'и', это было довольно странно. потому что, когда я пытался выяснить первый
(предварительное условие для if)
a>4 and 2x+4<6
a>4 and 2x<2
a>4 and x<1
(предварительное условие для else)
x+4 >4 and c<6
x>0 and c<6
я не мог применить правило следствия, потому что есть три переменные, и у x есть другое направление символа сравнения, который трудно определить, какая из них сильнее или слабее. кто-нибудь может помочь этому бедному компьютеру noob :(?