真的存在基本演绎法来进行福尔摩斯这些操作吗?