Рассмотрим систему формальной записи, в которой формулы образуются по такому правилу: переменная это формула, а если ϕ и ψ это формулы, то |ϕ| и ϕ|ψ| тоже формулы. Разберите формулу |p|||q||r|||s||| двумя способами.

задан 15 Окт 20:28

10|600 символов нужно символов осталось
0

|p|||q||r|||s|||

снимаем скобки (1-е правило)

p|||q||r|||s||

убираем p как формулу, и снимаем скобки со второй:

||q||r|||s|

ф=||q||r||, psi=s -- 2-е правило

снимаем скобки с ф:

|q||r|

тут понятно: сначала q, потом |q| по первому, потом итог по 2-му с psi=r

Второй способ:

|p|||q||r|||s|||

получается по 2-му правилу из ф=|p| и psi=|q||r|||s||

последнее получено из ф=|q||r| и psi=|s|

(Такое противно записывать, а читать, наверное, ещё противнее :))

ссылка

отвечен 15 Окт 20:41

10|600 символов нужно символов осталось
Ваш ответ

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

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

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

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

отмечен:

×915

задан
15 Окт 20:28

показан
34 раза

обновлен
15 Окт 20:41

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

по почте:

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

по RSS:

Ответы

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

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