填空題

◇（pVq）與（）可以互推。

答案： ◇pv◇q

你可能感興趣的試題

演繹邏輯主要是研究推理的有效性問題，而所謂邏輯推理的有效性，指的是（）是否正確。

答案：推理形式

多項選擇題

已知“不可能p”為真，則為假的是（）

A.可能P
B.可能非P
C.不必然P
D.必然P
E.必然非P