Выразите с помощью логики предикатов следующее утверждение: все вещества, имеющие в своей кристаллической решетке свободные электроны, проводят электрический ток.

задан 24 Май '15 15:58

изменен 24 Май '15 20:24

%D0%92%D0%B8%D1%82%D0%B0%D0%BB%D0%B8%D0%BD%D0%B0's gravatar image


9917

Если я введу предикаты P(x)="x имеет в кристаллической решетке свободные электроны", Q(x)="x проводит ток", то утверждение запишется ∀P(x)Q(x)? Или там нужна импликация, а не конъюнкция?

(24 Май '15 16:04) svain

Конечно, нужна импликация, а также переменная после квантора: $%(\forall x)(P(x)\to Q(x))$%. Конъюнкция означала бы заведомо ложное утверждение: что все без исключения вещества и такие, и такие.

(24 Май '15 16:40) falcao

Спасибо большое!

(24 Май '15 16:43) svain
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×350

задан
24 Май '15 15:58

показан
165 раз

обновлен
24 Май '15 16:43

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru