ตรรกะคณิตศาสตร์สืบเหตุการณ์ลึกลับ