Prove the following argument valid or invalid:
If either diplomacy succeeds ( D ) or Saddam steps down ( S ), then both war with Iraq is averted ( W ) and world peace ensues ( P ). If terrorist attacks continue ( T ), then world peace does not ensue ( ¬P ). Either Saddam steps down ( S ) or terrorist attacks continue ( T ). Saddam does not step down ( ¬S ). Therefore diplomacy does not succeed ( ¬D ).
Your finished lab should consist of the symbolization of the above argument, a truth table of 32 rows and at least 5 columns with the conclusion, "This argument is valid." or "This argument is invalid." at the bottom, and the code used for your proof.
Converted by Mathematica (February 2, 2003)