복합명제의 번역

(p * q) → r ≡ (p→r) ∨ (q→r)
(p∨q) → r  ≡ (p→r) * (q→r)


법이나 규칙 같은 규정에서 사용하는 법칙은 다음과 같다.
'갑이 부동산 자산을 6억 이상 소유하고 있고, 다주택자라면 세금을 부과한다.'
이것은 '(6억 이상 * 다주택) → 세금' 으로 나타낼 수 있다.

(p*q) → r 은 '(p→r) ∨ (q→r)' 과 같기 때문에, '(6억이상→세금) ∨(다주택→세금)' 으로 변환할 수 있다.
이 말을 6억 이상이거나 다주택자이면 세금을 부과한다는 말로 이해했다.

그러나, 내가 이해했던 말은 '(6억이상∨다주택) → 세금' 이다.

원래 이해했던 거랑 완전히 다르다. '6억이상이면 세금을 부과한다는 것이 참이거나 다주택자에게 세금을 부과한다는 것이 참이다.'라는 말과는 다르다.