PrinciplesOfMathematicsAndLogic360-124-DWLogicComponentS02

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

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