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
how can get payment

The First In First Out method assumes items of stocks are issued in the same order as they are received. Thus the goods received first are assumed to be the first to be issued .Any

Elaborate protected mode memory addressing in brief. Protected mode interrupt: In protected mode, interrupts have exactly the same assignments as in real mode though int

ASP.NET MVC uses ASP.NET routing, to map incoming browser requests to controller action process. ASP.NET Routing makes use of route table. Route table is formed when your web appli

Classify computer systems according to capacity. How they are different from computers according to the classification of technology. Provide comparative study also.

Briefly explain the floating point representation with an example? The floating point representation has 3 fields 1.sign bit 2.siginificant bits 3.exponent For  exa

Q. Why we need parallel programming languages? The parallel programming languages are created for parallel computer environments.  These are developed either by creating new la

Your JDBC code may throw the following exception: "The coordinator has rolled back the transaction.No further JDBC access is permitted within this transaction." The WebLogic

Handler's Classification In 1977, Wolfgang Handler proposed an detailed notation for expressing the parallelism and pipelining of computers. Handler's classification addresses

What is a multiple line field? A multiple line field is a special part of field which allows the user to enter multiple lines of data into it.