Metode Pembuktian Kontradiksi | Akar 2 Irasional | Himpunan dan Logika oleh ibu Dr. Rinovia M.G. Simanjuntak, S.Si., M.Si. (Matematika Diskrit)