---
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