코어논리학으로 자연연역 하고있는데

[익명(180.67)]

칸마다 번호써있는 식 처럼 생긴거
그거 책에 설명이 안나와있는데 정확히 어떻게 쓰는 지 어디서 배움?

[익명(1.233)]

난 대학교 논리학 교양수업때 들은건데 참고 ㄱㄱ 1. p->q 주어진 전제 2. p 주어진 전제/ :. q 3. q 1.2. MP

[익명(1.233)]

왼쪽 번호는 그냥 구분용으로 적는것같고 그 오른쪽에 쓰는게 명제들 그리고 그 오른쪽에 쓰는게 해당 명제가 무엇인지, 어떤 이유로 나온건지 적는거

[익명(1.233)]

해당 논증형식에서 마지막 주어진 전제인 p 옆에는 슬래쉬 치고 결론을 표시하기