Describir: IMPLICATION, formalisation et logique naturelle /

 _    _    __   __    ______     ___     _    _     ______     _____  
| \  / ||  \ \\/ //  /_____//   / _ \\  | \  / ||  /_   _//   / ___// 
|  \/  ||   \ ` //   `____ `   / //\ \\ |  \/  ||   -| ||-    \___ \\ 
| .  . ||    | ||    /___//   |  ___  ||| .  . ||   _| ||_    /    // 
|_|\/|_||    |_||    `__ `    |_||  |_|||_|\/|_||  /_____//  /____//  
`-`  `-`     `-`'    /_//     `-`   `-` `-`  `-`   `-----`  `-----`   
                     `-`                                              
 __   __  
 \ \\/ // 
  \ ` //  
   | ||   
   |_||   
   `-`'