흐르는 곡은,
Scooter - The Logical Song(논리적인 노래)
------------------------------------------
사랑의 필, 충 조건(必要充分條件)
高巖
두 명제 p, q에 대하여
명제 <p라면 q>가 성립할 때
q를 p가 성립하기 위한 필요조건이라 하고
p를 q가 성립하기 위한 충분조건이라 한다.
예컨대
<우리가 그리워하기에 사랑은 영원하다>라는
명제는 성립하므로
사랑이 영원하길 바란다면
너와 내가 애타고 목마름 하는 것은
순수한 필요조건이며
첫사랑도 아닌데
이렇게 안타까워하는 것은
참사랑을 위한
영원한 충분조건이다.