استدلال مبتنی بر وجود واجب و وجود ممکن