konklusilogika sebagai ilmulogika sebagai metodapenalaranpremis mayorpremis minorproposisi dasarproposisi mutlakproposisi universal. proposisi particularteori koherensiteori korespondensiteori pragmatisme