1차 술어 논리

넘겨줄 대상:

• 수리 논리학#s-4