じゃあ、
命題pが真の命題であることを示すとき、
ｐ(ｘ)＝{ｘ | ｘ＋１＝２, ｘ∈{１} }
のような命題の書き方ならばどうでしょうか？

ｐ（１＋１＝２）
と書けば良い事は分かっているのですが真の命題を
ｐ(ｘ)＝{ほにゃらら}
の形でかく方法あれば知りたいのです。