Describir: Logica formal, logica dialectica /

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