弗雷格命题演算 在数理逻辑中弗雷格命题演算是第一个公理化的命题演算它由弗雷格发明他还在年发明了谓词演算作为他的二阶谓词逻辑的一部分尽管查尔斯桑德斯皮尔士首次使用了术语二阶并独立于 Frege 开发了自己版本的谓词演算 它只使用两个逻辑算子 蕴涵和否定并且由六个公理和一个推理规则肯定前件构成 公理 THEN ABA THEN ABCABAC THEN ABCBAC FRG ABBA FRG AA FRG AA 推理规则 MP P PQ  Q Frege 的命题演算等价于任何其他经典的命题演算比如有  个公理的标准 PCFrege 的 PC 和标准的 PC 共享两个公共的公理 THEN 和 THEN注意从 THEN 到 THEN 的公理只使用和定义蕴涵算子而从 FRG 到 FRG 的公理定义否定算子