Binary resolution, Computer Engineering

Binary Resolution:

However we saw unit resolution for a propositional inference rule in the previous lecture: 

(A?  B,   ¬B) /A

Thus we can take this a little further to propositional binary resolution: 

A ? B,    ¬ B ? C / A?  C

There would be in Binary resolution gets its name from the fact that each sentence is a disjunction of exactly two literals. Thus we say here the two opposing literals B and ¬B are  resolved - and they are removed where the disjunctions are merged. 

Now in the binary resolution rule can be seen to be sound it means that if both A and C were false then at least one of the sentences at the top line would be false. Hence as this is an inference rule then we are supposing that the top line is true. So thus we can't have both A and C being false, that means either A or C must be true. After that we can infer the bottom line.

Posted Date: 1/11/2013 6:14:40 AM | Location : United States







Related Discussions:- Binary resolution, Assignment Help, Ask Question on Binary resolution, Get Answer, Expert's Help, Binary resolution Discussions

Write discussion on Binary resolution
Your posts are moderated
Related Questions

Q. Origin of RISC? In the 1980s a new philosophy developed having optimizing compilers which could be used to compile 'normal' programming languages down to instructions which

Conversion of fractional number 0.6875 into its equivalent binary number ? Ans. Multiply the fractional number 0.6875 with 2 until the remainder becomes 0 that is, Ther

Q. Example on hamming error correcting code? For illustration a 4-bit matching word can stand for 2 4 =16 values that range from 0 to 15 as: 0000, 0001, 0010, 0011, 0100, 01

Protocol used to monitor and control network devices operates at? Protocol operates at application layer to monitor and control network devices operates.

Write down the basic performance equation? T=N*S/R T=processor time N=no.of instructions S=no of steps R=clock rate

Explain the method to identify the Object Classes You would always be careful while identifying relevant object classes from application domain. Objects may include physical e

The digital circuits that we use now-a-days are constructed with NOR or NAND gates in place of AND-OR-NOT gates. NOR & NAND gates are known as Universal Gates as we can realize any

All SAP Databases are Relational Databases is the all sap databases.

Problem: (a) Describe how a Mobile Terminating call, from a PSTN phone, is processed in a GSM network. Illustrate your answer with a diagram. (b) What is a GPRS Support node