Describir: IMPLICATION, formalisation et logique naturelle /

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