Universal elimination, Computer Engineering

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 we write the following to represent this rule:

  ∀v A/Subst({v/g}, A)

As show an example from Russell and Norvig that a rule can be used on the following sentence: as ∀X, likes(X, ice_cream) to substitute the variable 'ben' for X, for giving us the sentence as ben, ice_cream. In generally English, this might says that there given everyone like ice cream, so we can infer here that Ben likes ice cream. Thus this is not exactly rocket science and  just  for that it is worth bearing in mind beneath all the fancy symbols in logic, so we're really only saying simple things.

Posted Date: 1/11/2013 6:01:54 AM | Location : United States







Related Discussions:- Universal elimination, Assignment Help, Ask Question on Universal elimination, Get Answer, Expert's Help, Universal elimination Discussions

Write discussion on Universal elimination
Your posts are moderated
Related Questions
A very useful application of assembly is to generate delay loops. These loops are used for waiting for some time before execution of subsequent instruction. However how to find

The extra key inserted at the end of the array is called a Sentinel is the extra key inserted at the end of the array

Flag is known as Low order register & Accumulator is known as High order Register.


draw 4 bit binary to gray code

What is Difference between write back and write through cache? A caching method wherein modifications to data into the cache aren't copied to the cache source till absolutely n

Q. Write a Menu driven program to convert the given Decimal number into Binary, Octal and Hexadecimal number. (Fractional numbers are allowed)

Question: (a) A computer network can be a LAN or a WAN. Using appropriate diagrams and examples, explain what you understand by the term LAN. Your answer should also explain


How many select lines will a 16 to 1 multiplexer will have ?   Ans. For 16 to 1 MUX four select lines will be needed to select 16 (2 4 ) inputs.