Solving Logic Questions with Logic Programming

[aychamo]

Hey guys;

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!

 

[AKG]

I don't see how it would be too hard to create a program with the appropriate axioms, definitions, and rules of inference to solve logical problems. Solving these logical questions is mostly just a matter of following the rules of inference, I would imagine, and computer's are made to follow logical rules.

 

[ravenprp]

Hi AYCHAMO,

Yes, there are logic programs that can solve logic questions like the one you mentioned. These types of programs are known as logic programming languages and they are specifically designed to solve logical problems using a set of rules and facts.

One popular logic programming language is Prolog, which stands for "Programming in Logic". It is a declarative programming language, meaning that instead of giving a set of instructions for the computer to follow, you provide a set of facts and rules for the computer to use to solve the problem.

In your example, you could write a Prolog program that defines the rules for logical implication and negation, and then input the given statements as facts. The program would then use logical reasoning to determine if the conclusion (F v I) can be logically inferred from the given statements. This is known as automated theorem proving, where a computer is used to prove or disprove logical statements.

Using a logic programming language like Prolog would be much easier than using a huge loop to solve these types of problems. Prolog is designed specifically for solving logical problems and has built-in features for handling logical operators and inference rules. It would also be more efficient and accurate than trying to solve the problem manually.

I hope this helps answer your question. Best of luck with your studies!