Алгебра высказываний. Простой вопрос (начало)

[marker024]

Вот только начинаю изучать дискретку. Но что-то нигде найти не могу, что это за тире над примером/элементом? Что оно значит?
Википедия пишет что-то типо "Дополнением множества A относительно универсального множества". Но по сути, что это означает, разобраться не могу.
Растолкуйте по простому пожалуйста для начинающего

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

[Xaositect]

Если речь о высказываниях, то это отрицание.

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

[Karan]

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

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

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

[Karan]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

[marker024]

Xaositect в сообщении #1076239 писал(а):

Если речь о высказываниях, то это отрицание.

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

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

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

[Xaositect]

Я же сказал, это отрицание высказывания. Оно может быть и над одной буквой, и над выражением.

[marker024]

Xaositect в сообщении #1076250 писал(а):

Я же сказал, это отрицание высказывания. Оно может быть и над одной буквой, и над выражением.

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

[bot]

marker024 в сообщении #1076252 писал(а):

Если не X, то не Y и Z

Это Вы о чём?

[marker024]

bot в сообщении #1076254 писал(а):

marker024 в сообщении #1076252 писал(а):

Если не X, то не Y и Z

Это Вы о чём?

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

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

[bot]

Здесь нет утверждения. Если бы Вы сказали, что данное высказывание эквивалентно исходному, то я бы ответил - нет, не эквивалентно.

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

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

[marker024]

bot в сообщении #1076262 писал(а):

Здесь нет утверждения. Если бы Вы сказали, что данное высказывание эквивалентно исходному, то я бы ответил - нет, не эквивалентно.

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

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

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

[Munin]

marker024 в сообщении #1076238 писал(а):

$A=\overline{y \wedge z \supset x}$

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

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

[Xaositect]

marker024 в сообщении #1076264 писал(а):

Так а как вы прочитали эту формулу?

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

[Munin]

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

[Xaositect]

$\supset$ это импликация. Редкое обозначение сейчас, но используется.

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