1/2

Natural Deduction

Laurent Théry

인증완료

1K+다운로드

1MB크기

2.2.x+

안드로이드 버전

1.5(29-06-2020)최신 버전

(0 리뷰)

PEGI-3

다운로드

세부 정보리뷰버전정보

1/2

Natural Deduction의 설명

Play with this app and build some proofs in natural deduction style.

Clicking on a formula automatically expands it with possible rules.

Assumptions are printed in blue. Selected one of them generates a new subtree.

Attaching two trees is done by dragging the root of the first one to the leaf of the second one.

If there only one possibility, this attachment is performed automatically.

The proof is done when the tree is surrounded by a red rectangle.

Have fun! Logic is fun

Natural Deduction - 버전 1.5

(29-06-2020)

다른 버전들

뭐가 새롭나Better display

아직 평가나 리뷰가 없습니다! 첫 번째로 남겨 보세요

0 Reviews

5
4
3
2
1

Natural Deduction - APK 정보

APK 버전: 1.5패키지: org.inria.peanoware

안드로이드 호환: 2.2.x+ (Froyo)

개발자:Laurent Théry권한:0

이름: Natural Deduction크기: 1 MB다운로드: 7버전 : 1.5출시 날짜: 2020-06-29 04:47:32최소 스크린: SMALL지원되는 CPU:

패키지 ID: org.inria.peanowareSHA1 서명: 47:F7:D3:53:80:25:D8:14:7A:E6:61:88:5E:94:02:7F:84:18:95:54개발자 (CN): Laurent THERY단체 (O): INRIA로컬 (L): 나라 (C): 33주/시 (ST): 패키지 ID: org.inria.peanowareSHA1 서명: 47:F7:D3:53:80:25:D8:14:7A:E6:61:88:5E:94:02:7F:84:18:95:54개발자 (CN): Laurent THERY단체 (O): INRIA로컬 (L): 나라 (C): 33주/시 (ST):