Dergiler / Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi / 2018 / Cilt: 20 - Sayı: 2
Boole cebirleri için bağımsız aksiyom kümeleri
- Sayfa
- 307–314
- DOI
- —
Özet
Bu çalışmada, aksiyomatik sistemler araştırıldı ve Boole cebirlerinin denk aksiyomlaştırmalarının bazıları ispatlandı. Ayrıca, Huntington ve sonrasında Robbins tarafından ileri sürülen, Boole cebirleri için aksiyomların bir minimal kümesini oluşturan üç aksiyomun bağımsızlığını ispatlandı.
Abstract
In this work, we review axiomatic systems and prove some of the equivalent axiomatizations of Boolean algebras. Also we prove the independence of three axioms, proposed by Huntington and then by Robbins, which form a minimal set of axioms for Boolean algebras.