作者查詢 / CatWalking

總覽項目: 發文 | 留言 | 暱稱
作者 CatWalking 在 PTT [ logic ] 看板的留言(推文), 共6則
限定看板:logic
首頁
上一頁
1
下一頁
尾頁
[請益] 替代例子(substitution instance)
[ logic ]10 留言, 推噓總分: +3
作者: CatWalking - 發表於 2015/06/23 15:27(10年前)
3FCatWalking: ~~P不就等於P了?06/24 22:21
[請益] 這三本哪一本適合初學者呢?
[ logic ]7 留言, 推噓總分: +4
作者: ofnfline - 發表於 2015/05/16 01:21(10年前)
4FCatWalking: 初學建議你搭配台大開放式課程一起上,會有一些互補05/16 14:44
[請益] 蘊含與等值關係請教
[ logic ]7 留言, 推噓總分: 0
作者: xin1028 - 發表於 2015/01/22 10:23(11年前)
1FCatWalking: 你可以理解成01/22 11:00
2FCatWalking: 〈K → L〉→〈~L → ~K〉01/22 11:03
3FCatWalking: 〈~L → ~K〉→〈K → L〉01/22 11:04
4FCatWalking: 〈K → L〉與〈~L → ~K〉相互蘊含即為等值01/22 11:05
首頁
上一頁
1
下一頁
尾頁