wff

گزاره ی هودیسیده.
گَهد .

well - formed formula
[در منطق گزاره ای و استنتاجی] فرمول یا گزاره یِ خوش فرم یا ساده شده، گزاره ای که با حروف و نمادهای منطق گزاره ای نشان داده میشود