Describir: Logica formal, logica dialectica /

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