Некоторые способы доказательства истинности составных высказываний:

1. Определение истинности каждого утверждения отдельно. 1 Если в составном высказывании со словом «и» истинные оба утверждения, то и всё высказывание истинное. 1 Если в высказывании со словом «или» истинное хотя бы одно утверждение, то и всё высказывание истинное. 1 Если в высказывании со словом «или» оба утверждения ложные, то и всё высказывание ложное. 1
2. Использование таблиц истинности. 24 Вычисление производится по форме сложного высказывания в соответствии с таблицами истинности входящих в него логических операций. 2
3. Применение законов алгебры логики. 4 Любое высказывание записывают с помощью символов разработанного языка и получают «уравнения», истинность или ложность которых можно доказать, исходя из определённых логических законов (законы коммутативности, дистрибутивности, ассоциативности и другие). 4