A나 B 둘 중 하나가 참이면..

[선송(heatea)]

A나 B 둘 중 하나라도 참 일때 L이랑 M이 둘 다 항상 참이다.

라는 명제에서
L는 A이기 위한 무슨 조건임?

필요조건도 충분조건도 아닌 무언가 인거 같은데..

[논갤러 2(118.235)]

일단 기호로 나타내보면 A v B -> L ^ M 라고 번역할 수 있을 것 같은데 A v B -> L ^ M 자체로는 A와 L의 관계를 나타내지는 않아서 직접적으로 뭐라 말하기는 애매하네요.

[논갤러 2(118.235)]

그래도 A v B -> L ^ M로부터 A -> L은 증명 가능하나 L -> A는 불가능하니 "A v B -> L ^ M은 L이 A의 필요조건임을 함축한다"라고 우회해서 표현할 수는 있을 것 같아요