作者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
1F：→ kuopohung:以第13条最重要 10/02 04:35
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.228.156.250