Which is also called single inference rule?

Related MCQs

• Which rule is equal to resolution rule of first-order clauses?
• Which are needed to compute the logical inference algorithm?
• Which is a refutation complete inference procedure for propositional logic?
• From which rule does the modus ponens are derived?
• Which is created by using single propositional symbol?
• Following is also called as exploratory learning:
• What can be viewed as single leteral of disjunction?
• The process by which you become aware of messages through your sense is called
• Which knowledge base is called as fixed point?
• Which form is called as conjunction of disjunction of literals?