토톨로지인지 아닌지 tableau method로 증명가능하신분

[익명(185.225)]

위의 가지치기 형식으로 논리식이 참인지 거짓인지 알아내는걸 타블로 멧후드라고 하는데 , 아래 문제에 어떻게 적용하는지 모르겠는데 아시는분 없나요

[ㅁㄴㅇㄹ(122.38)]

저거 그냥 진리나무(trueth tree)아님?

[익명(185.225)]

그럼가염..?아 ㅈㅅ 인터넷에서 암거나 퍼온거라 ㅋㅋ... 암튼 제가 필체로 써놓은 식 증명어떤식으로 전개되는지 팁좀 알려주세요 ㅠㅠ

[ㅁㄴㅇㄹ(122.38)]

근데 저 ㅊ같은건 뭐임?

[익명(185.225)]

아 저거 A 에요. 제가 A를 저렇게 써서 ㅋㅋ

[ㅁㄴㅇㄹ(122.38)]

일단 저 가지들은 왜 저렇게 뻗는진 알세요?

[익명(185.225)]

경우의수 따지는거 아닌가요..? A가 참일때 거짓일때 따질려고

[ㅁㄴㅇㄹ(122.38)]

맞아요 그럼 옆에 체크 표시는요?

[익명(185.225)]

논리식이 이미 분해가 끝난걸 표시할려고

[익명(185.225)]

체크하는거맞죠??

[ㅁㄴㅇㄹ(122.38)]

맞아요 잘아시네요, 뭐가 궁금한거에요?

[익명(185.225)]

아 헷갈리게 해서 죄송해요. 문제 자체를 제가 사진찍어서 올려드릴게요 한번만 봐주세요 좀만 ㄱㄷ

[익명(185.225)]

올렸어용

[익명(223.45)]

갠첸인지 피치인지 그런건 잘모르겠고 그냥 아까 증명도는 제거법칙하고 도입법칙 적용해서 증명도 전개한거 뿐임

[익명(dndiffkal)]

그래 그럴 것 같았다... 저 갤은 도대체 어떻게 안 거;

[익명(42.28)]

오늘 논리학 레포트 마감인데 모르는거 생겨서, 너 논리학 공부 한다길래 혹시나 한줄기 빛이 내려오지않ㅡㄹ 까 하는 희망을품고 디시에 접속해 보았어 친구야. 나중에 가끔 미적분 물으러 가면 친절하게 답변부탁한다 친구야. 뭐 수학갤로 꺼지라고? 우얄라미/

[익명(dndiffkal)]

ㅁㅣ친놈인가진짜 zzzzzzzzzz :&:아니 ㄴ닉네임을 달아라;;; 나 미적분황이니까 그건 걍 아무때나 물어보셈

[익명(223.40)]

그렇게 말해주지 고맙네 정말 닉네임? 그런닉네임을 달고 활동하는건 위험하다 암튼 가끔 갤에 미적분책들고 나타나면 와따시인줄 알거라 문법나치녀석아 잘가라

[ㅁㄴㅇㄹ(122.38)]

아니 오늘마감이면서 일주일 안이면 된다고 한거임? 겐첸,피치가 뭔지도 모르고? 와..

[익명(223.42)]

예???? 일주일 안이라 말한적 없는디염ㅋㅋ 아근데 어찌어찌 다 증명하고 과제 다 제출함 ㅋㅋ 감사감사

[ㅁㄴㅇㄹ(122.38)]

아니 이번주 안까지라며;;

[익명(223.42)]

먼소리세요 ㅡㅡ 이번주안이라고 말한적 한번도 없는데요

[ㅁㄴㅇㄹ(122.38)]

??? 갠첸인지 피치인지 그런건 잘 모르겠다는건 무슨의미인데?

[익명(223.42)]

반고닉ㅇㅇ<----- 이친구 타갤에서 온 친구인데 얘가 아까 갑자기 "갠첸 피치 알아?"라고 댓글올렸다가 삭제했길래 걍 머쓱해서 아래다 답변형식으로 댓글단거임

[ㅁㄴㅇㄹ(122.38)]

야 카톡방에 누가 너 아니냐고 했더니 부정안해서 너인줄;; 착각했네 미안

[ㅁㄴㅇㄹ(122.38)]

너랑 같은 사진 가지고 와서 물어본 놈 있았거든

[익명(223.42)]

.......??????? 저 이갤 오늘 첨들온 유입인데;;;;;; 음...착각 하신듯... 암튼 감사