[(A∨B)→C]→[(D∧¬C)→(A→E)] is a tautology. ... 利用以下提供的述詞邏輯符號將下列四個中文語句翻譯成述詞邏輯的語句。 (j:張三;Dx:x是狗;Oxy:x ...
確定! 回上一頁