명제 논리

명제의 동치

술어와 한정기호