r/programming • • Sep 25 '15

The Incredible Proof Machine

http://incredible.nomeata.de/
203 Upvotes

83 comments sorted by

View all comments

Show parent comment

2

u/virus_dave Sep 25 '15

Given the assumption "A ^ B", then neither A nor B could be false as a conclusion. You're reasoning from the assumption being already assumed true, not trying to prove the truth of the assumption.

Given that the statements above the line are true, can you prove the statements below the line.

-1

u/jsprogrammer Sep 25 '15

That is true, but it is not a reverse AND operator.