Logical Connective

পাঁচটা মৌলিক connective:

নাম	চিহ্ন	কোডে	সত্য কখন
Negation	¬p	!p	p মিথ্যা হলে
Conjunction	p ∧ q	p && q	দুটোই সত্য হলে
Disjunction	p ∨ q	p || q	অন্তত একটা সত্য হলে
Implication	p → q	—	p সত্য অথচ q মিথ্যা — কেবল তখনই মিথ্যা
Biconditional	p ↔ q	p == q	দুটোর মান এক হলে

Precedence (শক্ত থেকে ঢিলা): ¬, ∧, ∨, →, ↔।

Implication-টাই সবচেয়ে বেশি বিভ্রান্ত করে। F → T = T কারণ প্রতিশ্রুতি তখনই ভাঙে যখন শর্ত পূরণ হয়েছে অথচ প্রতিশ্রুত জিনিস দেওয়া হয়নি। শর্তই পূরণ না হলে প্রতিশ্রুতির পরীক্ষাই হলো না — একে বলে vacuous truth।

&& আর & এক নয়: প্রথমটা short-circuit করে (ডান পাশ কখনো চলতে নাও পারে), দ্বিতীয়টা bitwise এবং সবসময় দুই পাশই evaluate করে।