名詞解釋

自然演繹法

答案：自然演繹法是一種形式化的邏輯證明方法，其基本思想是：確定一些推理規(guī)則，這些規(guī)則用來保證從真前提推出真結(jié)論，從所要證明的推...

你可能感興趣的試題

名詞解釋

能行方法

答案：能行方法是一種機(jī)械的判定方法。一種判定方法所以能行必須滿足三個條件：
（1）判定程序的每一步都事先給出確定的操...

單項(xiàng)選擇題

老師：“不完成作業(yè)就不能出去做游戲”
學(xué)生：“我完成作業(yè)了，我可以到外邊做游戲了”
老師：“不對，我只是說，你們?nèi)绻煌瓿勺鳂I(yè)就不能出去做游戲”。
除了以下哪項(xiàng)，其余各項(xiàng)都能從上面的對話中推出（）？

A.學(xué)生完成作業(yè)后，老師就一定準(zhǔn)許他們出去做游戲。
B.老師的意思是沒有完成作業(yè)的肯定不能出去做游戲。
C.學(xué)生的意思是只要完成了作業(yè)，就可以出去做游戲。
D.老師的意思是只有完成了作業(yè)才可能出去做游戲。
E.老師的意思是即使完成了作業(yè)，也不一定準(zhǔn)許出去做游戲。