Zettelkasten/Hub Notes/HUB-20250818131731-logics.md

id	title	type	created	modified	tags	aliases
HUB-20250818131731	Logics	hub	2025-08-18T17:17:31Z	2025-08-18T19:44:30Z	hub

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.

Contents (map of notes)

• Propositional Logic
• Predicate Logic
• Temporal Logic

Permanent seeds (key ideas)

Related hubs

Sources / Literature

Open questions / Next actions