F逻辑推理条件充分性判断