如果一個命題是P→Q
矛盾陣法是假設
非Q^P去證一個矛盾的事實嗎?
離散6-1
有一題
G = ( V , E )
証: e : bridge <=> e不再任何cycle中
pf: (=>)
若e在某個cycle中
=>G-e仍connected -><-(矛盾)
(<=)
若e={a,b}不為bridge
=>G-e仍connect
=>存在一條path P , 連接 a , b in G-e
則P加上e形成一cycle -><-(矛盾)
老師上課說是矛盾證法
可是當他在證 , 左證右時 , 都沒用到 e是bridge阿
為什麼這樣是矛盾證法阿
感覺比較像反證法
左證右的時候也是..
還有一題
expmple(97台大)
證 : for all x不等於y , deg(x)+deg(y)>=n-1
=>G:connected
感覺都是反證法..我哪裡觀念錯了嗎..