많은 사람들이 휴대폰을 사용한다.
대부분의 다람쥐는 도토리를 먹는다.
어빙 코피 논리학 입문을 공부하는 중인데
위와 같은 명제들은 (고전 논리학의) 정언명제로 표준화가 안 된다는 것을 알게 됨
그래서 현대 논리학의 양화이론은 기호화할 수 있는지 보고 있는데
여기서도 저런 양화사가 들어간 명제에 대해서는 딱히 설명하지 않는 거 같음
저런 명제들은 논리학에서 어떻게 다룸??
(애초에 관심사인지도 모르겠음)