Submit Software
  1. Home
  2. Android
  3. Teaching & Training Tools
  4. Natural Deduction

Natural Deduction 1.5

License: Free ‎File size: 1.15 MB
‎Users Rating: 0.0/5 - ‎0 ‎votes
Download

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

VERSION HISTORY

  • Version 1.5 posted on 2015-05-07
    Better display

Program Details

Related Programs

  • Licensure Exam LET Free

    Your Best Source of Reliable Compilation of Review Materials for Licensure Examination for Teachers (LET) is finally here on this app and it's definitely Free!Your search ends here!Pass the Licensure Examination for Tea

  • 2x2=4 lite - Fun Times Tables Free

    There is a period in a school life, when one has to learn the multiplication table. My son was not an exception and did not avoid the fate.We began to study the table the same old way: turned a notebook and started to learn.

  • Sanskrit Keyboard plugin(IAST) Free

    Sanskrit (IAST) dictionary plugin for Multiling O Keyboard. This is not an independent app, please install OKeyboard along with this plugin.Instruction:​⑴ Install this plugin andMultiling O Keyboard.

  • Smart Vocab English Free

    Smart Vocab EnglishPractice and broaden your vocabulary with Compass Media’s Smart Vocab App! Our application is a great supplement to learn and reinforce the target vocabulary from any of our books!

  • Chemistry Free

    The Chemistry application allows you to find chemical reactions and to solve the chemical equations with one or multiple unknown variables. You'll always have Mendeleev's Periodic Table and Solubility table handy! And even th

  • Croatian-English Dictionary Free

    This is a Croatian-English and English-Croatian Dictionary(Hrvatski-Engleski rječnik)This new dictionary is more than just a dictionary. You can search words, from which you can also listen to the pronunciation. This i

  • Marine Aquarium Fish 2 FREE Free

    Surgeonfish, Clownfish, Angelfish, Gobies, Puffers, Wrasse, Tangs and many more! This educational game uses 52 photos to introduce you to the colourful world of tropical fish. Enjoy the virtual aquarium on your phone as you l

  • Listening Effortless english Free

    Just listen. Don’t try to memorize the words.Now is the time for you to speak English confidently. Study these powerful English lessons and improve your English speaking!LEARN ENGLISH IN THESE POWERFUL WAYSLearn N

  • Learn English for TOPIK Free

    TOPIK, or Test of Proficiency in Korean is a Korean language test offered five times annually (in Jan, Apr, Jul, Oct, Nov) to foreigners in Korea and twice annually (Apr, Oct) to people studying Korean in other countries. TOP

  • W-HS Campus Bocholt Roomplan Free

    Useful assistant for students, lecturers and visitors of the Westfälische Hochschule – Campus BocholtThis App helps you to find your way at the University of Bocholt. The room plan shows you, when and which rooms