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

Ｋ１の「起こりうる事象」はＫ２の「起こりうる事象」と同じ意味でしょ。Ｋ３は間違いではないのだからおかしなことになってるとは言えませんよ。