• ProofTools是旨在测试如果一个公式是一个合乎逻辑的真相，如果一定的论据是有效的。 该程序允许输入式的视测试所需的步骤对其进行测试。

    你可以审查示范步骤，在主要的窗口和出口他们的PNG图像，以便利用它在你的演讲。

  • ProofTools डिज़ाइन किया गया है अगर परीक्षण करने के लिए एक फार्मूला है एक तार्किक सत्य और अगर एक निश्चित तर्क मान्य है । कार्यक्रम की अनुमति देता है आप दर्ज करने के लिए सूत्र को देखने और परीक्षण करने के लिए आवश्यक कदम यह परीक्षण.

    आप की समीक्षा कर सकते हैं प्रदर्शन चरणों मुख्य विंडो में उन्हें निर्यात करने के लिए, एक PNG छवि का उपयोग करने के लिए यह अपनी प्रस्तुतियों में.

    ध्यान दें: यह है एक पार मंच अनुप्रयोग, के लिए उपलब्ध ओएस एक्स और लिनक्स के रूप में अच्छी तरह से.

  • ProofTools is designed to test if a formula is a logical truth and if a certain argument is valid. The program allows you to enter the formula and view the test steps required to test it.

    You can review the demonstration steps in the main window and export them to a PNG image in order to use it in your presentations.