KAJIAN SIFAT - SIFAT ALJABAR PROPOSISI DENGAN DIAGRAM VENN - ARIS WIBOWO, MAHMUD (2007)