漢語

正體/繁體 -{() }-
簡體 -{() }-

發音


名詞

  1. (邏輯學數學)假設命題否定命題為,推理出明顯矛盾的結果,從而得出原命題為真的邏輯推證方法

相關詞彙

  • ()
  • ()
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.