Describir: IMPLICATION, formalisation et logique naturelle /

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