Notes on Logic: Difference between revisions