Awesome q2a theme
0 votes

which of the following options are equivalent to statement?


in Mathematical Logic by (64 points) | 23 views
option A
correct, how did you do it...

1 Answer

0 votes
Best answer

$\forall xP(x) \vee \exists yP(y)$ is true

$\implies$ either $\forall xP(x)$ is true or  $\exists yP(y)$ is true …..$(i)$


Now, if $P(x)$ is true for all $x$ then $P(x)$ will be true for some $x$ also right ?

i.e. $\exists xP(x)$ is true , put this in eq $(i)$

$\implies$ either $\exists xP(x)$ is true or  $\exists yP(y)$ is true

$\implies \exists xP(x) \vee \exists yP(y)$ is true

write $x$ in place of $y$

$\implies \exists xP(x) \vee \exists xP(x)$ is true

$\implies \exists xP(x) $ is true

$\therefore$ Option A is correct.

by (4.1k points)
selected by
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
Top Users Jul 2020
  1. Shaik Masthan

    39 Points

  2. hiteshpujari

    9 Points

  3. Meghana518

    6 Points

  4. bittujash

    6 Points

  5. Pawan_k

    6 Points

  6. srestha

    5 Points

  7. RavGopal

    4 Points

  8. Anirban Chand

    4 Points

  9. Mk Utkarsh

    4 Points

  10. abcd9982

    3 Points

7,536 questions
1,781 answers
90,472 users