Вопросы для самопроверки

1. Являются ли высказываниями предложения:

a) «Семь больше пяти».

б) «Это легко, как дважды два».

в) «Ура!».

г) «Число 63 делится на любое простое число».

д) «Солдат-парикмахер бреет всех солдат своего подразделения, кто сам не бреется».

е) «Гнутся шведы!»

ж) «То, что здесь написано, ложь».

з) «Открой окно!»

2. Сформулируйте отрицания высказываний:

a) «Число 4 не является простым».

б) «Три больше пяти».

3. Сформулируйте импликацию высказывания «Число 12 делится на 3» и высказывания «Число 12 делится на 5».

4. Каково значение импликации при ложной посылке?

5. Если импликация ложна, то каковыP и Q?

6. Если значение дизъюнкции ложно, то каковоP ?

7. Если истинно, то каковы значениеP и ?

8. Если высказывания иP ложны, то каково Q?

9. Какие из следующих записей являются формулами алгебры высказываний:

a)

б)

в)

10. Какая операция в формуле выполняется первой, а какая последней?

11. Каков последний столбец формулы F в ее таблице истинности, если эта формула тождественно истинна?

12. Каково отрицание тождественно истинной формулы?

13. Является ли формула своим собственным логическим следствием?

14. Известны таблицы истинности для формул F и G от одних и тех же высказывательных переменных. Как проверить, что является тождественно истинной формулой.

15. Как связана равносильность формул F и G с их общей таблицей истинности?

16. Что можно сказать об истинности высказывания «Прямые a и b на плоскости параллельны или пересекаются»? Зависит ли его истинное значение от взаимного расположения прямых a и b? На каком законе логики основан ваш ответ?