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

[marker024]

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

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

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

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

Вот большое спасибо, я приблизительно так и понял. Теперь все немного ясно.

Munin в сообщении #1076276 писал(а):

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

Ну обычно или нет, но в курсе у меня так (да и какая разница, думаю запомнить еше один символ мне не составит труда), главное понять принцип работы.
Задание представлено именно в таком виде. Так что тут уже извините, задание дает универ (для заочного обучения) :)

[bot]

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

А, если читать знак $\supset$ как импликацию... это уродство, конечно, но бывает.

В Чёрче, к примеру.

[Munin]

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

да и какая разница, думаю запомнить еше один символ мне не составит труда

Пока вы слушаете один курс, и общаетесь только с лектором - разницы никакой.

Разница наступит:
- когда вы попытаетесь использовать свои знания на практике, общаться с кем-то на тему изученного материала;
- и когда вы начнёте изучать другие разделы математики. Знак $\subset$ почти однозначно закреплён за другим понятием: вхождением подмножества в надмножество.

[marker024]

Еше возник один маленький вопрос. Что означает минус (-) перед каким либо значением? Именно в дискретке. Просто отрицание обозначается как$\neg$ либо, как следует из постов выше, чертой над элементом.

пример вопроса: -(q$\supset$p)$\equiv$(-p$\supset$r).
Что этот минус означает? (спасибо за помощь)

[Xaositect]

Тоже иногда обозначает отрицание, очень редко и обычно если нет технической возможности набрать $\neg$.
Такие вопросы надо Вашему преподавателю задавать.

[marker024]

Да вот на одной странице вот так, а на следующей уже как я написал. Ну ладно. Спасибо.

[Munin]

marker024
Чтобы написать формулу:
1. Пишете знак доллара $.
2. Пишете саму формулу по правилам LaTeX, обычные буквы, цифры, скобки, арифметические знаки - обычными знаками. Знака доллара не пишете.
3. В конце, когда формула уже полностью закончилась, пишете ещё один знак доллара $.

-- 25.11.2015 15:19:26 --

Пример: $-(q\supset p)\equiv(-p\supset r)$.