Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Formal proof I think I'm stuck!

  1. Oct 15, 2004 #1
    I am trying to prove that AvB (which reads "A or B") is equivalent to Av~~B (which reads "A or not not B"). My steps are wrong... I checked them out on Fitch (the program we use in class to check validity of proofs). I can't write them out in here... I don't have the right symbols ... so maybe somebody can suggest a starting step that will help???
  2. jcsd
  3. Oct 15, 2004 #2
    NM!!!!! I got it all on my own! Wow, I am sooo super proud right now!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook