MIME-Version: 1.0 Content-Location: file:///C:/48F69A39/Test-Fall09.htm Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="us-ascii" Synchronous Sessions -- Test

Test

October 2009

 

Major Topics

 <= /span>

1.   Propositional Logic

a.   If-then variations

      Necessity<= o:p>

      Only if

b.   Identities and Implications, Dual

c.    Proof of Identities & Implications

2.   Predicate Logic

a.   Quantifiers

b.   English to Logic

c.    Negation

d.   Inference Rules

3.   Set Theory

  Proofs involving subset relation a= nd set equality