Proof by contradiction, Computer Engineering

Proof by Contradiction:

Now for forward chaining and backward chaining both have drawbacks. But another approach is to think about proving theorems by contradiction. So we can say these are very common in mathematics: mathematicians simply some axioms, after do this make an assumption. In fact after some complicated mathematics there they have shown like an axiom is false or something derived from the axioms that did not involve the assumption is false. So as the axioms are irrefutably correct because the assumption they made must be false. However the assumption is inconsistent with the axioms of the theory. Just To need this for a particular theorem that they want to prove is true but they negate the theorem statement for use this as the assumption they are going to show is false. But as the negated theorem must be false, then their original theorem must be true. Bingo! 

Now we can program our reasoning agents to do just the same. Just to simplify this as a search problem, then therefore we have to say that as the axioms of our theory and the negation of the theorem that we want to prove are the initial search states. Thus if we can deduce the false statement from our axioms so the theorem we were trying to prove will the false statement from our axioms and the theorem we were trying to prove will indeed have been proven. Because not only can we use all our rules of inference also have a goal to aim for.

Posted Date: 1/11/2013 6:08:52 AM | Location : United States







Related Discussions:- Proof by contradiction, Assignment Help, Ask Question on Proof by contradiction, Get Answer, Expert's Help, Proof by contradiction Discussions

Write discussion on Proof by contradiction
Your posts are moderated
Related Questions
Q. Explain Sample Instruction Format of MIPS instruction? All MIPS instructions are of same size and are 32 bits long. MIPS designers chose to keep all instructions of same len

clasification of bus

TYPEWRITERS : Typewriter is the most common machine used in almost all offices. Typewritten letters are attractive in appearance as compared to handwritten ones. The same matter c

The term byte stuffing refers to: The term byte stuffing consider as to data stuffing used along with character -oriented hardware.

Universal Elimination: Here for any sentence, there is A, containing a universally quantified variable, v, just for any ground term, g, so we can substitute g for v in A. Thus

Like SPMD, MPMD is actually a "high level" programming model that can be built upon any combination of the previously mentioned parallel programming models. MPMD applications ty

Most interactive products aim to satisfy a variety of usability and user experience goals. Fully satisfying all of these goals is rarely, if ever, feasible, either because of pract

Direct or random access of elements is not possible in:- In Linked list direct or random access of elements is not possible

What is .NET / .NET Framework?  It is a Framework in which Windows applications might be developed and run. The Microsoft .NET Framework is a platform for building, deploying,

Q. How to Set Table Properties in dreamweaver? Now you will use table Property inspector to clear the extra space in navigation buttons table and to add a background color in t