發送短信 : Completeness theory for propositional logics

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