궂이 수학� 용어로 증명하자면...다음과 같은 방법이 있을꺼 같은데..
> 명제: 초록색 상자옆에는 초록색이 아닌 상자가 있다. 있다.
위의 명제를 둘로 나누어서...
p: 초록색 상자가 있다
q: 그 옆에 초록색이 아닌 상자가 있다..
( p -> q ) <=> ( ^p \/ q ) <=> ^( p /\ ^q ) ; ^ <=> contradiction
여기서 p란 명제는 무조건 '참'이니까...
문제는 q 인데.... ^q 가 증명가가능하지 않나요?
그러면 위에 쓴 ^( p /\ ^q ) 에서
^q : 그 양옆에 초록색인 상자가 있다...
근데 명제에서 이미 '거짓'임을 아니까 ^q : 거짓
결과적으로 ^( 참 /\ 거짓 ) : 참..
이렇게 명제가 '참'이 되는거 아닐까용?
True-love-comes-from-the-soul It-shines-when-you-find-the-right-person
It-is-all-the-emotion-rolled-up-into-one Love-is-a-process-and-not-a-
destination That-is-what-makes-love You-can't-expect-reach-love You-
build-it True-love-in-a-sense-is-that-you-make-it-like-clay-and-a-potter
True-love-has-no-conditions It-accepts-the-person-for-who-he-or-she-is