Modus ponens rule, Computer Engineering

Assignment Help:

Modus ponens rule:

In fact the general format for the modus ponens rule is as follows: like if we have a true sentence that states the proposition A implies proposition B and we see that proposition A is true, where we can infer that proposition B is true. So the notation we use for this is as follows: 

(A→B, A)÷B

Hence it is an example of an inference rule. There is the comma above the line indicates both these things in our knowledge base so we see there the line stands for the deductive step. However, if we know there both the propositions above the line are true so we can deduce in which the proposition below the line is also true. In fact generally, an inference rule as

A ÷B

is sound  if we can be sure there that like A  entails B, i.e. B is true where A is true. In formally, there A entails B means such as if M is a model of A then M is also a model of B. Than we write this as

737_Other Equivalences1.png

After that this gives us a way to check the soundness of propositional inference rules: (i) draw up a logic table for both A and B estimating them for all models, other is (ii) check that where A is true and then B is also true. So here we don't care that about the models for which A is false.


Related Discussions:- Modus ponens rule

Explain 100 line exchange with two-motion line finders, Explain 100 line ex...

Explain 100 line exchange with two-motion line finders. Design: In such design, here are 24 line finders. When any of the 100 subscribers has to find access to any of the 24

What is link destruction, What is link destruction? Link destruction is...

What is link destruction? Link destruction is inverse of link creation. When a link is destroyed makes sure the associated objects accessible by other handles or intentionally

Define opcode and operands, Q. Define Opcode and Operands? The most com...

Q. Define Opcode and Operands? The most common fields which are found in instruction formats are: Opcode: (What operation to perform?)  An operation code field cal

Decimal equivalent of hex number 1A53, What is the decimal equivalent of he...

What is the decimal equivalent of hex number 1A53 ? Ans. 6739 is the decimal equivalent of Hex Number 1A53. From Hex Number to Decimal Number conversion is shown below: 1

Explain bitwise left shift and right shift operators, Bitwise Left Shift an...

Bitwise Left Shift and Right Shift Operators: > shift-expression : additive-expression shift-expression > additive-expression The bitwise shift operators shift their

What is assembly, What is assembly Assemblies are the building blocks o...

What is assembly Assemblies are the building blocks of .NET Framework applications; they variety the fundamental unit of deployment, version control, reuse, activation scoping,

Purpose of storage - computer architecture, Purpose of storage: Several...

Purpose of storage: Several different forms of storage, based on different natural phenomena, have been invented.  So far, no practical universal storage medium persists, and a

Make an instruction execution feasible, Q. Make an instruction execution fe...

Q. Make an instruction execution feasible? What are the functions that a control unit performs to make an instruction execution feasible? Instruction execution is achieved by e

Legacy systems and current infrastructure, Legacy systems and current infra...

Legacy systems and current infrastructure - Information System This problem is most easily understood using the everyday example of the rail ways where the rail network infras

The mercantile process model, The mercantile process model consists of whic...

The mercantile process model consists of which of the pahase(s): The pre-purchase phase. Purchase consummation phase. Post-purchase Interaction phase.

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