That wasn’t what he was trying to prove, but the proof could be done without conditionals like this: If: p(H)p(T) = p(T)p(H) And: p(H)p(T) + p(T)p(H) = 1 The

That wasn’t what he was trying to prove, but the proof could be done without conditionals like this: If: p(H)p(T) = p(T)p(H) And: p(H)p(T) + p(T)p(H) = 1 Then: p(H)p(T) = p(T)p(H) = 0.5