I posted this elsewhere in the forums, but I think this is a much better area for it. Are there any logic programs to solve logic questions? I mean, the stuff like where you prove an argument valid or invalid with sentence letters. Like with this (i'm totally making this up, I dont' know if its valid or invalid, just giving an example). (A v F) > (B*C) F == C ~Q ---------- F v I Or whatever, you know what I mean? My logic teacher talked about how a computer could solve them, but was talking about using the 2^X rule to solve it (say 2^6 in this case cause there is 6 different sentence letters.) I have only a shy background in computer science, and I'm curious if you could only solve these types of problems using a huge loop, or if you could solve them by interpretation, and which way would be easier? Thank you, AYCHAMO!