Логика 12 вариант
.docxТЕМА 12. Сложные суждения
План
1. Образование сложных суждений.
2. Установление логического значения сложных суждений при помощи таблиц истинности.
Упражнения
1. Установите вид следующих сложных суждений и определите их истинность при помощи таблиц истинности:
1.1. Редакция вправе увеличить или уменьшить размер гонорара.
1.2. Банан – пищевое растение и источник доходов для экспортирующих стран.
1.3. Он сейчас находится в Минске или в Петербурге.
1.4. Кукушка хвалит петуха за то, что хвалит он кукушку.
1.5. Если к двум прибавить два, то получится четыре.
2. Постройте таблицу истинности для следующего выражения: (p(pvq)).
Решение:
-
Вид суждения – дизъюнкция , так как высказывание истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
|
А |
В |
A v B |
|
0 |
0 |
0 |
|
0 |
1 |
1 |
|
1 |
0 |
1 |
|
1 |
1 |
1 |
1.2 Вид суждения – конъюнкция, так как высказывание истинно тогда , когда только обе простых части будут верны.
|
А |
В |
A & B |
|
0 |
0 |
0 |
|
0 |
1 |
0 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
-
Вид суждения – дизъюнкция , так как высказывание истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
|
А |
В |
A v B |
|
0 |
0 |
0 |
|
0 |
1 |
1 |
|
1 |
0 |
1 |
|
1 |
1 |
1 |
-
Вид суждения – конъюнкция, так как высказывание истинно тогда , когда только обе простых части будут верны.
|
А |
В |
A & B |
|
0 |
0 |
0 |
|
0 |
1 |
0 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
-
Вид суждения – импликационное , так как выражает простую последовательность.
|
А |
В |
A => B |
|
0 |
0 |
0 |
|
0 |
1 |
0 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
-
(p(pvq))
|
p |
q |
pvq |
p=>( pvq) |
(p(pvq))
|
|
0 |
0 |
0 |
1 |
0 |
|
0 |
1 |
1 |
1 |
0 |
|
1 |
0 |
1 |
0 |
1 |
|
1 |
1 |
1 |
1 |
0 |