A→B이고 A→C이면 A→(B and C)가 성립하나요?

[클로이.(ky6015kr7)]

또 A→(B and C)가 옳을때  A→B랑 A→C는 성립하나요?

- dc official App

[익명(125.190)]

ㅇㅇ

[클로이.(ky6015kr7)]

설명좀욜 - dc App

[익명(125.190)]

(A->B)and(A->C)는 (-A or B) and (-A or C)와 논리적 동치임(선언화) 근데 (-A or B) and (-A or C)는 -A or (C and B) 와 논리적 동치임 (분배법칙) 근데-A or (C and B) 는 A->(C and B)와 동치임(조건화) 그래서 (A->B)and(A->C)는 A->(C and B)와 동치임

[익명(125.190)]

마지막으로 (A->B)and(A->C) 에서 A->B 나 A->C 둘다 도출가능 (연언제거)

[익명(125.190)]

만약에 논리적 동치가 뭔지 모르겠다 하면 진리표 그려보셈

[클로이.(ky6015kr7)]

감사용 - dc App

[익명(180.70)]

1.A->B 2. A->C 3. A 가정 4. B 1,3MP 5. C 2,3MP 6.B&C 4,5 연언 7. A->(B&C) 3,6조건문도입 - dc App