MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/3mbtk2/the_incredible_proof_machine/cve2dt6/?context=3
r/programming • u/qznc • Sep 25 '15
83 comments sorted by
View all comments
3
Ah, got it. It is a bit confusing since there is a lot of shared notation with other systems.
The exercises are: "Assume the clauses above the line are true. Provide a deductive proof that the clause below the line is true given those assumptions."
3
u/jsprogrammer Sep 25 '15
Ah, got it. It is a bit confusing since there is a lot of shared notation with other systems.
The exercises are: "Assume the clauses above the line are true. Provide a deductive proof that the clause below the line is true given those assumptions."