→ kuopohung:以第13條最重要 10/02 04:35
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.228.156.250
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.228.156.250
※ [本文轉錄自 logic 看板]
作者: kuopohung (風之過客) 看板: logic
標題: Re: [問題] 有關"邏輯"問題，不知學長姊們還記得嗎@@
時間: Mon Oct 2 04:37:37 2006
※ [本文轉錄自 younker 看板]
作者: kuopohung (風之過客) 看板: younker
標題: Re: [問題] 有關"邏輯"問題，不知學長姊們還記得嗎@@
時間: Mon Oct 2 04:32:16 2006
6. D.N
P == ~ ~P
7. Com
P V Q == Q V P
8. A.s.s
( P V Q ) V R == P V ( Q V R )
9. Idem
P V P == P == P V P V P V P V P V P V P V P V P......
10. Dist
P V (Q且R) == ( P V Q ) 且 ( P V R )
11. Contra
P --> Q == ~Q ---> ~P
12. C.D.
P ---> Q == ~P V Q
13. B.C
P <---> Q == ( P --> Q ) 且 ( Q --> P )
14. EXP
P ---> ( Q ---> R ) === P 且 Q ---> R
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.228.156.250