به رابط های گزاره ای ∨ (یا، ترکیب فصلی)، ∧ (و، ترکیب عطفی)، ⟹ ( اگر آنگاه، ترکیب شرطی) و ⟺ ( اگر و فقط اگر، ترکیب دو شرطی) ادات ربط گفته می شود.