 |
Из трех высказывани 9 страница
|
|
|
|
| ческое следование имело место. Учи | |||||||
| формулы F (X, Z): | ) | ||||||
| X | Y | F X, Z) | F 1 | F 2 | |||
| ( | |||||||
| F 2(X, Z) | ≅ |
| Используя совершенную | |||||||||
| нормальную форму, находим саму | |||||||||
| формулу | |||||||||
| F (X, Y, Z) | ≅ | ||||||||
| Проверка | |||||||||
| : | |||||||||
:
1.64. Найдите все, не являющиеся тавтологиями и неравносильные между
| собой формулы F (X, Y | , зависящие от переменных X и Y, являющиеся логи- | |||||||||||||||||||||||||||||||||||
| ческими следствиями следующих формул: | ||||||||||||||||||||||||||||||||||||
| а) | X | Z | )и | Y | → | Z | ||||||||||||||||||||||||||||||
| б) | → Y | Y → | ; | |||||||||||||||||||||||||||||||||
| Z | X | ∨ Z | ||||||||||||||||||||||||||||||||||
| X | , | ∧ | ; | → | ||||||||||||||||||||||||||||||||
| Y | ↔ | Z | (Y | X | Z | |||||||||||||||||||||||||||||||
| в) | Z | и | ||||||||||||||||||||||||||||||||||
| , | . | |||||||||||||||||||||||||||||||||||
| Р е ш е н и е. а) | Составим таблицы) | значений данных формул: | ||||||||||||||||||||||||||||||||||
| X | Y | Z | XX | Y | Z | X | Z | Y → Z | ||||||||||||||||||||||||||||
| ∨ | → | |||||||||||||||||||||||||||||||||||
| Выделите те строки (и те значения переменных X и Y в них), в которых | ||||||||||||||||||||||||||||||||||||
| обе формулы X → Z и Y → Z принимают значение 1. | быть их ло- | |||||||||||||||||||||||||||||||||||
| гическим следствием, искомая формула F (X, Y) при этих значениях X и Y так- | ||||||||||||||||||||||||||||||||||||
| же должна принимать значение 1. | Чтобы | |||||||||||||||||||||||||||||||||||
| это, составьте таблицу значений | ||||||||||||||||||||||||||||||||||||
| для формулы F (X, Y): | Учитывая | Условию задачи | будут удовле- | |||||||||||||||||||||||||||||||||
| X | Y | F X, Y) | F 1 | F 2 | ||||||||||||||||||||||||||||||||
| ( | творять две (с точностью до рав- | |||||||||||||||||||||||||||||||||||
| носильности) формулы, но одна | ||||||||||||||||||||||||||||||||||||
| из них является тавтологией. | ||||||||||||||||||||||||||||||||||||
| Вторую найдите с помощью со- | ||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
| F 1(X, Y) | ≅ | ||||||
| 1.65. | Найдите все, неравносил |
ложные формулы F зависящие лишменных, так, чтобы, выполнялось сле
|
|
|
| а) | → Y F (X, Z) ╞═ (X ∧ Z | |||||||||||
| X | , | ) | ||||||||||
| б) | ∨ Z, Y → (X ∧ Z | (X, Y) | ||||||||||
| X | → Y, F (X, Y, Z) | ), | ||||||||||
| в) | ╞═ X | |||||||||||
| X | F | |||||||||||
| Решение. а)Составим таблицы | ||||||||||||
| ∧ | ||||||||||||
| X | Y | Z | Y | X ∧ Z | ||||||||
| Выделите те строки (и те | знач | |||||||||||
| первая формула-посылка | X → |
следствие (X ∧ Z ∨ Y принимает зн искомая формула ) -посылка F(X, Z д
|
|
|
Аврелий Августин об отношении Бога и человека. Понятие индивидуальности и техника перфомативных высказываний.
Верны ли следующие высказывания о внутреннем мире человека?
Взаимоотношение науки и христианства. 1 страница
Взаимоотношение науки и христианства. 2 страница
Взаимоотношение науки и христианства. 3 страница
Взаимоотношение науки и христианства. 4 страница
Взаимоотношение науки и христианства. 5 страница
Взаимоотношение науки и христианства. 6 страница
Взаимоотношение науки и христианства. 7 страница
Вопрос 1. Понятие формулы алгебры высказываний
