자유의지가 있다 <=> 의지로 뇌를 제어할 수 있다.


의지로 물리현상을 제어할 수 없다 <=> p

뇌는 물리현상이다 <=> q

의지로 뇌를 제어할 수 없다 <=> r


p <=> T

q <=> T

p => r이라 가정.


p ^ q => (p => r)


즉 r <=> T