pe.nu.run.an bentuk pembuktian bahwa sesuatu diturunkan secara logis dari lainnya tanpa memperhatikan artinya