From 8cbcde26e32698def16e1f9056b24888b0401293 Mon Sep 17 00:00:00 2001 From: Youwen Wu Date: Mon, 6 Jan 2025 18:46:43 -0800 Subject: [PATCH] auto-update(nvim): 2025-01-06 18:46:43 --- documents/by-course/math-8/course-notes/main.typ | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/documents/by-course/math-8/course-notes/main.typ b/documents/by-course/math-8/course-notes/main.typ index 29d32f5..a077e57 100644 --- a/documents/by-course/math-8/course-notes/main.typ +++ b/documents/by-course/math-8/course-notes/main.typ @@ -46,7 +46,7 @@ first two exam scores if it is higher. = Chapter 1: Logic and Proofs -== Trivial Preliminaries +== Trivial preliminaries Definitions barely worth considering. Included purely for posterity. @@ -92,7 +92,8 @@ as *propositional forms*. - $n = 2m + 1, exists m in ZZ$ ] -DeMorgan's Laws tell us how to distribute logical connectives across parentheses. +DeMorgan's Laws tell us how to distribute logical connectives across +parentheses. #theorem[DeMorgan's Laws][ + $not (P or Q) = not P and not Q$