-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
unironically committing directly to master
- Loading branch information
Peter Vlasveld
authored
Sep 9, 2019
1 parent
9875fe6
commit 7706112
Showing
1 changed file
with
21 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,21 @@ | ||
# Logic 2020 v0.0.1 Alpha # | ||
|
||
Logic 2020 is a Django/React project meant to be an educational tool for students studying Logic. | ||
It is based off of Logic 2010, an educational application that is adopted by many Universities in the United States and Canada. | ||
Logic 2020 is meant to be an updated, web-based version of that. | ||
|
||
## Current Features ## | ||
|
||
This application is currently is Alpha, so does not have that many features yet. | ||
Currently the user is presented with one simple Sentential Logical Derivationa and is asked to solve it. No tutorial is | ||
given, just a series of buttons that the user can play around with, and solve the problem if they are already knowledgeable | ||
about derivation syntax. | ||
Currently the user can Show conclusions, Assume premises, and use Rules such as Modus Ponens and Modus Tolens. | ||
|
||
## Future Features ## | ||
|
||
For the Beta build, more problems and Rules will be added for the user to utilize. User authentication will also be added so | ||
as to allow users to track which problems they have solved. | ||
|
||
1.0 will likely have tutorials incorporated into it, with a full set of sentential logic problems for the user to solve. | ||
Moving past 1.0 will be the addition of more types of logical problems like Predicate Logic and Symbolization. |