Pembuktian bahwa sesuatu diturunkan secara logis dari lainnya tanpa memperhatikan artinya