有限命題代數

有限命題代數(finite propositional algebra )一種特殊的命題代數.即由有限個命題構成的布爾代數<B,V,八,},F,T,>,其中B為有限命題的集合.

介紹
如二元命題代數B= {F,T }.任給一個命題變元p,通過布爾代數的V,八,刁這三個聯結詞可組成下面2z=4個命題函式:F, p,} p,T,即除p自身外,再通過否定詞形成}p,通過析取詞形成pV}p =T,通過合取詞形成p八}p=},.如果把F,p,}p,T作為元素組成4元集合乓:一{F, p,} p,T},則它對V,八,刁封閉.由此可構成一個4元布爾代數的具體模型<{F,p,}p,T},V,八,},F,T>.對任給n個命題變元p1}p2,...} p},通過V,八,刁可組成22”個不同的命題函式,並由了個不同的命題函式可組成丫元集合Bzz",它對v,八,二封閉.由此可構成一個22”元布爾代數的具體模型
有限命題代數

相關詞條

熱門詞條

聯絡我們