2. Закон противоречия:

Всякое высказывание не может быть одновременно истинным и ложным.

3. Закон исключения третьего:

Для всякого высказывания истинно либо оно само либо его отрицание.

4. Закон двойного отрицания:

Отрицание отрицания любого высказывания равносильно самому высказыванию.

5. Закон «истинно из чего угодно»:

Если а – истинное высказывание, то формула – истинна.

6. Закон «из ложного что угодно»:

Если а – ложное высказывание, то из а следует всё, что угодно.

7. Закон modus ponens:

Если истинно то, что из а следует b, и а истинно, то b истинно.

8.Закон modus tollens: