Home  /  Education Apps  / Logic-Proof Studio on Windows Pc

Logic-Proof Studio on Windows Pc

Developed By: John Saetti

License: Free

Rating: 2,0/5 - 1 votes

Last Updated: December 25, 2023

Download on Windows PC

Compatible with Windows 10/11 PC & Laptop

App Details

Version 1.0
Size 2.3 MB
Release Date November 14, 17
Category Education Apps

What's New:
Added answers to the exercises. Improved equivalency module. [see more]

Description from Developer:
This app includes the following:

1. An introduction which goes over a proof and shows how it can be thought of as a game to hone deductive skills.
2. A work area where proofs are... [read more]

App preview ([see all 5 screenshots])

App preview

About this app

On this page you can download Logic-Proof Studio and install on Windows PC. Logic-Proof Studio is free Education app, developed by John Saetti. Latest version of Logic-Proof Studio is 1.0, was released on 2017-11-14 (updated on 2023-12-25). Estimated number of the downloads is more than 100. Overall rating of Logic-Proof Studio is 2,0. Generally most of the top apps on Android Store have rating of 4+. This app had been rated by 1 users, 1 users had rated it 5*, 1 users had rated it 1*.

How to install Logic-Proof Studio on Windows?

Instruction on how to install Logic-Proof Studio on Windows 10 Windows 11 PC & Laptop

In this post, I am going to show you how to install Logic-Proof Studio on Windows PC by using Android App Player such as BlueStacks, LDPlayer, Nox, KOPlayer, ...

Before you start, you will need to download the APK/XAPK installer file, you can find download button on top of this page. Save it to easy-to-find location.

[Note] You can also download older versions of this app on bottom of this page.

Below you will find a detailed step-by-step guide, but I want to give you a fast overview of how it works. All you need is an emulator that will emulate an Android device on your Windows PC and then you can install applications and use it - you see you're playing it on Android, but this runs not on a smartphone or tablet, it runs on a PC.

If this doesn't work on your PC, or you cannot install, comment here and we will help you!

Step By Step Guide To Install Logic-Proof Studio using BlueStacks

  1. Download and Install BlueStacks at: https://www.bluestacks.com. The installation procedure is quite simple. After successful installation, open the Bluestacks emulator. It may take some time to load the Bluestacks app initially. Once it is opened, you should be able to see the Home screen of Bluestacks.
  2. Open the APK/XAPK file: Double-click the APK/XAPK file to launch BlueStacks and install the application. If your APK/XAPK file doesn't automatically open BlueStacks, right-click on it and select Open with... Browse to the BlueStacks. You can also drag-and-drop the APK/XAPK file onto the BlueStacks home screen
  3. Once installed, click "Logic-Proof Studio" icon on the home screen to start using, it'll work like a charm :D

[Note 1] For better performance and compatibility, choose BlueStacks 5 Nougat 64-bit read more

[Note 2] about Bluetooth: At the moment, support for Bluetooth is not available on BlueStacks. Hence, apps that require control of Bluetooth may not work on BlueStacks.

How to install Logic-Proof Studio on Windows PC using NoxPlayer

  1. Download & Install NoxPlayer at: https://www.bignox.com. The installation is easy to carry out.
  2. Drag the APK/XAPK file to the NoxPlayer interface and drop it to install
  3. The installation process will take place quickly. After successful installation, you can find "Logic-Proof Studio" on the home screen of NoxPlayer, just click to open it.

Discussion

(*) is required

Download older versions

Other versions available: 1.0.

Download Logic-Proof Studio 1.0 on Windows PC – 2.3 MB

This app includes the following:

1. An introduction which goes over a proof and shows how it can be thought of as a game to hone deductive skills.
2. A work area where proofs are constructed.
3. The menu bar in the work area has icons for accessing:
a. Built in exercises.
b. Entering an exercise from a logic text.
c. User Doc that walks through a proof with this app.
d. Hints (a work in progress)
e. Equivalency: gives the most common equivalencies of a line in the proof.
f. Well Formed: explains how to enter an exercise.
g. Key terms.
h. The 18 inference rules.
I. Selecting an inference rule to be applied to a new step in the proof
Added answers to the exercises. Improved equivalency module.