Describir: Logica formal, logica dialectica /

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