GATE CSE 2014 Set 1 | Mathematical Logic Question 17 | Discrete Mathematics

GATE CSE 2014 Set 1

MCQ (Single Correct Answer)

-0.6

Which one of the following propositional logic formulas is TRUE when exactly two of $$p, q,$$ and $$r$$ are TRUE?

$$\left( {\left( {p \leftrightarrow q} \right) \wedge r} \right) \vee \left( {p \wedge q \wedge \sim r} \right)$$

$$\left( { \sim \left( {p \leftrightarrow q} \right) \wedge r} \right) \vee \left( {p \wedge q \wedge \sim r} \right)$$

$$\left( {\left( {p \to q} \right) \wedge r} \right) \vee \left( {p \wedge q \wedge \sim r} \right)$$

$$\left( { \sim \left( {p \leftrightarrow q} \right) \wedge r} \right) \wedge \left( {p \wedge q \wedge \sim r} \right)$$

GATE CSE 2013

MCQ (Single Correct Answer)

-0.6

What is the logical translation of the following statement?
"None of my friends are perfect."

$$\exists x\left( {F\left( x \right) \wedge \neg P\left( x \right)} \right)$$

$$\exists x\left( {\neg F\left( x \right) \wedge P\left( x \right)} \right)$$

$$\exists x\left( {\neg F\left( x \right) \wedge \neg P\left( x \right)} \right)$$

$$\neg \exists x\left( {F\left( x \right) \wedge P\left( x \right)} \right)$$

GATE CSE 2013

MCQ (More than One Correct Answer)

-0.6

Which one of the following is NOT logically equivalent to $$\neg \exists x\left( {\forall y\left( \alpha \right) \wedge \left( {\forall z\left( \beta \right)} \right)} \right)?$$

$$\forall x\left( {\exists z\left( {\neg \beta } \right) \to \forall y\left( \alpha \right)} \right)$$

$$\forall x\left( {\forall z\left( \beta \right) \to \exists y\left( {\neg \alpha } \right)} \right)$$

$$\forall x\left( {\forall y\left( \alpha \right) \to \exists z\left( {\neg \beta } \right)} \right)$$

$$\forall x\left( {\exists y\left( {\neg \alpha } \right) \to \exists z\left( {\neg \beta } \right)} \right)$$

GATE CSE 2011

MCQ (Single Correct Answer)

-0.6

Which one of the following options is correct given three positive integers $$x, y$$ and $$z$$, and a predicate
$$P\left( x \right) = \neg \left( {x = 1} \right) \wedge \forall y\left( {\exists z\left( {x = y * z} \right) \Rightarrow \left( {y = x} \right) \vee \left( {y = 1} \right)} \right)$$

$$P(x)$$ being true means that $$x$$ is a prime number

$$P(x)$$ being true means that $$x$$ is a number other than 1

$$P(x)$$ is always true irrespective of the value of $$x$$

$$P(x)$$ being true means that $$x$$ has exactly two factors other than 1 and $$x$$

PREVIOUS NEXT