Describir: Introducción al simbolismo lógico

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