어떤 호어 - 트리플이 맞습니까?

Question

은 다음 만 수행하는 것이, 두 개의 인수 균형과 가격을 소요하는 방법이있다 말할 수 있습니다 :

나는 호어 - 트리플이를 작성하는 두 가지 방법이 있습니다 같은 느낌

if(price < balance) { 
    balance = balance - price; 
} 

:

(| price=p0^balance = b0 |) buy (| ((p0 < balance) => balance = b0 - p0) v ((p0 >= balance) => balance = b0) |) 

가

또는

(| price=p0^balance = b0 |) buy (| ((p0 < balance)^(balance = b0-p0)) v ((p0 >= balance)^(balance = b0)) 

(=> 의미입니다) 내가 궁금하네요 어떻게 올바른 어느 쪽입니까? 아니면 둘 다 맞습니까?

Answer 1

나는 이것을 설명하기위한 것이었지만 나는 논평 할 명성이 없다.
두 호아레 - 트리플은 확실히 동일하지 않습니다. p0> = balance 인 경우 첫 번째 트리플의 오른쪽은 true로 평가되고 두 ​​번째 트리플의 오른쪽은 false로 평가됩니다. 나는 직장에 있는데, 지금은 올바른 호레이 - 트리플인지 알 수 없지만, 직장에서 끝나기 전에 나보다 자격있는 사람이 대답 할 것이라고 확신합니다.

우리가 P : = p0 < 균형을, Q : = 균형 = b0 - p0, R : = 균형 = b0이라고하면, (P => Q) v로 방정식의 오른쪽을 나타낼 수 있습니다. - P => R)과 (P^Q) v (-P^R)를 만들고 다음 진리표를 만든다.

+ --- + --- + --- + ---------------------------- + ---- -------------------- +
| .P | 질문 | .R | (P => Q) v (-P => R) | (P^Q) v (-P^R) |
+ --- + --- + --- + ---------------------------- + ------ ------------------ +
| .T | .T | .T | . . . . . . . . T. . . . . . . . | . . . . . . .T. . . . . . . |
| .T | .T | .F | . . . . . . . . T. . . . . . . . | . . . . . . .T. . . . . . . |
| .T | .F | .T | . . . . . . . . T. . . . . . . . | . . . . . . .F. . . . . . . |
| .T | .F | .F | . . . . . . . . T. . . . . . . . | . . . . . . .F. . . . . . . |
| .F | .T | .T | . . . . . . . . T. . . . . . . . | . . . . . . .T. . . . . . . |
| .F | .T | .F | . . . . . . . . T. . . . . . . . | . . . . . . .F. . . . . . . |
| .F | .F | .T | . . . . . . . . T. . . . . . . . | . . . . . . .T. . . . . . . |
| .F | .F | .F | . . . . . . . . T. . . . . . . . | . . . . . . .F. . . . . . . |
+ --- + --- + --- + ---------------------------- + ------ ------------------ +

이것은 두 방정식이 동일하지 않다는 것을 보여줍니다.

두 문을 모두 보유해야하기 때문에 오른쪽에 올바른 값이 (P => Q)^(-P => R)이 될 것이라고 추측합니다. 나는 창작 논리에 익숙하지 않고, 지식이 많은 사람이 아마도 나를 바로 잡을 수 있습니다.