ট্রুথ-ফাংশনের প্রস্তাবিত যুক্তি হল, "বিনিময়" বা "বিনিময় যোগ্যতা" দুটি গ্রহণযোগ্য প্রতিস্থাপন নিয়মকে বোঝায়। এই নিয়মগুলো যুক্তিগত প্রমানের ক্ষেত্রে যুক্তিগত রাশির মধ্যে সমতুল্য চলকদের পক্ষান্তরিত করার অনুমতি দেয়। নিয়ম গুলো হলঃ

এবং

যেখানে "formula_11" হল একটি মেটালজিক্যাল সিম্বল যা "যা কোন প্রমানের প্রতিস্থাপনকে" প্রতিনিধিত্ব করে।

প্রস্তাবিত যুক্তি
যৌথতা
ইতিহাস ও ব্যাকরণ
প্রতিস্থাপন নিয়ম