PrinciplesOfMathematicsAndLogic360-124-DWLogicComponentS01 | obeymath.org

October 14, 2015, at 06:08 PM EST by 198.168.48.36 -

Added lines 110-111:

360-124-dw_test_2.pdf
360-124-dw_test_2_solutions.pdf\\

May 17, 2013, at 02:14 AM EST by 76.10.151.124 - Test 2 corrected and marks are posted. Have a great summer!

Added line 12:

16/05/13: Have a great summer!

May 08, 2013, at 08:41 PM EST by 198.168.48.36 - Test 2 outline

Added lines 12-15:

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)

May 08, 2013, at 06:46 PM EST by 198.168.48.36 - Modified exam office hours

Changed lines 12-13 from:

07/05/13: Exam Office Hours: Friday May 10th from 10h00 to 12h00 and 14h30 to 16h00.
Wednesday May 15th from 12h00 to 16h00. (priority to Logic students)\\

to:

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)\\

May 07, 2013, at 09:13 PM EST by 198.168.48.36 - video tutorial added

Changed lines 61-68 from:

to:

Video Tutorial:
Logical equivalence
Logical equivalence without truth tables
Natural Deduction Examples 1
Natural Deduction Examples 2

Deleted lines 111-112:

Natural Deduction Examples 1
Natural Deduction Examples 2\\

May 07, 2013, at 09:00 PM EST by 198.168.48.36 - Final Exam Office Hours posted

Changed lines 12-14 from:

to:

07/05/13: Exam Office Hours: Friday May 10th from 10h00 to 12h00 and 14h30 to 16h00.
Wednesday May 15th from 12h00 to 16h00. (priority to Logic students)
Thursday May 16th from 9h00 to 12h00. (priority to Calculus students).

May 07, 2013, at 04:35 PM EST by 198.168.48.36 - Quiz ND corrected and solutions posted.

Changed lines 88-90 from:

to:

360-124-dw-S01_quiz_natural_deduction.pdf
360-124-dw-S01_quiz_natural_deduction_solutions.pdf

May 02, 2013, at 10:31 PM EST by 198.168.48.36 - ND examples and rules of inference pdf

Changed lines 104-105 from:

to:

360-124-dw-examples_natural_deduction.pdf
360-124-dw-rules_of_inference.pdf

April 30, 2013, at 01:48 PM EST by 198.168.48.36 - Solution to assignment on ND using contradiction

Changed lines 70-73 from:

to:

360-124-dw-S01_natural_deduction_contradiction.pdf
360-124-dw-S01_natural_deduction_contradiction_solutions.pdf

April 26, 2013, at 11:30 PM EST by 75.98.19.140 - Extra office hours

Added lines 12-13:

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.

April 22, 2013, at 05:53 PM EST by 198.168.48.36 - Homework solutions posted.

Changed lines 66-68 from:

to:

360-124-dw-S01_natural_deduction_subproof.pdf
360-124-dw-S01_natural_deduction_subproof_solutions.pdf

April 09, 2013, at 11:51 PM EST by 69.165.129.147 - Solutions to natural deduction assignment posted.

Changed lines 64-66 from:

to:

360-124-dw-S01_natural_deduction.pdf
360-124-dw-S01_natural_deduction_solutions.pdf

April 02, 2013, at 09:48 PM EST by 198.168.48.36 - Test 1 solutions posted.

Changed lines 84-86 from:

to:

360-124-dw-S01_test_1.pdf
360-124-dw-S01_test_1_solutions.pdf

March 31, 2013, at 01:52 PM EST by 99.240.241.14 - Extra office hours announced.

Added line 12:

31/03/13: Extra office hours on Tuesday the 2nd of April from 10h00 to 11h30 and 2h30 to 18h00.

March 28, 2013, at 04:30 PM EST by 198.168.48.36 - Added video examples

Changed lines 91-92 from:

to:

Natural Deduction Examples 1
Natural Deduction Examples 2

March 25, 2013, at 05:34 PM EST by 198.168.48.36 - more slides....

Added line 40:

Rules of Inference of Propositional Logic\\

March 04, 2013, at 10:36 PM EST by 198.168.48.36 - Quiz corrected and solution posted.

Changed lines 74-76 from:

to:

360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements.pdf
360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_solutions.pdf
360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2.pdf
360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2_solutions.pdf

February 27, 2013, at 01:52 AM EST by 108.161.122.23 - Quiz on truth table corrected and solution posted

Changed lines 70-72 from:

to:

360-124-dw-S01_quiz_truth_table.pdf
360-124-dw-S01_quiz_truth_table_solutions.pdf
360-124-dw-S01_quiz_truth_table_v2.pdf
360-124-dw-S01_quiz_truth_table_v2_solutions.pdf

February 22, 2013, at 08:40 PM EST by 198.168.48.36 - Office hours moved next week.

Added lines 12-13:

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

February 15, 2013, at 09:29 PM EST by 198.168.48.36 - Truth table example and solution to quiz.

Added line 36:

Truth Tables and Valid Arguments\\

Changed lines 64-66 from:

to:

360-124-dw-S01_quiz_translation.pdf
360-124-dw-S01_quiz_translation_solutions.pdf
360-124-dw-S01_quiz_translation_v2.pdf
360-124-dw-S01_quiz_translation_v2_solutions.pdf

Changed lines 78-80 from:

Logicomix: An Epic Search for Truth

to:

Logicomix: An Epic Search for Truth
360-124-dw-example_truth_table.pdf

February 05, 2013, at 09:12 PM EST by 198.168.48.36 - One password to have them all. hint: student of Plato.

Added lines 29-30:

PASSWORDS

Changed line 35 from:

Tautologies, Contradictions, and Contingent Arguments\\

to:

Tautologies, Contradictions, and Contingent Statements\\

January 24, 2013, at 06:20 PM EST by 198.168.48.36 - Logicomix: An Epic Search for Truth

Changed lines 71-72 from:

to:

Logicomix: An Epic Search for Truth

January 21, 2013, at 10:41 PM EST by 198.168.48.36 -

Changed lines 69-71 from:

youtube: Sarah's Certain Death Riddle

to:

youtube: Sarah's Certain Death Riddle
youtube: Bertrand Russell - Face to Face Interview (BBC, 1959)

January 20, 2013, at 06:31 PM EST by 108.161.125.190 -

Changed lines 31-33 from:

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

to:

Introduction to Propositional Logic (Symbolizing Arguments, Atomic Statements, Truth-Functional Connectives, Complex Statements)
Truth Tables
Tautologies, Contradictions, and Contingent Arguments
Logical Equivalence, Converse and Contra-positive
Natural Deduction

January 20, 2013, at 06:18 PM EST by 108.161.125.190 -

Added line 12:

20/01/12: Room changed to 3E.3.

January 16, 2013, at 07:36 PM EST by 198.168.48.152 -

Changed lines 64-65 from:

to:

youtube: Sarah's Certain Death Riddle

January 16, 2013, at 06:50 PM EST by 198.168.48.152 -

Changed lines 16-17 from:

to:

360-124-dw-S01.pdf

January 16, 2013, at 12:54 AM EST by 69.196.191.100 -

Changed lines 29-31 from:

Introduction to Propositional Logic ()

to:

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

January 16, 2013, at 12:40 AM EST by 69.196.191.100 -

Changed lines 46-49 from:

http://webwork.dawsoncollege.qc.ca/webwork2/912-DW_Civil_Tech

to:

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

January 14, 2013, at 09:25 PM EST by 69.196.167.86 -

Added line 33:

January 14, 2013, at 09:25 PM EST by 69.196.167.86 -

Changed line 36 from:

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

to:

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

January 14, 2013, at 09:23 PM EST by 69.196.167.86 -

Deleted lines 31-35:

Additional Homework Problems:

Changed lines 33-43 from:

[B] A Problem Course in Mathematical Logic by Stefan Bilaniuk
[H] Book of Proof by Richard Hammack
[KS] King, P & Shapiro, S., The History of Logic, The Oxford Companion to Philosophy, 1995.
[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

to:

[B]	A Problem Course in Mathematical Logic by Stefan Bilaniuk
[H]	Book of Proof by Richard Hammack
[KS]	King, P & Shapiro, S., The History of Logic, The Oxford Companion to Philosophy, 1995.
[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

WebWork:
http://webwork.dawsoncollege.qc.ca/webwork2/912-DW_Civil_Tech

January 14, 2013, at 08:54 PM EST by 69.196.167.86 -

Added lines 31-32:

January 14, 2013, at 08:54 PM EST by 69.196.167.86 -

Changed lines 29-30 from:

to:

Introduction to Propositional Logic ()

January 10, 2013, at 09:46 PM EST by 69.196.167.86 -

Changed lines 27-28 from:

Introduction

to:

Introduction (Logic in Liberal Education, A Brief History of Logic, Logic Today)
Introduction to Logic (Basic definitions in Logic, Deductive Logic and Inductive Logic)

Changed lines 43-45 from:

to:

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

January 10, 2013, at 06:29 PM EST by 69.196.167.86 -

Changed lines 35-45 from:

Book of Proof by Richard Hammack
forallx: An Introduction to Formal Logic by P.D. Magnus
A Problem Course in Mathematical Logic by Stefan Bilaniuk
Proofs and Concepts: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris
A Short Account of the History of Mathematics by W. W. Rouse Ball

Reference:

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

to:

[B] A Problem Course in Mathematical Logic by Stefan Bilaniuk
[H] Book of Proof by Richard Hammack
[KS] King, P & Shapiro, S., The History of Logic, The Oxford Companion to Philosophy, 1995.
[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

December 12, 2012, at 12:07 AM EST by 69.165.133.227 -

Changed lines 19-21 from:

Fall 2012

to:

Winter 2013: Academic Calendar

December 04, 2012, at 04:30 PM EST by 198.168.48.36 -

Changed lines 41-45 from:

to:

Reference:

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

November 26, 2012, at 12:50 AM EST by 76.10.170.208 -

Changed lines 35-40 from:

Book of Proof by Richard Hammack, http://www.people.vcu.edu/~rhammack/BookOfProof/
forallx: An Introduction to Formal Logic by P.D. Magnus, http://www.fecundity.com/logic/
A Problem Course in Mathematical Logic by Stefan Bilaniuk, http://euclid.trentu.ca/math/sb/pcml/
A Problem Course in Mathematical Logic by Stefan Bilaniuk, http://euclid.trentu.ca/math/sb/pcml/
Proofs and Concepts: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris, http://people.uleth.ca/~dave.morris/books/proofs+concepts.html

to:

Book of Proof by Richard Hammack
forallx: An Introduction to Formal Logic by P.D. Magnus
A Problem Course in Mathematical Logic by Stefan Bilaniuk
Proofs and Concepts: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris
A Short Account of the History of Mathematics by W. W. Rouse Ball

November 26, 2012, at 12:43 AM EST by 76.10.170.208 -

Changed lines 38-40 from:

to:

A Problem Course in Mathematical Logic by Stefan Bilaniuk, http://euclid.trentu.ca/math/sb/pcml/
Proofs and Concepts: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris, http://people.uleth.ca/~dave.morris/books/proofs+concepts.html

November 25, 2012, at 11:07 PM EST by 76.10.170.208 -

Changed lines 37-38 from:

to:

A Problem Course in Mathematical Logic by Stefan Bilaniuk, http://euclid.trentu.ca/math/sb/pcml/

November 25, 2012, at 10:59 PM EST by 76.10.170.208 -

Added line 35:

Book of Proof by Richard Hammack, http://www.people.vcu.edu/~rhammack/BookOfProof/

November 25, 2012, at 10:54 PM EST by 76.10.170.208 -

Changed lines 35-36 from:

to:

forallx: An Introduction to Formal Logic by P.D. Magnus, http://www.fecundity.com/logic/

November 25, 2012, at 09:00 PM EST by 76.10.170.208 -

Changed lines 26-28 from:

to:

Slides:
Introduction

October 08, 2012, at 05:24 PM EST by 108.161.125.97 -

Added lines 1-51:

Dawson College: Principles of Mathematics and Logic: 360-124-DW-S01: 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:

08/10/12: Welcome.

Outline:

Academic Calendar:
Fall 2012

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

Additional Homework Problems:

Text:

Assignments:

Quizzes:

Tests:

Other:

Competitions:
Mathematics Competition held at Dawson College

Winter2013.PrinciplesOfMathematicsAndLogic360-124-DWLogicComponentS01 History