notebook/notes/formal-system/logical-system
..
index.md
pred-logic.md
prop-logic.md