/ai-pl-prover

Artificial Intelligence: Propositional logic theorem prover

Primary LanguagePython

Artificial Intelligence

Propositional logic theorem prover

Input Format:

  • The first line contains two integer value ‘n’ the number of formulae and ‘m’ the mode
  • Followed by the formulae (propositional sentences) in the next ‘n’ lines
  • The last line would contain the propositional sentence that needs to be proved

Symbols

  • OR : |
  • AND : &
  • NOT : !
  • IMPLIES : >
  • IFF (bidirectional) : =

How to use?

  • For file input just name file as input.txt and place it in the same folder with main.py
    • Run command python3 main.py
  • For manual input
    • Run command python3 main.py -i
  • Manual input works for only one theorem while file input works for multiple theorem