事象→根元事象とすると

K1: 全ての起こりうる根元事象は同様に確からしいとする
K2: 起こりうる根元事象は、Tとセックスするか、Tとセックスしないか
K3: K1,K2より、Tとセックスする確率は、1/2

となり同じ事ですよ