Recommended Posts

№1. Для какого из указанных значений X истинно высказывание ¬((x>2)->(x>3))

1) 1 2) 2 3) 3 4) 4

№2. Для какого из указанных значений числа X истинно высказывание

(( x<5) -> (x<3)) gif.latex? \wedge (( x<2) ->(x<1))

Share this post


Link to post
Share on other sites
Guest Eduard   
Guest Eduard

мы можем записать все выражение как ((x<2)<-(x<3))?

Нет-Нет. И еще раз НЕТ!

Замена импликации ведь:

A => B <=> ¬ A V B

¬((x>2)->(x>3))=¬(¬(x>2)V(x>3))=(x>2)&¬(x>3)=(x>2)&(x<=3)

Ответ: 3

Share this post


Link to post
Share on other sites
Guest Eduard   
Guest Eduard

А если нельзя, то как будет проще сделать? просто подставить туда и проверить сначала (x>2)->(x>3), а потом инверсию?

А не проще ли работать с выражением? Ведь информатика развивает умение работать с информацией, а не подставлять значения ))

Share this post


Link to post
Share on other sites

№2. Для какого из указанных значений числа X истинно высказывание

(( x<5) -> (x<3)) /(( x<2) ->(x<1))

Решение.

Выражение будет истинно, когда левая часть ((x<5) -> (x<3)) будет равна еденице, и правая часть (( x<2) ->(x<1)) так же будет равняться еденице. Теперь необходимо вспомнить таблицу истинности для импликации и конюнкции. Слева и справа будут еденицы когда 0->0; 0->1 и 1->1.(импликация). Начинаем подстановку с еденицы, она не подходит так как в правой часть будет 1->0, что в свою очередь в итоге даст 0 и при умножении получем ложь, поэтому подходит число 2, оно удовлетворяет нашей системе. Ответ:2

Share this post


Link to post
Share on other sites

Создайте учётную запись или войдите для комментирования

Вы должны быть пользователем, чтобы оставить комментарий

Создать учётную запись

Зарегистрируйтесь для создания учётной записи. Это просто!

Зарегистрировать учётную запись

Войти

Уже зарегистрированы? Войдите здесь.

Войти сейчас


  • Сейчас на странице   0 пользователей

    Нет пользователей, просматривающих эту страницу