재밌음?


양화논리, 형식적논리, 비형식적논리 이런거 다루는거