그건 바로 간단한 조건명제의 개념



(p→q)≡(~p∨q)


상대론에 따르면 다음 명제가 참이다

광속이 절대적이면 시간이 상대적이다

동치명제: 광속이 상대적이거나 시간이 상대적이다

따라서 다음 셋중 하나가 참이다

1) 광속이 상대적이고 시간이 상대적이다

2) 광속이 상대적이고 시간이 절대적이다

3) 광속이 절대적이고 시간이 상대적이다


반면 부기우에 따르면 다음이 참이다

광속이 절대적이고 시간이 절대적이다

따라서 부기우와 상대론은 동시에 참일 수없다




부기우가 틀렸다는걸 증명하기위해선 상대론이 틀렸다고 증명하면 된다고 한다 곧

상대론이 틀렸다면 부기우가 틀렸다

동치명제: 상대론이 맞거나 부기우가 틀렸다

따라서 다음 셋중 하나가 참이다

1) 상대론이 맞고 부기우가 틀렸다

2) 상대론이 맞고 부기우가 맞다

3) 상대론이 틀렸고 부기우가 틀렸다

2)는 위에서 증명한데로(상대론과 부기우는 동시에 참일수없으므로)거짓이다

따라서 (상대론이 맞거나 틀렸고) 부기우가 틀렸다




추가)

p→q는 p∧q가 아니다

질량이 절대적이면 시간이 상대적이다가 참일때

시간이 절대적이면 질량이 상대적이다가 참이지만

부기우 주장대로 시간이 절대적이고 질량이 상대적이다가 반드시 참은 아니다

위 조건문의 동치명제는

시간이 상대적이거나 질량이 상대적이다 이다

7fed8275b58b68f751ef84e04f847073c551c8bfe02746b9796fd901714222