در منطق، دو جمله (چه در زبانی صوری و چه زبانی طبیعی) ممکن است به وسیلهٔ ادات منطقی به هم وصل شوند تا یک جملهٔ مرکب بسازند. ارزش راستی این ترکیب منحصراً از روی ارزش راستی جملات ساده‌تر مشخص می‌شود. به این ترتیب ادات منطقی تابعی را نشان می‌دهند که در صورتی که ارزش جمله مرکب یک ارزش راستی باشد، آن را یک تابع راستی می‌نامند و ادات منطقی را یک «ادات تابع راستی» خواهند خواند.

تابع راستی عطف، فصل و التزام را شامل می‌شود.

در زبان، دو جمله به وسیلهٔ حرف‌های ربط به هم می پیوندند و جملات مرکبی به وجود می آورند که الزاماً معنا و مقدار صحیح ندارند. برای نمونه به مثال زیر توجه کنید:
"علی از تپه بالا رفت"
"سینا از تپه بالا رفت"
"علی از تپه بالا رفت و سینا از تپه بالا رفت"
"علی از تپه بالا رفت همینطور سینا از تپه بالا رفت."

از ترکیب جملات اول و دوم جملات مرکب سوم و چهارم ایجاد شده‌اند. درستی جملهٔ سوم به درستی جملات اول و دوم وابسته است اما جمله چهارم الزاماً برای درستی به جمله‌های اول و دوم وابسته نیست. در جمله چهارم می‌توان گفت که سینا برای عکاسی به بالای تپه رفته نه بخاطر اینکه علی از تپه بالا رفته است.

• مشارکت‌کنندگان ویکی‌پدیا. «Logical connective». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۴ ژوئیه ۲۰۰۸.

ن ب و رابط‌های منطقی
همان‌گویی (منطق)/True ${\displaystyle \top }$
خط شفر (دروازه نقیض و) ${\displaystyle \uparrow }$ شرطی معکوس ${\displaystyle \leftarrow }$ شرطی مادی (دروازه شرطی) ${\displaystyle \rightarrow }$ فصل منطقی (دروازه یا) ${\displaystyle \lor }$
نقیض (دروازه وارونگر) ${\displaystyle \neg }$ یای انحصاری (دروازه یای انحصاری) ${\displaystyle \oplus }$ دوشرطی منطقی (دروازه نقیض یای انحصاری) ${\displaystyle \leftrightarrow }$ Statement
نقیض یا (دروازه نقیض یا) ${\displaystyle \downarrow }$ نقیض شرطی ${\displaystyle \nrightarrow }$ Converse nonimplication ${\displaystyle \nleftarrow }$ عطف منطقی (دروازه و) ${\displaystyle \land }$
تناقض/کذب ${\displaystyle \bot }$
Logic portal

ن ب و منطق کلاسیک
عمومی	سور محمول رابط‌های منطقی همان‌گویی (منطق) جداول ارزش تابع صدق ارزش درستی فرمول‌های خوش فرم همنوایی انتاج خودتوانی انتاج منطق‌گرایی Problem of multiple generality شرکت‌پذیری توزیع‌پذیری
منطق‌های کلاسیک	حساب گزاره‌ای منطق مرتبه اول منطق مرتبه دوم منطق مرتبه بالاتر
اصول	جابجایی بودن عطف اصل طرد شق ثالث اصل دو ارزشی بودن اصل امتناع تناقض Explosion
قواعد	قوانین دمورگان استلزام مادی Transposition وضع مقدم نفی تالی قیاس استثنائی منفصل قیاس استثنائی متصل Constructive dilemma Destructive dilemma Absorption معرفی نفیض نقیض مضاعف سور وجوی سور عمومی دوشرطی عطف فصل حذف نقیض مضاعف Existential Universal دوشرطی عطف فصل
افراد	برنارد بولتسانو جرج بول گئورگ کانتور ریچارد ددکیند آگوستوس دمورگان گوتلوب فرگه کورت گودل Hugh MacColl جوزپه پئانو چارلز سندرز پیرس برتراند راسل ارنست شرودر Henry M. Sheffer آلفرد تارسکی ویلارد کواین لودویگ ویتگنشتاین جان لوکاسیویز
اثرها	برداشت و مفهوم نوشتار Function and Concept The Principles of Mathematics مبادی ریاضیات رساله منطقی-فلسفی