해당 proposition을 1st order formula로 써놓으면 바로 아하! 할 수 있음
잘 이해가 안 돼.. 1st order formula가 뭐야? -dc/ac
그러니까 정의대로만 따지면 set A에 임의의 원소 x에 대해 u가 x 이상이면 u를 A의 상계라고 하잖아? 근데 A가 공집합이니까 statement가 그냥 vacuously true임
구글에 vacuous truth 검색ㄱㄱ
아 알겠다 ㄱㅅㄱㅅ -dc/ac
해당 proposition을 1st order formula로 써놓으면 바로 아하! 할 수 있음
잘 이해가 안 돼.. 1st order formula가 뭐야? -dc/ac
그러니까 정의대로만 따지면 set A에 임의의 원소 x에 대해 u가 x 이상이면 u를 A의 상계라고 하잖아? 근데 A가 공집합이니까 statement가 그냥 vacuously true임
구글에 vacuous truth 검색ㄱㄱ
아 알겠다 ㄱㅅㄱㅅ -dc/ac