그냥 양상논리야 양화논리랑 다를거 하나도 없지 뭐... 연산자 2개만 넣은건데