Describir: IMPLICATION, formalisation et logique naturelle /

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