結果 : discrete structures laws of logic