Question
a.
proof by intersection
b.
proof by union
c.
proof by contradiction
d.
proof by injection
Posted under Web Technologies
Engage with the Community - Add Your Comment
Confused About the Answer? Ask for Details Here.
Know the Explanation? Add it Here.
Q. A proof can get by negating goal for goal's answer is called
Similar Questions
Discover Related MCQs
Q. By considering rule, X<sub>1</sub>, . . . X<sub>n</sub> ? Y, X<sub>1</sub>,
View solution
Q. By considering rule, X<sub>1</sub>, . . . X<sub>n</sub> ? Y, X<sub>1</sub>, X<sub>n</sub> and Y is called
View solution
Q. By considering rule, X<sub>1</sub>, . . . X<sub>n</sub> ? Y, Y is called
View solution
Q. By considering rule Client(A), age(B) > 70 ? discount(A), element that denotes fixed value is called
View solution
Q. In monotonic rule, if n=0 in expression X<sub>1</sub>, . . . X<sub>n</sub> ? then goal is said to be
View solution
Q. By considering rule Client(A), age(B) > 70 ? discount(A), element that relates Client and > is called
View solution
Q. By considering rule Client(A), age(B) > 70 ? discount(A), element that returns values from arguments such as age is called
View solution
Q. In path expression, addressable node is specified by
View solution
Q. Using Xpath, an alternative to /school/class is
View solution
Q. Using Xpath, right way to address all 'subject' attribute having word 'compulsory' with in 'school' element is
View solution
Q. Using Xpath, right way to address 'subject' attribute of 'class' element node is
View solution
Q. Using Xpath, right way to address all 'subject' attribute having title 'compulsory' is
View solution
Q. Acronym for XQL is
View solution
Q. Acronym for XQuery is
View solution
Q. In path expression, relationship among addressable node and context node is specified by
View solution
Q. XML query language dominant concept is
View solution
Q. To avoid name conflicts for file referencing, XML schema use technique of
View solution
Q. Defeasible logic program is a set of
View solution
Q. Rules that can be defeated by other rules are called
View solution
Q. Conflicts occurs among
View solution
Suggested Topics
Are you eager to expand your knowledge beyond Web Technologies? We've curated a selection of related categories that you might find intriguing.
Click on the categories below to discover a wealth of MCQs and enrich your understanding of Computer Science. Happy exploring!
