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