p는 q이다 라는 명제가 있을때

만우절 명제는

p는 ~q이다 인가

q는 ~p이다 인가?

이에 만우절 문화학의 선구자 닥터 켈시는

"p와 q가 만나 sex를 한다."

라고 답해 만우절의 기본이론을 정립하였다