M .sessions/nvim_config.vim M "Zettelkasten/Fleeting Notes/Daily/2025-08-18.md" M "Zettelkasten/Hub Notes/HUB-20250818131731-logics.md" M "Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md"
616 B
616 B
| id | title | type | created | modified | tags | aliases | |
|---|---|---|---|---|---|---|---|
| HUB-20250818131731 | Logics | hub | 2025-08-18T17:17:31Z | 2025-08-18T19:44:30Z |
|
Logics
Logic is a way of transforming ideas in a plain language into precise mathematical statements. There are a bunch of different types of logic, as linked below, but in all of them there's an emphasis on precision.