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