Из трех высказывани 5 страница
ЛОГИЧЕСКОЕСЛЕДОВ

1.55. Формулы Fi (P, Q, R) и Gj
переменных заданы своими таблица
| P
| Q
| R
| F1
| F2
| F3
| G1
| G2
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| |
| Выясните, какие из формул
| Gj
|
| | ствиями трех формул F
| 1, F2, F3?
|
| |
| Решение.Например,формула
|
| | формул F1, F2, F3 так,
| как при P
|
| | принимают значение 1,
| формула G
|
| 1.56. Докажите,ачто имеет местводствуясь определением этого по
| обеих формул).
| ,
|
| ли
|
| |
|
|
| Выясните
| будут
|
|
| |
| а) (P → Q)→ R
| ╞═
| P →(Q
|
| | P
|
| Q
| R
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
| 
б) (P ∧ Q) ∨ R ╞═ P ∨ (Q → R);
| P
|
| Q
|
| R
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| | в)
| (P → Q)
| ∧ R ╞═(P ∨ R)→ Q;
|
| | P
|
| Q
|
| R
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
| | г) (P
| → Q)
| → R ╞═ (P ∧ Q) → R;
|
| | P
|
| Q
|
| R
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
| | 1.57.Расположите формулы так,
| из каждой логически следовали
| | все,
|
|
| после нее:
| чтобы
|
| | стоящие
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
| а)∨ Q, (P →(Q → P)),
| | P
| P Q P ∨ Q (P →(Q → P
| |
|
|
| ))
| |
|
|
|
| 
0 1
1 0
1 1
| Ответ: (P →(Q → P
| ╞═
| |
|
|
|
| ))
|
| |
|
|
|
| ╞═ P ∨ Q.
|
| |
|
|
|
|
| |
| б)→ Q, P ∧ Q,
| P →(
| | P
| P Q
|
| |
|
|
|
|
|
| 
0 1
1 0
1 1
Ответ:

|
| в) (→ Q)∨ P (P → Q)∧
|
| |
| P
| ,
|
| |
|
|
|
|
| | P
|
| Q
|
| |
|
|
|
|
|
| |
|
|
|
|
|
| 
0 1
1 0
1 1
Ответ:

1.58. Методом от противного
| следования:
|
|
|
| | а)→ G,
| → H, ∨ G
|
| | F
| K
| H
|
| |
|
| б) (P ∧ Q) ∨ R ╞═ P ∨ (Q → R);
| P
|
| Q
|
| R
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
| | в)
| (P → Q)
| ∧ R ╞═(P ∨ R)→ Q;
|
| | P
|
| Q
|
| R
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
| | г) (P
| → Q)
| → R ╞═ (P ∧ Q) → R;
|
| | P
|
| Q
|
| R
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
| | 1.57.Расположите формулы так,
| из каждой логически следовали
| | все,
|
|
| после нее:
| чтобы
|
| | стоящие
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
Читайте также: Воспользуйтесь поиском по сайту:
|