问答题 用主析取范式法判断推理是否正确：n不是偶数或m不是奇数，n是偶数，所有m不是奇数。

问答题 用等值演算法判断推理是否正确：若今天不是星期六，明天就不是星期一，明天是星期一，所以，今天是星期六。

问答题 用等值演算法判断推理是否正确：若今天不下雨，我就不去图书馆，今天下雨，所有，我去图书馆。