Describir: Introducción al simbolismo lógico

  _____      ___     _____      ______    _____     _____             
 |__  //    / _ \\  |  __ \\   /_   _//  |__  //   |  ___||     ___   
   / //    / //\ \\ | |  \ ||   -| ||-     / //    | ||__      /   || 
  / //__  |  ___  ||| |__/ ||   _| ||_    / //__   | ||__     | [] || 
 /_____|| |_||  |_|||_____//   /_____//  /_____||  |_____||    \__ || 
 `-----`  `-`   `-`  -----`    `-----`   `-----`   `-----`      -|_|| 
                                                                 `-`  
   ___    
  / _ \\  
 | / \ || 
 | \_/ || 
  \___//  
  `---`