逻辑学16个公式如下：
肯定前件论式(p→q);p├q如果p则q;p;所以,q。否定后件论式(p→q);¬q├¬p如果p则q;非q;所以，非p。假言三段论式(p→q）;(q→r)├(p→r)如果p则q;如果q则r;所以，如果p则r。
选言三段论式(p∨q);¬p├q要么p要么q;非p;所以,q。创造性二难论式(p→q)∧(r→s);(p∨r)├(q∨s)如果p则q;并且如果r则s;但是要么p要么r;所以，要么q要么s
破坏性二难论式(p→q)∧(r→s);(¬q∨¬s)├(¬p∨¬r)如果p则q;并且如果r则s;但是要么非q要么非s;所以，要么非p要么非r。简化论式(p∧q)├pp与q为真;所以，p为真。
合取式p,q├(p∧q)p与q分别为真;所以，它们结合起来是真。增加论式p├(p∨q)p是真;所以析取式(p或q)为真。合成论式(p→q)∧(p→r)├p→(q∧r)如果p则q;并且如果p则r;所以，如果p是真则q与r为真。
德·摩根定律(1)¬(p∧q)├(¬p∨¬q)(p与q)的否定等价于(非p或非q)。德·摩根定律(2)¬(p∨q)├(¬p∧¬q)(p或q)的否定等价于(非p与非q)。
交换律(1)(p∨q)├(q∨p)(p或q)等价于(q或p)。交换律(2)(p∧q)├(q∧p)(p与q)等价于(q与p)。结合律(1)p∨(q∨r)├(p∨q)∨rp或(q或r)等价于(p或q)或r。
结合律(2)p∧(q∧r)├（p∧q)∧rp与(q与r)等价于(p与q)与r。分配律(1)p∧(q∨r)├(p∧q)∨(p∧r)p与(q或r)等价于(p与q)或(p与r)。
分配律(2)p∨q∧r)├(p∨q)∧(p∨r)p或(q与r)等价于(p或q)与(p或r)。双重否定律p├¬¬pp等价于非p的否定。换位律(p→q)├(¬q→¬p)如果p则q等价于如果非q则非p。
实质蕴涵律(p→q)├(p∨q)如果p则q等价于要么非p要么q。实质等价律(1)(p↔q)├(p→q)∨（q→p)(p等价于q)意味着，要么(如果p是真则q是真)要么(如果q是真则p是真)。
实质等价律(2)(p↔q)├(p∧q)∨(¬q∧¬p)(p等价于q)意味着，要么(p与q都是真)要么(p和q都是假)。
输出律(p∧q)→r├p→(q→r)从(如p与q为是真则r是真)我们可以证明(如果q是真则r为真的条件是p为真)。
什么是逻辑学？
逻辑学是一个哲学分支学科。其是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑—抽象逻辑—具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性；思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。