게으른맽랩 lazy matlab
초간단요약 두 명제 A와 B에 대해서, 합성명제인 "A이면 B이다"는 다음과 동치이다. "A를 만족하는 진리집합은 B를 만족하는 진리집합의 부분집합이다." 예: $0