Rule in a single direction - equivalences rules, Computer Engineering

Rule in a single direction - equivalences rules:

Hence there the power to replace  sub expressions always allows use to prove theorems with equivalences: as given in the above example, that a theorem S[A']↔S[B'] we can use the equivalence as A≡B to  rewrite  same that theorem to the equivalent as S[A']↔ S[A'], that we know to be true. By proper given a set of equivalences we can prove or disprove that a complex theorem through rewriting it to something logically equivalent which we already know to be true or may false. 

There is the fact that we can rewrite for instances of A to instances of B is expressed in terms of the rewrite rule A => B. Evidently, now we can also rewrite Bs to As, that we could use the rewrite rule B => A instead. Moreover, it's very easy to see that having an agent use both rules is dangerous, but as it could get stuck in a loop A => B => A => B => ... and so. Thus, now we typically use atlest one of the rewrite rules for a particular equivalence that we 'orient' the rule in a single direction. But if we do use both then we use to make sure we don't get stuck in a loop.

Posted Date: 1/11/2013 5:33:33 AM | Location : United States







Related Discussions:- Rule in a single direction - equivalences rules, Assignment Help, Ask Question on Rule in a single direction - equivalences rules, Get Answer, Expert's Help, Rule in a single direction - equivalences rules Discussions

Write discussion on Rule in a single direction - equivalences rules
Your posts are moderated
Related Questions
provide answers for Luminous Jewels - The Polishing Game?

What is the basic requirement for establishing VLANs?

Vuser_init action haves procedures to login to a server.

What is an interpreted languages In interpreted languages, the instructions are implemented immediately after parsing. Both tasks are done by the interpreter. The code is sav

IS strategy - Information System As an operations manager when attempting to navigate your organisation through the information landscape and make best use of the available sy

What is a Spool request? Spool requests are formed during dialog or background processing and placed in the spool database with information about the printer and print format.

1's complement representation of decimal number of -17 by using 8 bit representation is ? Ans. (17) 10 = (10001) 2 In 8 bit = 00010001 1's Complement = 11101110

One cannot use SELECT statements in a report program linked to a Logical Database   False. You can use th SELECT statements.

Q. What do you mean by Resolution? Resolution is parameter which defines possible sharpness or clarity of a video image.  Resolution is defined as number of pixels which make u

Explain difference between Dynamic and static binding. Dynamic and static binding: Dynamic binding is a binding performed after the execution of a program has immediately beg