归谬赋值法又称简化真值表法 - 逻辑学吧 - RAT

归谬赋值法又称简化真值表法

level 11

333xxxyyywww33 楼主

归谬赋值法检验((p←q)^_p)→-q

2021年06月10日 10点06分 1

level 12

xsyu90

这是基本动作啊

2021年06月13日 12点06分 2

1