Propositional inference rules, Computer Engineering

Assignment Help:

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!!


Related Discussions:- Propositional inference rules

Register transfer - computer architecture, Register transfer - computer arc...

Register transfer - computer architecture: Register transfer: The output and input gates for register Ri are controlled by the signals Riout and Riin respectively.

Micro-programmed control, Q. MICRO-PROGRAMMED CONTROL? A substitute to ...

Q. MICRO-PROGRAMMED CONTROL? A substitute to a hardwired control unit is a micro-programmed control unit in which logic of the control unit is specified by a micro-program. A m

COA, During instruction execution, there are other parts of the CPU that ca...

During instruction execution, there are other parts of the CPU that can determine when a physical register might be freed. Briefly describe where else we can put freeing logic and

Describe message passing model, Q. Describe Message Passing Model? In ...

Q. Describe Message Passing Model? In message-passing model there be a set of tasks which employ their own local memories at the time of computation. Many tasks may inhabit on

Initial thought process, Initial thought process: Design a script which...

Initial thought process: Design a script which was simple and user friendly.  Integrate procedures/functions to extract data under the hood.  I focused on giving the user the o

Define physical context, Question : Context aware mobile web applicatio...

Question : Context aware mobile web applications are the important to achieve ubiquity, device independence and personalization. The context provides detailed information about

Hashing collision resolution techniques, Hashing collision resolution techn...

Hashing collision resolution techniques are a) Chaining, b) Bucket addressing

What is a resource-allocation graph, What is a resource-allocation graph? ...

What is a resource-allocation graph? Deadlocks can be described more precisely in terms of a directed graph known as a system resource allocation graph. This graph having of a

What is the function of an ip packet screening router, What is the function...

What is the function of an IP packet screening Router? Explain with the help of a diagram. Function of an IP Packet Screening Router: A screening router is the most fund

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd