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