adplus-dvertising
frame-decoration

Question

Let P, Q, R and S be Propositions. Assume that the equivalences P⇔(Q∨¬Q) and Q⇔R hold. Then the truth value of the formula (P∧Q)⇒((P∧R)∨S) is always :

a.

True

b.

False

c.

Same as truth table of Q

d.

Same as truth table of S

Answer: (a).True

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

Q. Let P, Q, R and S be Propositions. Assume that the equivalences P⇔(Q∨¬Q) and Q⇔R hold. Then the truth value of the formula (P∧Q)⇒((P∧R)∨S) is always :

Similar Questions

Discover Related MCQs

Q. Skolmization is the process of

Q. An expert system shell is an expert system without

Q. Match the following :
a. Supervised learning               1. The decision  system receives
                                                          rewards  for its action at the
                                                         end of a sequence  of steps.
b. Unsupervised  learning         2. Manual labels of inputs are
                                                          not used.

c. Reinforcement learning        3. Manual labels of inputs are used.
d. Inductive learning                   4. System learns by example
 
Codes :
a b c d

Q. A cryptarithmetic problem of the type

SEND
+ MORE
---------------
MONEY
---------------
Can be solved efficiently using 

Q. Match the foIlowing control strategies of prolog :

  a. Forward movement i. variable can be done with a constant another variable or a function

  b. Unification ii. the entire conjunctive goal is executed

  c. deep back tracking  iii.    Previous sub goal to find alternative solutions

 d. Shallow backtracking  iv.   Chooses sub goal with possible   unifier

codes:
a b c d

Q. High level knowledge which relates to the use of sentences in different contexts and how the context affect the meaning of the sentences?

Q. The objective of______ procedure is to discover at least one______that causes two literals to match.

Q. The mean-end analysis process centers around the detection of differences between the Current state' and goal state Once such a difference is isolated, an operator that can reduce the difference must be found. But perhaps that operator can not be applied to the current state. So a sub-problem of getting to a state in which it can be applied is set up. The kind of backward chaining in which operators are selected and then sub goals are set up to establish the precondition of operators is called

Q. In alpha-beta pruning, _______ is used to cut off' the search at maximizing level only and ___________is used to cut off the search at minimizing level only.

Q. Match the following:
a. Script                                               i. Directed graph with labelled nodes for graphical representation of knowledge
b. Conceptual Dependencies       ii. Knowledge about objects and events is stored in record-like structures                                                                                   consisting of slots and slot values.
c. Frames                                         iii. Primitive concepts and rules to represent natural language statements
d. Associative Network                   iv. Frame like structures used to represent stereotypical patterns for commonly                                                                          occurring events in terms of actors, roles, props and scenes

code:
a  b   c   d

Q. Match the following components of an expert system :

a. I/O interface                       i. Accepts user's queries and responds to question through I/O interface

b. Explanation module       ii. Contains facts and rules about the domain

c. Inference engine             iii. Gives the user,the ability to follow inferencing steps at any time during consultation

d. Knowledge base            iv. Permits the user to communicate with the system in a natural way

code:
a  b   c   d

Q. A computer based information system is needed :

I. as it is difficult for administrative staff to process data.
II. due to rapid growth of information and communication technology.
III. due to growing size of organizations which need to process large volume of data.
IV. as timely and accurate decisions are to be taken.

Which of the above statement(s) is/are true?

Q. Consider the following statements about a perception :

I. Feature detector can be any function of the input parameters.
II. Learning procedure only adjusts the connection weights to the output layer.

Identify the correct statement out of the following:

Q. Match the following learning modes w.r.t. characteristics of available information for learning :

a. Supervised        i. Instructive information on desired responses explicitly specified by a teacher.
b. Recording            ii. A priori design information for memory storing
c. Reinforcement    iii. Partial information about desired responses, or only "right" or "wrong" evaluative information
d. unsupervised      iv. No information about desired responses

code:
a   b   c   d

Q. "If my computations are correct and I pay the electric bill, then I will run out of money. If I don't pay the electric bill the power will be turned off. Therefore, if I don't run out of money and the power is still on then my computations are incorrect."
Convert this argument into logical notations using the variables c, b, r, p for propositions of computations, electric bills, out of money and the power respectively. (Where  ¬ means NOT)

Q. Match the following:

(a) (p →q) ⇔ (¬q → ¬p) (i) Contrapositive

(b) [(p ∧q) →r ]⇔ [p→ (q →r)] (ii) Exportation law

(c) (p →q)⇔ [(p ∧ ¬q) →o] (iii) Reductio ad absurdum

(d) (p⇔q)⇔ [(p →q) ∧(q→p)] (iv) Equivalence

code:
(a)  (b)  (c)   (d)

Q. Consider a proposition given as :

" x ≥ 6, if  x2 ≥ 25 and its proof as:

If x ≥ 6, then x2 = x· x= 6· 6=36 ≥25

Which of the following is correct w.r.to the given proposition and its proof ?
(a) The proof shows the converse of what is to be proved.
(b) The proof starts by assuming what is to be shown.
(c) The proof is correct and there is nothing wrong.

Q. The clausal form of the disjunctive normal form ¬ A ˅ ¬ B ˅ ¬ C ˅ D is :

Q. Which of the following is false for the programming language PROLOG?

Q. Which one of the following is true?