And-elimination-introduction rule - artificial intelligence, Computer Engineering

And-Elimination-Introduction rule - Artificial intelligence:


In English, this says that "if you know that many things are all true, then you know that any 1 of them is also true". It means that you can make a simple conjunction by just taking 1 of the conjuncts (in effect, eliminating the   s).

A1   A2 ... An /Ai

Note that 1 ≤ i ≤ n.


In English language, this says that "if we know that many things are true, then we know that the conjunction of all of them is true", so we may introduce conjunction ('and') symbols.

A1,   A2,  ...,   An/ A1 ∧ A2   ...   An

This cannot seem to be saying much. Though, lets that at our knowledge base we are working with very different sentences at different places, and we know some of them are true.  Then we may make a bigger sentence out of them by conjoining the smaller ones.

Posted Date: 10/2/2012 8:17:05 AM | Location : United States

Related Discussions:- And-elimination-introduction rule - artificial intelligence, Assignment Help, Ask Question on And-elimination-introduction rule - artificial intelligence, Get Answer, Expert's Help, And-elimination-introduction rule - artificial intelligence Discussions

Write discussion on And-elimination-introduction rule - artificial intelligence
Your posts are moderated
Related Questions
Your code will be tested using a command script. The script is available on Blackboard in the archive It contains a ReadMe file that explains how to run the script

Solve the equation 65.535 10 = X 16 Ans. In order to get X, convert the Decimal number 65.535 in its equal Hexadecimal form. So first taking 65 the integer part to convert in i

Write a program which collects in data samples from a port at 1 ms interval. The upper 4 bits collected data same as mastered and stored in an array in successive locations. ; R

Distributivity of Connectives : In our last analogy with arithmetic will involve a very well-technique need for playing around with algebraic properties. But assume there if w

Discuss about Constrained-Random Verification Methodology Advent  of  constrained-random  verification  gives  verification  engineers  an  effective  method  to achieve covera

Give your analysis for the following problem statement: You require to write a program that calculates the area and perimeter of a rectangle whose dimensions (Length &width) are gi

Explain non-adapting routing. Systems which do not implement adaptive routing are explained as using non-adapting or static routing, which routes by a network are explained by

Which datatype cannot be used to define parameters. Type F datatype is not used to explain parameters.

Build the circuit using the Asynchronous Counter Technique with JK FF and relevantgates capable of executing the counting sequence as {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}Simulate the cir