有限命題代數

有限命題代數(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”元布爾代數兵仔轎的具體模型