現在是離散課
要來證明哭哭與科科
define:哭哭 = T^T
Q1: prove 哭哭 is a trivial tautology
sol:
哭哭
<=> T^T (by definition)
<=> T (by Idempotent)
____________________________得証
Q2: prove 科科 is a contradiction
sol:
科科
<=> ┐(哭哭) (by definition)
<=> ┐(T^T) (by definition)
<=> F v F(by De Morgan's)
<=> F (by Idempotent)
____________________________得証
帥~
![](http://www.wildmindcorp.com/jl/images/stories/plurk.jpg)
![](http://web.mit.edu/csc/logosbannersflyers/facebook_logo.png)
0 回應:
張貼留言