發送短信 : Completeness theory for propositional logics

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