لە لۆژیک و ماتماتیکدا، ھەر قەزییەیەک لە ئاست دروستیدا بایەخێکی ھەیە، بەو بایەخە ئەڵێن بایەخی دروستی یان بایەخی لۆژیکی. بایەخەکانی دروستی لە لۆژیکی کلاسیکدا دوو دانەن دروست (یان ڕاست یان ھەق) و زڕ (یان نادروست یان درۆ یان ھەڵە).[١]