Dane Sabo
ae0ab17291
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"
39 lines
713 B
Markdown
39 lines
713 B
Markdown
---
|
|
id: 20250818132007
|
|
title: Propositional Logic
|
|
type: permanent
|
|
created: 2025-08-18T17:20:07Z
|
|
modified: 2025-08-18T19:52:42Z
|
|
tags: []
|
|
---
|
|
|
|
# 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]].
|
|
|