Найчастіше використовуються:

1. Закон тотожності: |=P→P

(якщо висловлювання істинне, то воно істинне).

2. Закон виключення: |=

(з двох висловлювань одне істинне).

3.Закон протиріччя : | =

(висловлювання та його заперечення не можуть бути істинними одночасно)

4. Закон подвійного заперечення : | = ~

(якщо не правильно, що не P , то не Р).

5.Істинна з чого завгодно : |= P →(Q→P).

6. З хибного, що завгодно : | = →(P→Q).

7. Закон відділення : |=(P→Q) P→Q,

|=(P→Q) → .

8. Закон контрпропозиції : |=(P→Q)→( → ).

9. Закон приведення до абсурду: |=(P→Q)→((P→ )→ ).

Частковий ( якщо з висловлювання випливає його заперечення, то істинним є заперечення , а не саме висловлювання) : |=(P→ )→ .

10. Закон Клавія: |=( →P)→P

(якщо із заперечення якогось висловлювання випливає саме це висловлювання, то воно є істинним).

11.Закон транзитивності: |=((P→Q) (Q →R)) →(P→R).