기초 문장 논리 질문이요.

[멸공의 촛불(175.223)]

A->B이고 A->C이면 A->(B&C)가 성립되나요??

[마이클(218.149)]

결론의 A를 가정해서 (B&C)를 만들어내면 됩니다.

[증명bot(121.147)]

A→B,A→Cㅏ A→(B&C) A를 전제, A→B,A→C를 이용해 전건긍정 B,C를 도출, B&C연언 도입, A와 B&C 조건문화 증명 끝.