1/2
Natural Deduction screenshot 0
Natural Deduction screenshot 1
Natural Deduction Icon

Natural Deduction

Laurent Théry
Trustable Ranking Iconविश्वसनीय
1K+डाउनलोड
1MBआकार
Android Version Icon2.2.x+
एंड्रॉइड संस्करण
1.5(29-06-2020)नवीनतम संस्करण
-
(0 रिव्यू)
Age ratingPEGI-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 - Version 1.5

(29-06-2020)
अन्य संस्करण
What's newBetter display

There are no reviews or ratings yet! To leave the first one please

-
0 Reviews
5
4
3
2
1

Natural Deduction - एपीके जानकारी

एपीके संस्करण: 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समर्थित सीपीयू:
पैकेज आईडी: org.inria.peanowareएसएचए1 हस्ताक्षर: 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): पैकेज आईडी: org.inria.peanowareएसएचए1 हस्ताक्षर: 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):

Latest Version of Natural Deduction

1.5Trust Icon Versions
29/6/2020
7 डाउनलोड1 MB आकार
डाउनलोड
appcoins-gift
Bonus GamesWin even more rewards!
अधिक
The Walking Dead: Survivors
The Walking Dead: Survivors icon
डाउनलोड
Car Simulator Clio
Car Simulator Clio icon
डाउनलोड
Family Farm Seaside
Family Farm Seaside icon
डाउनलोड
Block sliding - puzzle game
Block sliding - puzzle game icon
डाउनलोड
My Land
My Land icon
डाउनलोड
Kicko & Super Speedo
Kicko & Super Speedo icon
डाउनलोड
Tarneeb Card Game
Tarneeb Card Game icon
डाउनलोड
Shooter Game 3D - Ultimate Sho
Shooter Game 3D - Ultimate Sho icon
डाउनलोड
Lua Bingo Online: Live Bingo
Lua Bingo Online: Live Bingo icon
डाउनलोड
Poker Slots
Poker Slots icon
डाउनलोड
Z Day: Hearts of Heroes
Z Day: Hearts of Heroes icon
डाउनलोड