Formal Logic Program

Description:

Developed an algorithm in Racket to validate logical propositions and identify counterexamples, supported by tree data structures and detailed presentations.

Details:

Coded an algorithm in Racket/Scheme to automate the validation of logic prepositions and conclusions. Created an internal tree data structure to find and output any counter examples. Presented the design process with examples and test cases to prove functionality of the code.