diff options
Diffstat (limited to 'src/org/uni_notes')
| -rwxr-xr-x | src/org/uni_notes/algebra1.org | 4 |
1 files changed, 2 insertions, 2 deletions
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 |