[嘎飛] 證明...

現在是離散課

要來證明哭哭與科科



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)

____________________________得証





帥～

本篇文章引用自此