ВУЗ:
Составители:
Рубрика:
Описание процедуры занимает больше места, чем ее реальное
осуществление. Объединим описание и получим:
((А & В)
⊃
C)
⊃
(А
⊃
(В
⊃
С))
0
1 0
1 0
0 1 0
0
1 0
Следует сказать, что общезначимые высказывания играют в логике
высказываний особую роль, так как представляют собой законы логики
высказываний.
Контрольные вопросы
1. По какой формуле определяется количество строк в таблицах
истинности? На каком принципе эта формула основывается?
2. Какие способы установления общезначимости формулы КЛВ вы
знаете?
Практические задания
1. Установить логическую структуру следующих предложений и
записать их на языке логики высказываний:
• Если металл нагревается, он плавится.
• Неправда, что философские споры неразрешимы.
• Деньги - продукт стихийного развития товарных отношений, а
не результат договоренности или какого-либо иного сознательного акта.
2. Построить истинностную таблицу для следующих формул и
определить, какие из приведенных формул являются противоречиями:
• (p
⊃
(q & r)) \/
p
• (a
∨
b)
≡
(b
∨
a)
• (a
&
b)
≡
(b
&
a)
• (a
⊃
b)
⊃
(b
⊃
a)
3. Установить, при помощи сокращенных таблиц истинности является
ли данная формула общезначимой:
• (a
⊃
b) & ((b
⊃
c)
⊃
(a
⊃
c))
• ((a
∨
b)
⊃
c))
⊃
((a
⊃
c)
&
(b
⊃
c))
• (a
⊃
(b
⊃
c))
⊃
(a
&
(b
⊃
c))
• (a
⊃
b)
&
(b
⊃
a)
≡
(a
≡
b)
21
Страницы
- « первая
- ‹ предыдущая
- …
- 19
- 20
- 21
- 22
- 23
- …
- следующая ›
- последняя »
