發送短信 : Completeness theory for propositional logics

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