Discrete Structures

Lecture Notes Supplement, 22 Oct 2010

Last Update: 22 October 2010

Note: NEW or UPDATED material is highlighted


Note: A username and password may be required to access certain documents. Please contact Bill Rapaport.


Index to all lecture notes
…Back to lecture of 10/22


Here's the syntactic proof that:

To show that 2 propositions are logically equivalent,
we need to show that each implies the other.

  1. Show [(A1A2) → B] → [(A1B) ∧ (A2B)]:

  2. Show [(A1B) ∧ (A2B)] → [(A1A2) → B]:
QED


Back to lecture of 10/22


(*)"mutatis mutandis" is Latin for: "changing what needs to be changed".
As used here, it's mathematical jargon meaning: Repeat the same proof as before, but change whatever needs to be changed, e.g., subscripts, etc.


Text copyright © 2010 by William J. Rapaport (rapaport@buffalo.edu)
Cartoon links and screen-captures appear here for your enjoyment. They are not meant to infringe on any copyrights held by the creators. For more information on any cartoon, click on it, or contact me.
http://www.cse.buffalo.edu/~rapaport/191/F10/lecturenotes-supplement-20101022.html-20101021