What are the negations of complex statements in statement logic?

  • Thread starter Thread starter test_notagain
  • Start date Start date
  • Tags Tags
    Logic
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 3K views
test_notagain
Messages
2
Reaction score
0
1. Negate the following statements

(i): [tex]\forall[/tex]x[tex]\in[/tex]R [tex]\exists[/tex]y[tex]\in[/tex]R such that x+y=0

(ii): introduction: Each of us got, let's say, 20 bags of green apples.
Actual Statement: At least one of us (each) found at least one red apple in at least one bag (each). (Each person and each one of it's bags are treated separately)

2. Homework Equations /3. The Attempt at a Solution
No idea. I'm completely lost here.

Please help, as I have no idea how to negate complex/multi-element statements.
 
Physics news on Phys.org
Welcome to PF!

test_notagain said:
1. Negate the following statements
…
At least one of us (each) found at least one red apple in at least one bag (each). (Each person and each one of it's bags are treated separately) …

Hi test_notagain! Welcome to PF! :smile:

(have an exists: ∃ and an in: ε and a for-all: ∀ :wink:)

Let's try (ii) first …

the opposite of something beginning "At least one of us has …" is "There exists one of us who hasn't …"

can you go on from there? :smile:
 


Thanx tiny-tim, but I still don't get it because there are 3 parts to statement (ii)... And what is the negation of the first one (i)?