Autonomous Theorem Prover for First Order Predicate Logic
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
Haskell Tautology Checker and Parser
A parser of relational predicate logic & truth tree solver, written in Rust.
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
Prove propositional logic tautologies via Smullyan's tableaux method
Questo progetto crea un sito web vulnerabile a SQL Injection utilizzando Docker. Il server utilizza PHP 7.4 e MySQL 5.7. L'obiettivo è educativo e serve a dimostrare come una vulnerabilità di SQL Injection possa essere sfruttata.
🧮 validation methods of propositional logic
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
A Formally Verified Structural Parity Proof of the Collatz Conjecture.
Add a description, image, and links to the tautology topic page so that developers can more easily learn about it.
To associate your repository with the tautology topic, visit your repo's landing page and select "manage topics."