[대학교이상] 형식적 증명 질문

[병맛아이(ysorry258995)]

A일때만 B이다
B이다
따라서 A이다
이걸 형식적 증명으로 어떻게 보일수있나요?

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[병맛아이(ysorry258995)]

헉 그렇네요,, 담사합니다,,,,

[기괴공학도(thecoqproofassistant)]

첫 문장은 B -> A