danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Obsidian/Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md
Dane Sabo ae0ab17291 Auto sync: 2025-08-18 16:54:48 (667 files changed) 
R  "Zettelkasten/Hub Notes/NNFM Ontology.canvas" -> "NNFM Ontology.canvas"

R  "Zettelkasten/Hub Notes/Permanent Notes/Programming/Assembly/Assembly Canvas.canvas" -> "Programming/Assembly/Assembly Canvas.canvas"

R  "Zettelkasten/Hub Notes/Permanent Notes/Programming/Assembly/Untitled.md" -> Programming/Assembly/Untitled.md

R  "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/LEAN/Learning Plan.md" -> "Programming/Formal Methods/LEAN/Learning Plan.md"

R  "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/LEAN/Tutorial World.md" -> "Programming/Formal Methods/LEAN/Tutorial World.md"

R  "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/TLA/TLA Canvas.canvas" -> "Programming/Formal Methods/TLA/TLA Canvas.canvas"

R  "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/TLA/TLA+ Learning Plan.md" -> "Programming/Formal Methods/TLA/TLA+ Learning Plan.md"

R  "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/TLA/What is TLA?.md" -> "Programming/Formal Methods/TLA/What is TLA?.md"
2025-08-18 16:54:48 -04:00

713 B
Raw Permalink Blame History

id title type created modified tags
20250818132007 Propositional Logic permanent 2025-08-18T17:20:07Z 2025-08-18T19:52:42Z

Propositional Logic

Propositional logic makes statements saying things like 'if x, then y'. They are statements that are either true or false, and have binary variables (P, Q, R, X, Y, etc...)

Here's some examples:

If x, then y.

x\rightarrow y

If x and y, then z.

(x \wedge y) \rightarrow z

Either the pump is on or the power is out.

Pump \oplus \neg Power

The pump is on and water is flowing if and only if the power is on.

( Pump \wedge Water) \leftrightarrow Power

Propositional logic is expanded upon by predicate-logic.