1.5.1 命题公式的分类 重言式或永真式(tauto log y) 复合命题 (compound propositions) 矛盾式(contradictory) 可满足式( satisfiable) 定义1.5.1 设A为任一命题公式， 为任一命题公...
基于6个网页-相关网页
tauto log y 重言式或永真式
tauto log
tauto日志
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动