Составители:
Рубрика:
Законы рефлексивности, симметричности и транзитивности:
P ↔ P,
(1.19)
(P
1
↔ P
2
) ↔ (P
2
↔ P
1
),
(1.20)
[(P
1
↔ P
2
) & (P
2
↔ P
3
)] → (P
1
↔ P
3
).
(1.21)
Закон противоположности:
(P
1
↔P
2
)↔(
⎯
P
1
↔
⎯
P
2
).
(1.22)
Следующие законы выражают зависимости между основными
логическими операциями.
Выражение конъюнкции через дизъюнкцию и отрицание и
дизъюнкции через конъюнкцию и отрицание:
(P
1
& P
2
) ↔ ⎤(
⎯
P
1
\/
⎯
P
2
),
(1.23)
(P
1
\/ P
2
) ↔⎤ (⎯P
1
& ⎯P
2
).
(1.24)
Выражение эквивалентности через конъюнкцию и импликацию:
(P
1
↔ P
2
) ↔ [(P
1
→ P
2
) & (P
2
→ P
1
)].
(1.25)
Выражение импликации через конъюнкцию и отрицание и через
дизъюнкцию и отрицание:
(P
1
→ P
2
) ↔ ⎤(P
1
&
⎯
P
2
),
(1.26)
(P
1
→ P
2
) ↔ (
⎯
P
1
\/ P
2
).
(1.27)
Выражение конъюнкции и дизъюнкции через отрицание и
импликацию:
(P
1
& P
2
) ↔ ⎤(P
1
→
⎯
P
2
),
(1.28)
(P
1
\/ P
2
) ↔ (
⎯
P
1
→ P
2
).
(1.29)
92
Страницы
- « первая
- ‹ предыдущая
- …
- 6
- 7
- 8
- 9
- 10
- …
- следующая ›
- последняя »
