From b815e39fc6ce94155b66f7e536fbc2b64294628b Mon Sep 17 00:00:00 2001 From: Crystal Date: Mon, 16 Oct 2023 21:52:20 +0100 Subject: Finally, an update --- src/org/uni_notes/algebra1.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/org/uni_notes/algebra1.org') 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