자유의지가 있다 <=> 의지로 뇌를 제어할 수 있다.
의지로 물리현상을 제어할 수 없다 <=> p
뇌는 물리현상이다 <=> q
의지로 뇌를 제어할 수 없다 <=> r
p <=> T
q <=> T
p => r이라 가정.
p ^ q => (p => r)
즉 r <=> T
자유의지가 있다 <=> 의지로 뇌를 제어할 수 있다.
의지로 물리현상을 제어할 수 없다 <=> p
뇌는 물리현상이다 <=> q
의지로 뇌를 제어할 수 없다 <=> r
p <=> T
q <=> T
p => r이라 가정.
p ^ q => (p => r)
즉 r <=> T
p: 의지로 물리현상을 제어할 수 없다.q: 뇌는 물리현상이다.r: 의지로 뇌를 제어할 수 없다.주장 "p => r"는 "p가 참이면 r도 참이다"라는 조건부 명제입니다.먼저, 주장 "p ^ q => (p => r)"를 검토해 보겠습니다.p ^ q는 p와 q가 모두 참일 때 참이 되는 명제입니다. 여기서 p와 q는 각각 "의지로 물리현상을 제어할 수 없다"와 "뇌는 물리현상이다"를 나타냅니다.주장 "p ^ q => (p => r)"는 p와 q가 동시에 참일 때, p가 참이면 r도 참이라는 조건부 명제입니다. 즉, p와 q가 동시에 참인 경우에 한정하여 검토하면 됩니다.주장 "p ^ q => (p => r)"을 진리표로 표현하면 다음과 같습니다:
p | q | r | p ^ q | (p ^ q) => (p => r) | T T T 위 진리표에서 (p ^ q)는 T이고, (p ^ q) => (p => r) 열에서는 결과 값이 주어지지 않았습니다. 따라서, "r <=> T"는 주어진 정보만으로는 올바르거나 부정확한지 결정할 수 없습니다. 추가 정보가 필요합니다.
으악 진리표 찌그러졌네 알아서 알아먹으셈
뇌를 의지로 제어한다 동치명제가 자유의진게 유머 ㅋㅋ
아이고..