Propositional inference rules, Computer Engineering

Propositional Inference Rules:

Propositional Inference Rules Equivalence rules are mostly useful because of the vice-versa aspect, that means like we can search backwards and forwards in a search space using them. Thus, we can perform bi-directional search, that is a bonus. Moreover, what if we know the one sentence or set of sentences that being true implies that another set of sentences is true. So just for instance here the following sentence is used ad nauseum in logic text books as: 

'All men are mortal'

'Socrates was a man'

Hence, 'Socrates is mortal' 

Above example is of the application of a rule of deduction which is called as Modus Ponens. Hence we considered that we have deduced the fact in which 'Socrates is mortal' from the two true facts i.e. 'all men are mortal' and 'Socrates was a man'. It means that we know the rule about men being mortal and the classification of Socrates as a man are true and we can infer with certainty is just because we know the cmodus ponens is sound in which Socrates is going to die - which, obviously, he did. Evidently, it doesn't make sense to go backwards as with equivalences: so we would deduce that, like Socrates being mortal implies here that he was a man so all men are mortal!!

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







Related Discussions:- Propositional inference rules, Assignment Help, Ask Question on Propositional inference rules, Get Answer, Expert's Help, Propositional inference rules Discussions

Write discussion on Propositional inference rules
Your posts are moderated
Related Questions
Q. Combined Parallel Work-sharing Constructs? Combined parallel work sharing constructs are shortcuts for specifying a work sharing construct nested instantaneously in a parall

Develop and submit an original implementation of a data entry application. Identify and declare variables which will hold all data that needs to be entered to fill in the attached

Normal 0 false false false EN-IN X-NONE X-NONE MicrosoftInternetExplorer4 Select a range of a

Explain about Annotational Notations These notations may be applied to describe remark and illuminate about any element in the model. They are considered as explanatory of U

Explain the use of structures with pointers C permits a pointer to a structure variable. In fact a pointer to a structure is same to a pointer to any other variable. The pointe

What are latches and flipflops? There are two types of circuits as follows: a. Combinational b. Sequential Flipflops and latches both come into the category of "sequen

What is the state of the register in Figure  after every clock pulse if it begins in the 101001111000 state?

Define deadlock. A process requests resources; if the resources are not available at that time, the method enters a wait state. Waiting processes might never again change state

Multiprogramming is a rapid switching of the CPU back and forth among processes.

Meaning of Literal is:- Literal is string constant.