• 2022-05-29
    令p:今天星期一,r:明天是星期三,命题符号化:今天星期一,则明天星期三,今天是星期一,所以明天是星期三,推理(p→r)∧p =>r正确。
  • 举一反三