প্রতিস্থাপন (যুক্তিবিজ্ঞান)