Sub: [[전칭명제]]와 [[존재명제]]를 '''한정명제'''라고 함.

python에선 둘 다 reduce함수를 쓴다. 연산자를 &으로 reduce하냐, |로 reduce하냐의 차이.

Up: [[명제proposition]]