2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу 1, 2  След.
 
 Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 13:54 
Вот только начинаю изучать дискретку. Но что-то нигде найти не могу, что это за тире над примером/элементом? Что оно значит?
Википедия пишет что-то типо "Дополнением множества A относительно универсального множества". Но по сути, что это означает, разобраться не могу.
Растолкуйте по простому пожалуйста для начинающего :cry:

p.s. если есть где-то примеры буду очень благодарен.
$A=\overline{y \wedge z \supset x}$

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 13:56 
Аватара пользователя
Если речь о высказываниях, то это отрицание.

Как Вы так начинаете изучать сразу с середины, разве не было обозначений для связок?

 
 
 
 Posted automatically
Сообщение24.11.2015, 13:57 
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 
 
 
 Posted automatically
Сообщение24.11.2015, 14:14 
 i  Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 14:17 
Xaositect в сообщении #1076239 писал(а):
Если речь о высказываниях, то это отрицание.

Как Вы так начинаете изучать сразу с середины, разве не было обозначений для связок?


Да это я просто пример взял. Обозначения были, все кроме этого тире, они сразу начали как-то появляться, вот и не могу разобраться :\

А если тире только над одним элементом (буквой). Что это значит?

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 14:25 
Аватара пользователя
Я же сказал, это отрицание высказывания. Оно может быть и над одной буквой, и над выражением.

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 14:30 
Xaositect в сообщении #1076250 писал(а):
Я же сказал, это отрицание высказывания. Оно может быть и над одной буквой, и над выражением.


Если не X, то не Y и Z.
Как-то так? :)

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 14:37 
Аватара пользователя
marker024 в сообщении #1076252 писал(а):
Если не X, то не Y и Z

Это Вы о чём? :facepalm:

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 14:44 
bot в сообщении #1076254 писал(а):
marker024 в сообщении #1076252 писал(а):
Если не X, то не Y и Z

Это Вы о чём? :facepalm:


если не y и z, то и не x.

Ну я ж говорю, только начал изучать... :cry: :oops:

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 14:49 
Аватара пользователя
Здесь нет утверждения. Если бы Вы сказали, что данное высказывание эквивалентно исходному, то я бы ответил - нет, не эквивалентно.

-- Вт ноя 24, 2015 18:50:26 --

Если Вы только начали изучать, то начните с таблицы истинности хотя бы.

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 14:55 
bot в сообщении #1076262 писал(а):
Здесь нет утверждения. Если бы Вы сказали, что данное высказывание эквивалентно исходному, то я бы ответил - нет, не эквивалентно.

-- Вт ноя 24, 2015 18:50:26 --

Если Вы только начали изучать, то начните с таблицы истинности хотя бы.


Я ее вот и начал изучать, и тут уже появился этот символ, и вот задал такой вопрос.
Так а как вы прочитали эту формулу? :roll:

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 15:29 
Аватара пользователя
marker024 в сообщении #1076238 писал(а):
$A=\overline{y \wedge z \supset x}$

Что-то мне не верится в то, что в каком-нибудь вменяемом источнике (книге, курсе лекций, причём для начинающих) вообще могла бы быть записана именно такая формула.

Как минимум потому, что здесь мешанина между высказываниями, операциями над высказываниями, и предикатами над множествами.

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 15:29 
Аватара пользователя
marker024 в сообщении #1076264 писал(а):
Так а как вы прочитали эту формулу? :roll:


$\overline{y \wedge z \supset x}$ - Неверно, что из $y$ и $z$ следует $x$.

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 15:31 
Аватара пользователя
А, если читать знак $\supset$ как импликацию... это уродство, конечно, но бывает. Обычно пишут $\to$ или $\Rightarrow.$ И всё-таки ставят скобочки, потому что $(y\wedge z)\Rightarrow x$ и $y\wedge(z\Rightarrow x)$ - совершенно разные вещи.

 
 
 
 Re: Алгебра высказываний. Простой вопрос (начало)
Сообщение24.11.2015, 15:38 
Аватара пользователя
$\supset$ это импликация. Редкое обозначение сейчас, но используется.

Насчет приоритета операций да, лучше уточнить в учебнике. Обычно конъюнкция старше импликации.

 
 
 [ Сообщений: 22 ]  На страницу 1, 2  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group