1. Главная
  2. Библиотека
  3. Высшая математика
  4. Докажите, что следующие формулы не общезначимы: 1) P(x) → (∀y) P(y) 2) (∃x)P(x) → (∀x)P(x).   Докажите, что след...

Докажите, что следующие формулы не общезначимы: 1) P(x) → (∀y) P(y) 2) (∃x)P(x) → (∀x)P(x).   Докажите, что следующие формулы не общезначимы:

«Докажите, что следующие формулы не общезначимы: 1) P(x) → (∀y) P(y) 2) (∃x)P(x) → (∀x)P(x).   Докажите, что следующие формулы не общезначимы:»
  • Высшая математика

Условие:

Докажите, что следующие формулы не общезначимы:

1) P(x) → (∀y) P(y)

2) (∃x)P(x) → (∀x)P(x).

 

Решение:

1) P(x) (y) P(y)

Формула А логики предикатов называется общезначимой, если она тождественно истинна на всякой области определения.

Пусть P(x) - предикат "число х - четное " , определенный в области

М = {0,1,2, ... , n, ...}. Тогда, например, P(2) =1, P(3) = 0, поэто...

Похожие задачи

Не нашел нужную задачу?

Воспользуйся поиском

AI помощники

Выбери предмет

E
S
А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Э
Я