Propositions LIVE is a Java program designed to parse and interpret varieties of logical propositions, utilizing a custom interpreter and parser to evaluate user input while also utilizing standard order of precedence for propositions.
Propositions LIVE requires Java 17 at the minimum to be installed on the user-system in order to run. The JAR will not run on a JRE purposed for lower versions. Once installed, install the Propositions LIVE .jar file, and run it.
Upon first launch, it will create a config.properties file with properties assigned. Leave this in the same directory as your Propositions LIVE JAR.
Users can evaluate propositions either using PL's Simple method, or the Complex method.
To the left of the input-window are a series of buttons highlighting the different operations possible on propositions. Clicking any one of them will input the text-form of that operation into the input field.
The Simple evaluation method assumes that, by default, all propositions evaluate to true. This means that evaluating "P & Q" will evaluate to "TRUE", as P and Q are both assumed to be true. If you want this to return "FALSE", you'd have to give Propositions LIVE the Simple evaluation of "!P & Q".
The Complex evaluation method assumes that each proposition has their own unique truth-value. This means that evaluating "P & Q" could evaluate to different things, depending on what truth values are given to P and Q individually. The user can specifiy the truth values for P and Q respectively, and then hit the "INTERPRET" button to obtain the new interpretation.
To the left of any proposition lies a remove button, which removes any proposition from the view at any current moment.
A read-only console is available as a separate tab, next to the user-input tab, allowing the user to see a preliminary debugging view of Propositions LIVE. Any errors are in red text. Normal outputs are in black text.
Take the example above. The first two propositional statements assume that P, Q, and R are all true by default. The third, a complex proposition, allows you to modify the values of each variable to those that you wish.
Users can also evaluate every possible combination of a proposition using a truth table!
The input methods remain the same as the proposition tab, but will instead create a whole table to evaluate every possible combination of input to the proposition that's possible.
The EVALUATE button will evaluate the entire proposition in the field as is.
The CLEAR button will clear the table. This operation also automatically happens any time you press the EVALUATE button.
Under Development
Propositions LIVE was developed in IntelliJ IDEA, using Oracle's Java SDK 17.0.2, AtlantaFX, JavaFX 20, and Gluon SceneBuilder. The repo itself is usable as an IntelliJ project.
Ensure the content inside your project matches the following configurations.
- MAVEN: io.github.mkpaz:atlantafx.base
- javafx 17.0.6
- Other Maven dependencies for JUnit, Opentest4J, etc.
Ensure your output layout is the same. This current build works on Windows 10. Both JavaFX 17.0.6 and JavaFX 20 are required, the former for the main GUI, and the latter for AtlantaFX.
- To my Discrete Structures professor, for being an amazing professor and inspiring me to start this project
- To my friend AJW, who helped massively with AST's when I was learning them
- To Robert Nystrom, author of Crafting interpreters
- To the people over at AtlantaFX, for creating a fantastic JavaFX Dark/Light mode theme.