A와 B 둘 중 하나만 옳다 (A와 B는 각기 한 문장이라 할 때)
이 문장을 A V B라고 두어도 옳은 것입니까?
아래는 제가 생각한 사고 과정입니다.
저 문장은 곧 A이면 ~B인 것이자, B이면 ~A인 것이고,
또한 ~B이면 A이고 ~A이면 B라고 설명될 수 있다고 생각합니다.
따라서, ~B -> A 와 대우관계인 B V A가 나오므로,
최종적으로 저 문장은 A V B와 같다고 해석됩니다.
하지만, 문제는 A V B 는 A 혹은 B 중 하나만 옳으면 된다는 의미로,
굳이 A 나 B 중 하나만 옳아야 하는게 아니라, A 와 B 둘 다 옳다 하더라도 맞는 말이라고 알고 있습니다.
(그렇기에 A V B의 부정이 ~A & ~B겠죠)
따라서 위에서 제가 생각한 것이랑 반대되는 해석이 나옵니다.
이를 어떻게 해석해야 할까요?
//////////////
질문 요약
: A와 B 둘 중 하나만 옳다를 A V B로 두어도 되는가?
원하시는 문장은 (A ∨ B) ∧ ¬(A ∧ B) 가 되어야겠죠. 아니면 그와 동치로 (¬A ∧ B)∨(A ∨ ¬B)도 되구요. 물론 A∨B는 안 됩니다.
오타. (¬A ∧ B)∨(A '∧' ¬B) 입니다.
감사합니당!!
위에 생각과정이 있는걸 깜박했네요. 4가지 필요조건을 생각해 주셨는데, ¬B→A랑 ¬A→B는 대우로 동치, A→¬B와 B→¬A도 동치이지만, 두 그룹 사이는 동치가 아니라서 (A→¬B)∧(¬B→A)로 다뤄줘야 합니다. 이걸 정리하면 (A∨B)∧¬(A∧B)가 나오겠네요.
xor(exclusive or)이라고 불리는 논리 연결사를 한번 찾아보세요.
"두어도 된다"가 무슨 뜻인지 모르겠지만, "A와 B 둘 중 하나만 옳다"가 옳으면 "A ∨ B"도 옳죠. 물론 좋은 번역이 아닙니다 그 이유는 윗분이 잘 설명해주셨고요.