MCQs of Propositional Logic (Discrete Mathematics - 3140708)

Discrete Mathematics (3140708) MCQs

MCQs of Propositional Logic

Showing 11 to 20 out of 40 Questions

11.

consider the statements

P :

mark is rich. and

Q :

Mark if happy. Then the symbolic form of the statement "Mark is poor but happy" is _______.

(a)	$P \land Q$
(b)	$˥ P \land Q$
(c)	$˥ P \lor Q$
(d)	$P \lor Q$

12.

Given the truth values of

P

and

Q

T

and those of

R

and

S

F

, the truth value of

(˥ P \land Q) \lor ˥ R \land S

is ________.

(a)	$T$
(b)	$F$
(c)	$T$ or $F$
(d)	none of the above.

13.

A statement formula is an expression which is a string consisting of ________.

(a)	variables
(b)	parentheses
(c)	connectives
(d)	all of above

14.

A

and

B

are well-formed formulas then which of the following is not a well-formed formula?

(a)	$(A \land B)$
(b)	$(A \to B)$
(c)	$˥ (A \lor B)$
(d)	$˥ A \lor B$

15.

A given statement formula is called a tautology if the final column of the truth table contain ________.

(a)	only $T$
(b)	only $F$
(c)	$T$ as well as $F$
(d)	none of the above.

16.

if final column of a truth table of a given statement formula has all

F

then it is called _______.

(a)	a contradiction.
(b)	a tautology.
(c)	a negation statement.
(d)	none of the above.

17.

If truth values of a statement formula

A

is equal to the truth values of a statement formula

B

, then which of the following is true?

(a)	$A$ is equivalence to $B$ .
(b)	$B$ is equivalence to $A$ .
(c)	$A$ and $B$ are said to be equivalent.
(d)	all of the above.

18.

The formulas

A

and

A^{*}

are said to be ________ of each other if either one can be obtained from the other by replacing

\land

\lor

and

\lor

\land

(a)	equivalents
(b)	duals
(c)	contradicts
(d)	tautological implications

19.

A statement

A

is said to tautologically imply a statement

B

if and only if _______ is a tautology.

(a)	$B \to A$
(b)	$A \to B$
(c)	$A \land B$
(d)	$A \lor B$

20.

Let

A

and

B

be two statement formulas, then which of the following is a tautology?

(a)	$A \land B$
(b)	$A \to B$
(c)	$A \lor B$
(d)	$(A \lor B) \lor ˥ B$

Showing 11 to 20 out of 40 Questions