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 stored program control, Explain Stored Program Control. Stored...

Explain Stored Program Control. Stored Program Control: Modern digital computers utilize the stored programmed idea. Now, a program or a set of instructions to the computer i

Estimate the size of the state space, 1. The missionaries and cannibals pro...

1. The missionaries and cannibals problem. Three missionaries and three cannibals are on the left river bank, with a boat that can hold one or two people. If on either side of the

What is difference between cobol and vs cobol ii, In using COBOL on PC we h...

In using COBOL on PC we have only flat files and the programs can access only limited storage, while in VS COBOL II on M/F the programs can access up to 16MB or 2GB depending on th

Illustrate what is a astrophysics, Q. Illustrate what is a astrophysics? ...

Q. Illustrate what is a astrophysics? Answer:- Examine of galaxies, stars and the creation of the universe including predictions about how it will proceed from here.

What are the various functional verification methodologies, What are the va...

What are the various functional verification methodologies Ans: TLM (Transaction Level Modelling) Linting RTL Simulation (Environment  involving  :  stimulus  generators,

What is called when network address prefixed by 1110, Network address prefi...

Network address prefixed by 1110 is a? Network address prefixed through 1110 is a multicast address.

Explain the working of a weighted register d/a converter, With the help of ...

With the help of a neat diagram, explain the working of a weighted-resistor D/A converter. Ans Weighted Register D/A Converter:   Digital input that has 4 bits

Different types of coding in digital electronics, The code where all succes...

The code where all successive numbers differ from their preceding number by single bit is ? Ans. Gray Code, where all successive numbers are different from their preceding nu

Define the time when a block of data is ready to be read, The total time to...

The total time to prepare a disk drive mechanism for a block of data to be read from is its ? Ans. latency plus seek time is the total time to prepare a disk drive mechanism fo

One node at the highest level in the structure, There can be more than one ...

There can be more than one node at the highest level in the structure. False.  One can describe only single node at the highest level in the structure on LDB

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