이런 사이트도 있네

[익명(223.38)]

https://www.umsu.de/trees/

증명 찾아주는 프로그램. 반례까지 찾아주는데 알못이라 왜 되는지도 모르겠다

[익명(211.110)]

이거 2개 이상의 전제는 어케넣나요 - dc App

[ㅁㄴㅇㄹ(210.210)]

연언문쓰시면 됩니다

[ㄱㄱ(61.72)]

이거 Richard Jeffrey라고 돌아가신 논리학자가 Formal Logic에서 제시한 Truth tree test에요. 증명을 알려주는게 아니라 타당성이나 일관성 검사하는 방식입니다. 증명을 찾는 것은 대부분 우리가 직접 해야 하고요.
https://proofs.openlogicproject.org/
<-- 이런 곳에서 자연연역 증명이 올바른지 체크 정도는 해줍니다. 조금 더 전문적으로는 Coq을 찾아 보셔도 좋고요.