1. Set Theory and Logic
1.1 Fundamental Concepts
or의 의미 "둘다 될수 이냐?" "둘중 하나만?" =>앞의 의미
vacuously true => 조건을 만족하는 것이 없어서 사실(ex)공집합이 집합 A에 포함한다. 사실 공집합은 원소를 가지지 않는다. 이를 공집합에 포함되는 원소 x가 있으면 x는 A에 포함된다로 해석할 수 있다. 이경우 공집합에 포함되는 원소가 없으므로 vacuously true가 된다.)
1.2 Functions
injective(1-1)과 subjective(onto)가 왜이리 햇갈리지........ㅡㅜ
1.3 Relations
order Relation이란 개념을 새로 알게 되었다. 물론 이와 비슷한 개념들은 알고 있었지만, 이렇게 정리되어 있는것은 처음 보는 듯. ㅋ 이부분은 다시 보자..
