Describir: IMPLICATION, formalisation et logique naturelle /

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