commit 57eea0312c3188eda3eb76c19cdbe24c02941239 parent 6e73822c904099994eb89a592bf48fdaacf49238 Author: Andrew <andrewlaack1@gmail.com> Date: Sun, 18 Aug 2024 00:19:34 -0500 Completed 1.3 Diffstat:
| A | Commutative.md | | | 14 | ++++++++++++++ |
| M | DiscreteMath.md | | | 2 | ++ |
| A | Satisfiable.md | | | 10 | ++++++++++ |
3 files changed, 26 insertions(+), 0 deletions(-)
diff --git a/Commutative.md b/Commutative.md @@ -0,0 +1,14 @@ +:logic: :discrete: +# Commutative + +1.3.2 + +## Notes + +**Definition:** The commutative property states the order by which the objects are placed does not effect the outcome of said operation. + +a x b = b x a + +a + b = b + a + +p v q = q v p diff --git a/DiscreteMath.md b/DiscreteMath.md @@ -28,3 +28,5 @@ Unit 1.3: - [[ConditionalDisjunction.md]] - [[DistributiveLaw.md]] - [[WellDefined.md]] + - [[Commutative.md]] + - [[Satisfiable.md]] diff --git a/Satisfiable.md b/Satisfiable.md @@ -0,0 +1,10 @@ +:discrete: :logic: +# Satisfiable + +1.3.5 + +## Notes + +**Definition:** A proposition is satisfiable if there is some assignment of truth values to its variables such that the outcome is true. + +We refer to this set of true variables as a 'solution'.