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

# 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

- [ ] 
