منطقا مورد کشف‌شدن اثباتی قرار دادن