Modus ponens rule, Computer Engineering

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.

Posted Date: 1/11/2013 5:49:18 AM | Location : United States







Related Discussions:- Modus ponens rule, Assignment Help, Ask Question on Modus ponens rule, Get Answer, Expert's Help, Modus ponens rule Discussions

Write discussion on Modus ponens rule
Your posts are moderated
Related Questions
Explain Protection mechanism. Protection mechanism: The subsequent mechanisms are commonly utilized for protecting files having programs and data. (a) Access controls list

Q. Explain Data Parallel Programming? In data parallel programming model major focus is on performing concurrent operations on a data set. The data set is characteristically or

Show that a positive logic NAND gate is equivalent to negative logic NOR gate. Ans:  Positive logic denotes True or 1 with a high voltage and False or 0 with a low volt

How non-relocatable programs are different from relocatable programs? Non relocatable program: It is one that cannot be made to execute in any type of area of storage other t

Q. Describe about Second Generation Computers? Silicon brought advent of second generation computers. A two state device termed as a transistor was created from silicon. Transi

One cannot use SELECT statements in a report program linked to a Logical Database   False. You can use th SELECT statements.



Tools for Performance Measurement The reason behind these algorithms has been to gain a speed up and improve the performance. After the parallel algorithm has been written and

FACSIMILE : This is often known as 'fax' and it represents the interface between reprographic and computer technology. By using fax, the contents of a sheet of paper (text or illu