**Dawson College: Principles of Mathematics and Logic:** 360-124-DW-S02: Winter 2013

taught by Yann Lamontagne

*I don’t know — a proof is a proof. What kind of a proof ? It’s a proof. A proof is a proof, and when you have a good proof, it’s because it’s proven.*Jean Chretien, Past Prime Minister of Canada

**Follow obeymath.org on: twitter, facebook**

**News:**

- 16/05/13
- Have a great summer!
- 08/05/13
- Test 2 Outline:

10 marks on logical equivalence (similar to webwork on logical equivalence)

15 marks on justifying a natural deduction proof (similar to assignment)

25 marks on two natural deduction proof (similar to quiz) - 08/05/13
- Exam Office Hours: Friday May 10th from 10h00 to 12h00 and 14h30 to 16h00.

Tuesday May 14th from 13h00 to 16h00.

Wednesday May 15th from 9h00 to 10h00 and 14h30 to 17h30. (priority to Logic students)

Thursday May 16th from 9h00 to 12h00. (priority to Calculus students). - 26/04/13
- Extra office hours on Monday the 29th of April from 11h00 to 15h00 and Tuesday the 30th of April from 10h00 to 13h00.
- 31/03/13
- Extra office hours on Tuesday the 2nd of April from 10h00 to 11h30 and 2h30 to 18h00.
- 22/02/13
- Office hours cancelled on Tuesday the 26th from 14h30 to 16h00.

Extra office hours on Monday 25th from 13h00 to 15h00 and on Tuesday the 26th from 11h00 to 13h00 - 20/01/12
- Room changed to 3E.3.
- 08/10/12
- Welcome.

**Outline:**

360-124-dw-S02.pdf

**Academic Calendar:**

Winter 2013: Academic Calendar

**Grades:**

Up to date grades can be consulted online at https://dawsoncollege.omnivox.ca.

**Slides:**

PASSWORDS

Introduction (Logic in Liberal Education, A Brief History of Logic, Logic Today)

Introduction to Logic (Basic definitions in Logic, Deductive Logic and Inductive Logic)

Introduction to Propositional Logic (Symbolizing Arguments, Atomic Statements, Truth-Functional Connectives, Complex Statements)

Truth Tables

Tautologies, Contradictions, and Contingent Statements

Truth Tables and Valid Arguments

Logical Equivalence, Converse and Contra-positive

Rules of Inference of Propositional Logic

Natural Deduction

**Text:**

[B] | A Problem Course in Mathematical Logic by Stefan Bilaniuk |

[H] | Book of Proof by Richard Hammack |

[KS] | The History of Logic, The Oxford Companion to Philosophy by King, P & Shapiro, S. |

[M] | forallx: An Introduction to Formal Logic by P.D. Magnus |

[MM] | Proofs and Concepts: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris |

[R] | A Short Account of the History of Mathematics by W. W. Rouse Ball |

[S] | Principles of mathematics and logic by R A G Seely |

**Video Tutorial:**

Logical equivalence

Logical equivalence without truth tables

Natural Deduction Examples 1

Natural Deduction Examples 2

**WebWork:**

http://webwork.dawsoncollege.qc.ca/webwork2/360-124-DW

**Assignments:**

360-124-dw-S01_natural_deduction.pdf

360-124-dw-S01_natural_deduction_solutions.pdf

360-124-dw-S01_natural_deduction_subproof.pdf

360-124-dw-S01_natural_deduction_subproof_solutions.pdf

360-124-dw-S01_natural_deduction_contradiction.pdf

360-124-dw-S01_natural_deduction_contradiction_solutions.pdf

**Quizzes:**

360-124-dw-S02_quiz_translation.pdf

360-124-dw-S02_quiz_translation_solutions.pdf

360-124-dw-S02_quiz_translation_v2.pdf

360-124-dw-S02_quiz_translation_v2_solutions.pdf

360-124-dw-S02_quiz_truth_table.pdf

360-124-dw-S02_quiz_truth_table_solutions.pdf

360-124-dw-S02_quiz_truth_table_v2.pdf

360-124-dw-S02_quiz_truth_table_v2_solutions.pdf

360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements.pdf

360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements_solutions.pdf

360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements_v2.pdf

360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements_v2_solutions.pdf

360-124-dw-S01_quiz_natural_deduction.pdf

360-124-dw-S01_quiz_natural_deduction_solutions.pdf

**Tests:**

360-124-dw-S02_test_1.pdf

360-124-dw-S02_test_1_solutions.pdf

360-124-dw_test_2.pdf

360-124-dw_test_2_solutions.pdf

**Other:**

youtube: Sarah's Certain Death Riddle

Bertrand Russell - Face to Face Interview (BBC, 1959)

Logicomix: An Epic Search for Truth

360-124-dw-example_truth_table.pdf

Natural Deduction Examples 1

Natural Deduction Examples 2

360-124-dw-examples_natural_deduction.pdf

360-124-dw-rules_of_inference.pdf

**Competitions:**

Mathematics Competition held at Dawson College