나도 심심해서 밑에꺼 증명해봄

[익명(180.83)]

다만 자연어 문장을 논리식으로 옮길 때는 유의해야 할 필요가 있음.

[귀결(223.33)]

도식적으로 나타내니까 가독성이 좋은 거 같네. 이런 거는 어디에 나와?

[익명(180.83)]

보통 어지간한 형식논리 교과서는 이런 방식으로 증명하는 방법을 알려줌.

[귀결(122.34)]

아 찾아보니가 van dalen 책도 저런 게 나오네. 나중에 함 읽어봐야겠다

[마매(121.150)]

교육적 측면이나 가독성 따지면 겐첸 방식이 피치 방식보다는 훨씬 뛰어나지. 피치 방식은 뭐랄까 코드 짜는 기분?

[익명(180.83)]

실제로 피치 증명이 가정의 사용 상황을 나타낼 때 특성을 잘 나타내기 어렵기도 하고, 부분증명을 지나치게 캡슐화하는 경향이 있어서 증명 짤 때 특정 방식을 강요하는 측면은 있다고 생각함. 하지만 증명 구조 상 딱히 떨어지는 것도 없고 가독성이 오히려 나을 때도 있다고 생각함.

[익명(211.36)]

존나 고퀄이네