From b815e39fc6ce94155b66f7e536fbc2b64294628b Mon Sep 17 00:00:00 2001
From: Crystal <crystal@wizard.tower>
Date: Mon, 16 Oct 2023 21:52:20 +0100
Subject: Finally, an update

---
 src/org/index.org              | 2 +-
 src/org/uni_notes/algebra1.org | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/org/index.org b/src/org/index.org
index 305f519..7d1b35f 100755
--- a/src/org/index.org
+++ b/src/org/index.org
@@ -20,7 +20,7 @@ I'm over the moon that you're here, adding even more sweetness to this corner! 
 * Articles ( NEW !!!! )
 - *[[./articles/discord.html][Discord : an internet cancer]]* /Sun Sep 10 15:25:22 2023/
 * root@localhost $ whoami
-My name is *Crystal*, I'm a <insert time since 09/12/2005> years old transfem from Algeria. Well I'm also pansexual, anarcho-communist and absurdist! I speak 4 languages (Kabyle/Tamazight Arabic French & English) if this info is of any use for you !!
+I'm *Crystal*, your 18 y/o Algerian anarchist transfem, who's also a geek for some reason...and surprisingly still alive!!!
 
 My current setup is :
 - Primary OS: *OpenBSD -current*
diff --git a/src/org/uni_notes/algebra1.org b/src/org/uni_notes/algebra1.org
index 4afc389..1126423 100755
--- a/src/org/uni_notes/algebra1.org
+++ b/src/org/uni_notes/algebra1.org
@@ -150,7 +150,7 @@ not(*P ∨ Q*) ⇔ P̅ ∧ Q̅
 *A rule I really like to use here is: Break and Invert. Basically you break the bar into the three characters of the propositions, so you get not(P) not(∧ or ∨) /NOT AN ACTUAL MATH WRITING. DONT USE IT ANYWHERE ELSE OTHER THAN YOUR BRAIN/ and not(Q)*
 
 *** *Transitivity*:
-[(P ⇒ Q) (Q ⇒ R)] ⇔ P ⇒ R
+[(P ⇒ Q) AND (Q ⇒ R)] ⇔ P ⇒ R
 
 *** *Contraposition*:
 (P ⇒ Q) ⇔ (Q̅ ⇒ P̅)
@@ -162,7 +162,7 @@ not(*P ∨ Q*) ⇔ P̅ ∧ Q̅
 
 and
 
-(Q̅ ⇒ Q) is true
+(P̅ ⇒ Q) is true
 
 then
 
-- 
cgit 1.4.1-2-gfad0