Describir: Logica formal, logica dialectica /

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