真值表 zhēn zhí biǎo
數(shù)理邏輯中用以定義命題聯(lián)結(jié)詞并確定復(fù)合命題的真或假(即真值)的圖表。例如在二值邏輯中,設(shè)以“p”、“q”代表命題,則命題的否定(﹁p)的真值情形可用下面的表來表示:
命題的析取、合取、蘊(yùn)涵、等值的真值情形是: 即:當(dāng)且僅當(dāng)p假而q假時(shí)“p∨q”為假,余類推。根據(jù)這些表可確定任何復(fù)合命題的真值情形。海量資源,盡在掌握
真值表 zhēn zhí biǎo
數(shù)理邏輯中用以定義命題聯(lián)結(jié)詞并確定復(fù)合命題的真或假(即真值)的圖表。例如在二值邏輯中,設(shè)以“p”、“q”代表命題,則命題的否定(﹁p)的真值情形可用下面的表來表示:
命題的析取、合取、蘊(yùn)涵、等值的真值情形是: 即:當(dāng)且僅當(dāng)p假而q假時(shí)“p∨q”為假,余類推。根據(jù)這些表可確定任何復(fù)合命題的真值情形。