진리나무법(truth tree)은 동일성기호 '=' 처리 못해?

[익명(122.38)]

아무리 찾아봐도 동일성 기호가 포함된 논리식을 진리나무로 처리하는 걸 찾을 수가 없음 

동일성 기호 들어가는건 진리나무법으로 처리할수 없는거임?

[러셀(salvaveritate)]

FL with identity 자체가 확장된 고전 논리여서 그런 것 같은데… 찾아보면 뭐가 나오긴 할듯

[러셀(salvaveritate)]

114쪽부터 보세요
http://ndl.ethernet.edu.et/bitstream/123456789/77275/1/29.pdf

[익명(122.38)]

좋은자료 고마워

[익명(175.192)]

Tree Proof Generator 라는 사이트가 나무를 쓰는데, 동일성하고 함수까지 되던데요

[TIME(ghawmzldjs71)]

??????? 안되던데 =기호말고 다른거 씀?

[익명(175.192)]

되는데요?

[익명(175.192)]

Now supports identity 라 뜨지 않습니까

[익명(122.38)]

그러네 그때 잘못 입력 한듯