연역논증에 대한 질문 좀 할께요

[익명(124.50)]

A이면 B이다를 A->B라고 하잖아요? 근데, 전제가 2개 이상인 경우는 어떻게 표현하나요? 예를 들면, 전제가 A-> B, A이고 결론이 B인 논증을 기호로 표현하면  (A->B)&(A) -> B 이렇게 하는게 맞나요?

[익명(223.38)]

맞음 그리고 (A->B)->(A->B)와 동치임 이걸 수입 수출규칙이라고도 함

[ㅁㅁ(111.239)]

좋은 질문을 하셨네요. "명제"를 표현하는 거랑 "논증"을 표현하는 거랑은 서로 다른 겁니다.

[ㅁㅁ(111.239)]

"A이면 B라는 명제" : A→B / "전제 A이고 결론 B인 논증" : AㅏB

[ㅁㅁ(111.239)]

논증은 한글 ㅏ와 똑같이 생긴, turnstile이란 기호를 써서 나타냅니다. "전제 A→B,A이고 결론 B인 논증"은 A→B,AㅏB로 쓰면 됩니다.

[ㅁㅁ(111.239)]

아마 질문하신 건 "A→B이고 A이면 B이다"라는 명제일 것 같은데, 그러면 (A→B&A)→B로 쓰면 됩니다. 이 경우, ""A→B이고 A이면 B이다"라는 명제를 결론짓는 논증"은 ㅏ(A→B&A)→B 라고 쓰는데요, 앞의 A→B,AㅏB와 호환이 가능합니다.