![](/statics/img/blank.png)
Natural Deduction 1.5
라이센스: 무료 파일 크기: 1.15 MB
사용자 평가: 0.0/5 - 0 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 Natural Deduction
이 응용 프로그램과 함께 재생하고 자연 공제 스타일의 몇 가지 증거를 구축 할 수 있습니다. 수식을 클릭하면 가능한 규칙으로 자동으로 확장됩니다. 가정은 파란색으로 인쇄됩니다. 그 중 하나를 선택하면 새 하위 트리가 생성됩니다. 두 나무를 부착하는 것은 첫 번째 나무의 루트를 두 번째 나무의 잎으로 드래그하여 수행됩니다. 가능성이 하나만 있으면 이 첨부 파일이 자동으로 수행됩니다. 이 증거는 나무가 빨간색 사각형으로 둘러싸여 있을 때 수행됩니다.
즐거운 시간 보내세요! 로직은 재미