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. Explain the following: a) Gray code b) Parity code c) Overflow Q. Give the counting up to 30 in Base 5. Q. Convert (175.6)8 into Gray code and Excess-3 code.

What is system conception? It deals with genesis of an application and formulating tentative needs. The purpose of the system conception is to defer details and understand what

Orbix is a CORBA ORB (Object Resource Broker) - a commercial software product which helps programmers builds distributed applications. Orbix is an execution of the OMG's (Object Ma

Internet:  The Internet, an umbrella term cover countless network and services that comprise a super-network, is a global network of computer networks that was started in the 1

Explain the term Confidentiality - Firewall Design Policy Whilst some corporate data is for public consumption, the vast majority of it should remain private.

what is computer

Q. Example of shared programming using library routines? Think about subsequent set of statements  Process A                                  Process B                  :

Q. Explain about Microprocessors? Microprocessors have instruction sets ranging from 20 to several hundred instructions, known as microprograms, which are stored in ROM to init


Q. Explain the following: a. BCD code b. Gray code c. Excess-3 code d. True complement method Q. Addition-Subtraction-Multiplication-Division: Perform Binary Addi