Describir: IMPLICATION, formalisation et logique naturelle /

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