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
TARGET = "_blank" "_blank" opens new document in a new window. Run the code given in Figure and check how it works. This value doesn't require the use of any frames. "_blank"

usability of union

What is macro call? Explain. Macro call: While a macro name is used along with a set of actual parameters this is replaced through a code generated from its body. Such code

Explain the basic performance equation Ans: The basic performance equation is following T = N * S/ R T =>  It is processor time required to execute a program N => act

In a particular exchange during busy hour 1200 calls were offered to a group of trunks, during this time 6 calls were lost. The average call duration being 3 minutes Calculate Tr

What logic gets synthesized when I use an integer instead of a reg variable as a storage element? Is use of integer recommended? An  integer  can  take  place  of  a  reg  as

At a shop of marbles, packs of marbles are prepared. Packets are named A, B, C, D, E …….. All packets are kept in a VERTICAL SHELF in random order. Any numbers of packets with thes

For this part of your assessment you are required to prepare and conduct a usability test of the website that you have chosen to review from Part A . You must design the script,c

What is Thread? A thread, sometimes termed a lightweight process (LWP), is a fundamental unit of CPU utilization; this comprises a thread ID, a register set, a program counter

It's not trivial to execute nested functions such that they have the proper access to local variables in the having function(s), so they were deliberately left out of C as a simpli