From d0016f370aef0acc15883f162eb1e644b93c0cdd Mon Sep 17 00:00:00 2001 From: Youwen Wu Date: Wed, 8 Jan 2025 14:01:50 -0800 Subject: [PATCH] auto-update(nvim): 2025-01-08 14:01:50 --- documents/by-course/math-8/course-notes/main.typ | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/documents/by-course/math-8/course-notes/main.typ b/documents/by-course/math-8/course-notes/main.typ index eca4347..7f7db8b 100644 --- a/documents/by-course/math-8/course-notes/main.typ +++ b/documents/by-course/math-8/course-notes/main.typ @@ -43,7 +43,7 @@ The lowest homework score will be dropped. Each exam is 20% of the grade. The final exam will replace the lowest of the first two exam scores if it is higher. -= Meeting #datetime(year: 2025, month: 1, day: 6).display() += Lecture #datetime(year: 2025, month: 1, day: 6).display() == Trivial preliminaries @@ -198,6 +198,11 @@ A conditional may be true even when the antedecent and consequent are unrelated. + $P => Q "and" not P or Q$ + $P <=> Q "and" (P => Q) and (Q => P)$ + $not (P => Q) "and" P and not Q$ + + $not (P and Q) "and" P => not Q$ + + $not (P and Q) "and" Q => not P$ + + $P => (Q => R) "and" (P and Q) => R$ + + $P => (Q and R) "and" (P => Q) and (P => R)$ + + $(P or Q) => R "and" (P => R) and (Q => R)$ ] == Quantified statements