https://github.com/athityakumar/symbolic-logic

Programming the theories of symbolic logic into code that can be read & understood by the machine.
https://github.com/athityakumar/symbolic-logic

Last synced: 11 months ago
JSON representation

Programming the theories of symbolic logic into code that can be read & understood by the machine.

• Host: GitHub
• URL: https://github.com/athityakumar/symbolic-logic
• Owner: athityakumar
• License: mit
• Created: 2016-08-12T14:26:55.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2016-08-13T10:28:58.000Z (almost 10 years ago)
• Last Synced: 2025-06-07T10:47:35.904Z (about 1 year ago)
• Language: Ruby
• Size: 98.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

          
SYMBOLIC LOGIC [![forthebadge](http://forthebadge.com/images/badges/built-with-ruby.svg)](http://forthebadge.com)

--------------

Symbolic Logic (HS30068) is a course taken by Prof. Chhanda Chakraborthy at IIT Kharagour. Thise repository is a showcase of codes that implement the automated solving of symbolic logic methods that are taught in class.

SCRIPTS

-------

- [x] `truth_value.rb` 

  - [x] This is a code that takes truth-valued variables as input and then decides the truth-value of a truth functional statement.

  - [x] A working sample of the code is attached below.  
 

USING SYMBOLIC-LOGIC SCRIPTS

----------------------------

Type these commands on a terminal - 


 (1)  `git clone git@github.com:athityakumar/symbolic-logic.git`


 (2)  `cd symbolic-logic`


 (3)  `ruby .rb`

CONTRIBUTION

------------

The work flow is the same as that of any other repository. 


 (1) Fork / clone the repository.


 (2) Create a new branch , say `my-changes` and make your changes in this branch.


 (3) Commit your changes and send a Pull request (PR) to this repository.


 Active contributors would be rewarded with the tag of "Collabrators"


 Bug fixes , Issues , Issue solutions , Optimizations & Enhancements are always welcome.

LICENSE

-------

The MIT License - [Athitya Kumar](http://github.com/athityakumar) - All Rights Reserved.