ВУЗ:
Составители:
Рубрика:
Решение.
Составим таблицу истинности левой части равенства (4):
p
q
r
qr
∨
()pqr
∧
∨
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1
0
1
1
1
0
0
0
0
0
Аналогично, строим таблицу истинности правой части:
p
q
r
pq
∧
pr
∧
()(
pq qr
)
∧
∨∧
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
1
0
0
0
0
0
При одинаковых первых трех столбцах этих таблиц последние столбцы
совпадают. Это означает, что равенство (4) верно.
4. Даны высказывания
и
q
. Доказать равенство
p
pq pq∨=∧
.
1.3 Метод математической индукции
Этот метод основан на следующем принципе математической индукции
[4, гл. I, § 2].
Некоторое утверждение, формулировка которого содержит параметр
,
считается справедливым для всякого натурального значения этого параметра,
n
6
Страницы
- « первая
- ‹ предыдущая
- …
- 4
- 5
- 6
- 7
- 8
- …
- следующая ›
- последняя »