Основные типы логических отношений
No |
Соотношение формул |
Д/Н |
Пример |
1 |
Обе формулы истинны |
ДА |
(2) (4) (6) (7) (8) |
2 |
Обе формулы ложны |
ДА |
(5) |
3 |
Первая формула ложная, вторая – истинная |
НЕТ |
|
4 |
Первая формула истинная, вторая – ложная |
НЕТ |
|
Ответ: Отношение эквивалентности (одновременная истинность и одновременная ложность).
No.3.
а) Если тело является кристаллическим (p), то оно имеет определенную температуру плавления (q). Данное тело не является кристаллическим, поскольку оно не имеет определенной температуры плавления.
Сводная таблица истинности
-
p
q
¬p
pq
¬q
¬q¬p
1
1
0
1
0
0
0
1
1
1
0
1
1
0
0
0
1
1
0
0
1
1
1
1
Ответ: Умозаключение правильное, так как оно не может принимать значение 0 (ЛОЖЬ), когда обе посылки истинны.
б) Если философ является последовательным материалистом (p), то он признает познаваемость мира (q). Если философ признает познаваемость мира(q), то он не является агностиком (s). Следовательно, если философ не является последовательным материалистом (p), то он агностик (s).
No |
p |
¬p |
q |
s |
¬s |
pq |
q¬s |
¬ps |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
2 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
3 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
4 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
5 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
6 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
7 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
8 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
Ответ: Умозаключение неправильное, так как оно может принимать значение 0 (ЛОЖЬ), когда обе посылки истинны.
в) Если человек говорит неправду (p), то он заблуждается (q) или сознательно вводит в заблуждение других (s). Этот человек говорит неправду, но явно не заблуждается. Следовательно, он сознательно вводит в заблуждение других.
No |
p |
q |
¬q |
s |
q⊻s |
p(q⊻s) |
p&¬q |
(p&¬q)s |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
2 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
3 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
4 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
5 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
6 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
7 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
8 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
Ответ: Умозаключение правильное, так как оно не может принимать значение 0 (ЛОЖЬ), когда обе посылки истинны.