充要條件假言推理

所謂充要條件假言推理,就是運用充要條件推理的形式對某一假設存在所進行的一種證明方法。這種方法之所以能夠運用於證明,是因為客觀事物中存在著這樣一種條件聯繫:某種現象或者情況存在必然引起另一現象或情況存在,而另一現象或情況的存在必然決定某一現象或情況也存在。邏輯表達形式為:
若且唯若p,才r
已知r真
所以p真

相關詞條

熱門詞條

聯絡我們