Kunt u mij vertellen wat axioma's te maken hebben met de Algebra van Boole?De Boever Tom
7-5-2003
Kort gezegd, een Boole-algebra kan gebruikt worden bij het onderzoek naar de validiteit van axiomastelsels.
Axiomastelsels dienen aan bepaalde voorwaarden te voldoen: niet-strijdigheid, volledigheid, onafhankelijkheid. Het is (bijvoorbeeld) niet eenvoudig te onderzoeken of opgestelde axioma's onafhankelijk van elkaar zijn. Bij dat onderzoek kan dan soms gebruik gemaakt worden van een Boole-algebra.
dk
8-5-2003
#10674 - Algebra - 3de graad ASO