Is Ram criminal? Write above sentences in First Order Predicate calculus and use resolution algorithm to answer Is Ram Criminal? 1. Why are propositional logic statements converted into conjunctive normal form (CNF)? Convert given clause to CNF. d. Define logical consequence. e. Why is propositional logic used? 3. Consider given sentences: Ram is a boy. Gita is a girl. Ram is husband of Gita If girl has husband then she is married. Write above sentences in First Order Predicate calculus and resolution algorithm to show Gita is married. . Represent the following paragraph using predicate logic and convert each sentence into clausual form. “The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American. ” a. In propositional logic what is meant by contradict statement? b. What is meant by conjunctive normal form? Show the relation between universal quantifier and existential quantifier a.
Define conjunctive normal form and disjunctive normal form. b. Why is predicate logic better than propositional logic? Parse the sentence “Ram is a good boy” using bottom up parsing 1. Represent the following sentence using propositional logic:- “If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned. ” Also prove using resolution that unicorn is magical and unicorn is horned.