是。

(q→r)表示如果q成立,则r也成立。而(r)表示r成立。因此,如果(q→r)成立,那么r也必须成立,因为q成立的情况下r必须成立。因此,否(q→r)∧r的组合表示了“不是如果q成立,则r成立,且r成立”,这意味着r必须成立且q不成立。由于r成立,因此(q→r)必须为假,即不成立。因此,否(q→r)∧r是重言式,因为它总是成立。

否q→r∧r是重言式吗

原文地址: https://www.cveoy.top/t/topic/ebMm 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录