Formal Logic


### 외연적 논리학
사고(판단·개념)의 참과 거짓을 확인하기위해 추론의 형식상 타당성 성립 조건을 연구하는 논리학
### Formal Logics
|Title|
|:-:|
|[Mathematical Logic](https://texonom.com/mathematical-logic-dc5a5765623c4cef9f76a78cca288960)|
|[Computational Logic](https://texonom.com/computational-logic-b55af78cfeb74fdfb058347572ac0501)|



> [Logic - Wikipedia](https://en.wikipedia.org/wiki/Logic)





