解釋性證明方法是同構證明方法的特例,令P是命題集合,或其定義域,或參數測試樣例的集合,PI是它的映射(另外的命題集合及其定義域或參數測試樣例), PG是P的推論,如果存在PG與 PI同構,則稱P具有I-解釋性證明,即G(P→PI)=PG→(PI)G是解釋性證明,其中,G是同構算符。
基本介紹
- 中文名:解釋性證明
- 簡介:同構證明方法的特例
- 所屬學科:數學
- 所屬問題:證明方法與理論
- 相關概念:同構證明方法
解釋性證明方法是同構證明方法的特例,令P是命題集合,或其定義域,或參數測試樣例的集合,PI是它的映射(另外的命題集合及其定義域或參數測試樣例), PG是P的推論,如果存在PG與 PI同構,則稱P具有I-解釋性證明,即G(P→PI)=PG→(PI)G是解釋性證明,其中,G是同構算符。
解釋性證明方法是同構證明方法的特例,令P是命題集合,或其定義域,或參數測試樣例的集合,PI是它的映射(另外的命題集合及其定義域或參數測試樣例), PG是P的推論,...
根據確實的材料判明真實性 指證明書、證明信 證明漢語解釋 編輯 據實以明真偽。 《漢書·儒林傳·孟喜》:“同門梁丘賀疏通證明之。” 顏師古 注:“證明,明...
論證性解釋是通過推理證實和說明判斷的真實性和真理性。通常由論題、論據和論證方式組成解釋鏈。在論證中,用以確定論題真實性的判斷,叫作論據;論據與論題的聯繫...
“證明”一詞運用於訴訟中被稱為訴訟證明。訴訟證明就是指運用證據去證明案件事實,以求訴訟請求得到法庭支持。“標準”一詞在《法學辭海》中被解釋為:“規範、...
至善性證明,全稱“上帝存在的至善性證明”。一種從上帝的神聖屬性出發來論證上帝存在的理論。由安瑟倫提出。流行於中世紀後半期。認為屬性有程度的不同。如善,儘管...
沒有解釋也沒有證明是一首郭春成自編自演的歌曲名,出自醞星文化發行的專輯穿越千年。...
法律解釋,是指對法律和法規條文的含義所作的說明。依據解釋是否具有法律效力分為正式解釋和非正式解釋;依據解釋所具有的法律效力範圍分為規範性解釋和個別性解釋;...
說明是一個漢語辭彙,讀音為shuō míng,屬於動詞,意思是解釋清楚,講明解;說明原因。也指解釋的話;說明的文字;證明。表達方式——說明:說明是用簡明扼要的文字,把...