Awesome q2a theme
0 votes

Which of the following first order logic statement is equivalent to below statement ? 
If anyone cheats, everyone suffers.  

S1: \forall x (\text{cheat(x)}\rightarrow \forall y \text{ suffer (y)})

S2:  \exists x \text{ cheat(x)}\rightarrow \forall y \text{ suffer (y)}

A. Only S1

B. Only S2

C. Both S1 and S2

D. None 

in Mathematical Logic by (403 points) | 35 views

1 Answer

0 votes
S1: For all x ( either x does not cheats OR everyone will suffer) so it is not correct representation since everyone can suffer even if x does not cheats.

S2:If there exist at least one $x$ that cheats then everyone suffers.

so  only S2 is correct.
by (4.1k points)
Answer they gave is A.
S1 is exact representation of it. But S2 seems fine to me.
how s1 can be correct. It is an OR gate so either one of them can be true.
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. fazin

    7 Points

  4. srestha

    7 Points

  5. gaurav2697

    6 Points

  6. Venkatesh Akhouri

    6 Points

  7. Meghana518

    6 Points

  8. beastincarnate

    6 Points

  9. athenahermes

    6 Points

  10. bittujash

    6 Points

7,561 questions
1,783 answers
90,493 users