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
Which is not a layer of IO management module? Ans. MCS that is Management Control System, is not a layer of IO management module.

Vector reduction Instructions When operations on vector are being decreased to scalar items as a result then these are vector reduction instructions. These instructions are ref


Throughput Throughput of a pipeline may be defined as number of results which have been achieved per unit time. It can be referred as: T = n / [m + (n-1)]. c = E / c Th

Common Tasks to Accomplish: Once you've worried about what and why you're doing "AI", what has inspired you and how you're going to approach the job, then you just start to th

Q. Show layout 84-key Keyboards? PC 83-key was the earliest keyboard provided by IBM with its first Personal Computers (PC). This had 83 keys. Afterwards IBM added one more key

What is a spanning Tree? A spanning tree is a tree associated with a network. All the nodes of the graph appear on the tree once. A minimum spanning tree is a spanning tree

What are the different types of layers in TCP/IP protocol stack? Layers into the TCP/IP protocol architecture are as given below: • Application Layer, • Host-to-Host Tra

Q. Define Interrupts and Instruction Cycle? Let's precise the interrupt process, on the event of an interrupt, an interrupt request (in form of a signal) is concerned to CPU. T

Rentrag has decided to replace all of the computers currently being used by all of the business and office staff. He has asked you to recommend a set of specification for computers