離散數學複習筆記

數理邏輯 邏輯：以研究人的思惟形式及思惟規律爲目的的一門學科 數理邏輯：利用數學符號來協助推理的一門形式邏輯學 命題：能表達判斷並具備肯定真值的陳述句 真值：每一個命題都具備的一個值，要麼爲真，要麼爲假，不能隨着環境變化 原子命題：不能再分解的命題 複合命題：由原子命題符號及聯結詞組成的有意義的命題表達式 否認非P 合取P並且Q  析取P可兼或Q 排斥析取P不可兼或Q 單條件若P則Q 雙條件P當且

>>阅读原文<<