Describir: IMPLICATION, formalisation et logique naturelle /

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