youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

auto-update(nvim): 2025-01-08 14:01:50

Browse source
This commit is contained in:
Youwen Wu 2025-01-08 14:01:50 -08:00
parent dd01622567
commit d0016f370a
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
documents/by-course/math-8/course-notes/main.typ
View file

@ -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 Each exam is 20% of the grade. The final exam will replace the lowest of the
first two exam scores if it is higher. 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 == 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" not P or Q$
+ $P <=> Q "and" (P => Q) and (Q => P)$ + $P <=> Q "and" (P => Q) and (Q => P)$
+ $not (P => Q) "and" P and not Q$ + $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 == Quantified statements