GATE CSE 2012 | Mathematical Logic Question 27 | Discrete Mathematics

PREVIOUS NEXT

GATE CSE 2012

MCQ (Single Correct Answer)

-0.3

What is the correct translation of the following statement into mathematical logic? "Some real numbers are rational"

$$\exists x\left( {real\left( x \right) \vee rational\left( x \right)} \right)$$

$$\forall x\left( {real\left( x \right) \to rational\left( x \right)} \right)$$

$$\exists x\left( {real\left( x \right) \wedge rational\left( x \right)} \right)$$

$$\exists x\left( {rational\left( x \right) \to real\left( x \right)} \right)$$

GATE CSE 2012

MCQ (Single Correct Answer)

-0.3

The truth table GATE CSE 2012 Discrete Mathematics - Mathematical Logic Question 43 English

Represents the Boolean function

$$X$$

$$X+Y$$

$$X \oplus Y$$

$$Y$$

GATE CSE 2008

MCQ (Single Correct Answer)

-0.3

A set of Boolean connectives is functionally complete if all Boolean function can be synthesized using those, Which of the following sets of connectives is NOT functionally complete?

EX-NOR

implication, negation

OR, negation

NAND

GATE CSE 2004

MCQ (Single Correct Answer)

-0.3

Identify the correct translation into logical notation of the following assertion.

$$Some\,boys\,in\,the\,class\,are\,taller\,than\,all\,the\,girls$$
Note: taller$$\left( {x,\,y} \right)$$ is true if $$x$$ is taller than $$y$$.

$$\left( {\exists x} \right)\left( {boy\left( x \right) \to \left( {\forall y} \right)\left( {girl\left( y \right) \wedge taller\left( {x,y} \right)} \right)} \right)$$

$$\left( {\exists x} \right)\left( {boy\left( x \right) \wedge \left( {\forall y} \right)\left( {girl\left( y \right) \wedge taller\left( {x,y} \right)} \right)} \right)$$

$$\left( {\exists x} \right)\left( {boy\left( x \right) \to \left( {\forall y} \right)\left( {girl\left( y \right) \to taller\left( {x,y} \right)} \right)} \right)$$

$$\left( {\exists x} \right)\left( {boy\left( x \right) \wedge \left( {\forall y} \right)\left( {girl\left( y \right) \to taller\left( {x,y} \right)} \right)} \right)$$

PREVIOUS NEXT