Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 21 ]  На страницу 1, 2, 3  След.
Автор Сообщение
 Заголовок сообщения: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 17:09 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

«Неверно,что студент сдает зачет на 4 или на 5 тогда и только тогда, когда добросовестно решает задачи по математической логике».

Из этого высказывания получил:
[math]\overline{(A \lor B) \leftrightarrow C}[/math]

Абсолютно не понимаю, как представить данное высказывание в операциях выше, объясните пожалуйста доходчиво, видел кучу примеров, но не могу построить аналогию, хочется разобраться. Спасибо

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 17:24 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 20573
Откуда: Беларусь, Минск
Cпасибо сказано: 1736
Спасибо получено:
4410 раз в 4115 сообщениях
Очков репутации: 767

Добавить очки репутацииУменьшить очки репутации
Штрих Шеффера -- это отрицание конъюнкции, стрелка Пирса -- это отрицание дизъюнкции...

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 18:15 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 20573
Откуда: Беларусь, Минск
Cпасибо сказано: 1736
Спасибо получено:
4410 раз в 4115 сообщениях
Очков репутации: 767

Добавить очки репутацииУменьшить очки репутации
Попробуйте сначала заменить эквиваленцию на конъюнкцию двух импликаций.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 18:30 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Попробуйте сначала заменить эквиваленцию на конъюнкцию двух импликаций.


А если так?

[math]\overline{(A \lor B)C \lor \overline{(A \lor B)} \overline{C}}[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 18:33 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 20573
Откуда: Беларусь, Минск
Cпасибо сказано: 1736
Спасибо получено:
4410 раз в 4115 сообщениях
Очков репутации: 767

Добавить очки репутацииУменьшить очки репутации
Сделайте, пожалуйста, сначала так, как я предложил Вам, а потом, если нужного результата не получится, реализуете свои варианты решения. :)

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 18:44 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Сделайте, пожалуйста, сначала так, как я предложил Вам, а потом, если нужного результата не получится, реализуете свои варианты решения. :)


Получается так?
[math]\overline{(A \lor B) \leftrightarrow C} =\overline{(A \lor B) \to C))(C \to (A \lor B))} =\overline{\overline{(A \lor B)} \lor \overline{C})) (\overline{C} \lor \overline{(A \lor B} )) }[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 19:01 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 20573
Откуда: Беларусь, Минск
Cпасибо сказано: 1736
Спасибо получено:
4410 раз в 4115 сообщениях
Очков репутации: 767

Добавить очки репутацииУменьшить очки репутации
Отрицание конъюнкции теперь обозначьте как штрих Шеффера.

Теперь у меня есть вопрос к Вам: как нужно понимать это задание?
Artyom1997 писал(а):
Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

Как возможный в одной формуле набор операций или как три различные формулы, первая из которых содержит только штрихи Шеффера, вторая -- только стрелки Пирса, третья -- только импликации и константы нуля?

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 19:05 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Отрицание конъюнкции теперь обозначьте как штрих Шеффера.

Теперь у меня есть вопрос к Вам: как нужно понимать это задание?
Artyom1997 писал(а):
Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

Как возможный в одной формуле набор операций или как три различные формулы, первая из которых содержит только штрихи Шеффера, вторая -- только стрелки Пирса, третья -- только импликации и константы нуля?


Отдельно каждое представление по данной формуле

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 19:11 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 20573
Откуда: Беларусь, Минск
Cпасибо сказано: 1736
Спасибо получено:
4410 раз в 4115 сообщениях
Очков репутации: 767

Добавить очки репутацииУменьшить очки репутации
Хорошо. Тогда рассмотрим задание 1. В обеих парах внешних скобок левой и правой частей штриха Шеффера дизъюнкцию отрицаний замените на отрицание конъюнкции (и тем самым на штрих Шеффера).

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 19:33 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Хорошо. Тогда рассмотрим задание 1. В обеих парах внешних скобок левой и правой частей штриха Шеффера дизъюнкцию отрицаний замените на отрицание конъюнкции (и тем самым на штрих Шеффера).


А после заменить отрицание дизъюнкции внутренних скобок (А или Б) на отрицание конъюнкций и после на штрих, правильно понимаю?

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему    На страницу 1, 2, 3  След.  Страница 1 из 3 [ Сообщений: 21 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Представить линейный сплайн в виде суперпозиции В-сплайнов п

в форуме Численные методы

Knyazhe

0

207

21 дек 2017, 13:34

Представить функцию в виде w=u(x.y)+iv(x.y)

в форуме Комплексный анализ и Операционное исчисление

Melenarka

6

332

25 мар 2018, 23:23

Представить заданную функцию w=f(z) в виде w=u(x,y)+iv(x,y)

в форуме Комплексный анализ и Операционное исчисление

Shp57

8

662

23 фев 2017, 16:37

Представить дробь в виде ряда. ПЛЗ

в форуме Ряды

viosagmir

2

401

13 июн 2011, 11:34

Представить в виде степенного ряда

в форуме Ряды

aleeex

4

664

13 июн 2011, 16:00

Представить в виде ДНФ логическую функцию f=f(p,q,r)

в форуме Дискретная математика, Теория множеств и Логика

nonnochka

8

1113

16 авг 2011, 19:28

Представить в виде полинома Жегалкина

в форуме Дискретная математика, Теория множеств и Логика

Alcantara

7

296

18 ноя 2016, 14:38

Представить в виде числового ряда lge

в форуме Ряды

gruksi

8

270

07 мар 2018, 11:40

Вычислить выражение, представить в виде

в форуме Комплексный анализ и Операционное исчисление

zima

1

229

28 окт 2014, 22:42

Tan(2arctan(x)) представить в виде выражения с х

в форуме Тригонометрия

afraumar

1

345

14 авг 2014, 14:36


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 8


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2020 MathHelpPlanet.com. All rights reserved