엔더튼에 포뮬러를 줄여쓰는 경우가 있는데

[익명(223.62)]

줄여쓴것도 포뮬러라고 봐야할까요??

[행인(175.223)]

예시가 어떻게 되나요? Enderton 기준으로 연언 선언 이런 기호들이라면, 엄밀하게는 정식이 아니죠. 그러나 축약어로써 본다면 결국 부정과 conditional으로 환원가능하므로 infornal하게 인정해주어도 무방합니다.