진리나무 이렇게 그리는 거 아님?

[익명(211.181)]

...넘 어렵당

[익명(211.36)]

전제 p,q,r을 주고 어떤 명제를 s를 증명한다고 할 때 전제 p,q,r을 차례로 쓰고 s는 부정한 상태로, 즉 ~s로 씀 그런 다음, 전제들과 처음 가정(~s)에서 나뉘는 경우에 따라 쭉 쓰면 되는데 이때 모순이 되는 부분은 닫혔다고 표현함

[익명(211.181)]

ㅇㅇ 그건 파악했는데, 내가 쓴 명제를 진리나무에 표시하면 저렇게 되는 건지가 헷갈려서 ㅠㅠ

[러셀(salvaveritate)]

뭘 증명하려 한 건지를 모르겠음. (1)이랑 (2)가 둘 다 전제인 거야?

[익명(211.181)]

ㅇㅇㅇㅇ 맞아요 결론이 ~a & ~b

[러셀(salvaveritate)]

1. (1)에 있는 "="의 의미를 모르겠음. 2. 가지들을 전개할 때 생략한 것들이 너무 많은 듯함. (적어도 뭐가 왜 나왔는지는 써주셔야)

[러셀(salvaveritate)]

혹시 = 이하는 그냥 앞까지를 암산하기 쉽게 하려고 푼 건가? 저렇게 하질 말고 규칙에 따라 나무를 전개해 보는 게 보기 편했을듯.

[익명(175.223)]

이게 교양으로 배우는 거라, 제가 논리학에 대해서 잘 몰라서 ㅎㅎ.... =은 말씀 그대로 앞에꺼 풀어서 전개한 거예요 ~b 밑에 있는 세 가지 중에 첫번째 ~b는, 전제 1번에서~b 또는 ~c이다 에서 ~b이구요, 그 옆에 있는 ~c도 여기서 나온 ~c입니다 그리고 그 옆에 있는b는 1번 전제의 두 번째 중괄호 안에 있는 첫번째 b이구요, 그 아래에는

[익명(175.223)]

B하고 연언으로 연결된 것들입니당 제가 헷갈리는 부분은, 결론 밑에 가지를 작성할 때, 첫번째 전제에서 중괄호 사이의 v(선언)를 기준으로 나누는 기 맞는지...입니당

[러셀(salvaveritate)]

원래대로면 가지가 이렇게 길게 뻗쳐야 하고요, 이걸 참조해서 다시 해 보시면 될 것 같아요.
http://www.formallogic.com/en/truth-tree-solver/editor/5b3276a

[익명(175.223)]

오 감사합니다! 다시 해볼게요!!