https://123dok.com/document/zx5glk9w-penalaran-deduktif-pembuktian-matematika-berdasarkan-kognitif-independent-dependent.html