---
# System prepended metadata

title: Formalisation Logique - Introduction
tags: [folo, ' other']

---

---
Title: Formalisation Logique - Introduction
tags: folo, other
---
{%hackmd theme-dark %}

# Formalisation Logique - Introduction

## Motivation

- Langage de tous les jours trop ambigu
- non-adapté au maths