Логика (p↔q)↔┐q

[Paula]

Люди помогите разобраться, (p↔q)↔┐q, она тождественно-истинна, тождественно-логична или выполняема???

[Хорхе]

Вот есть два утверждения. "Обама пойдет на второй срок, если и только если бигмак не подорожает" и "Бигмак подорожает". Что Вы можете про них сказать? Как они связаны?

[molokowoz]

Таблица истинности вас спасёт.

-- 22.11.2011, 20:20 --

И что значит тождественно логична?

-- 22.11.2011, 20:21 --

может быть тождественно ложна?

[Paula]

Хорхе,с Бигмаком классно


molokowoz, а всё таки какая она.а можно Вас попросить расписать?ой описалася тождественно-ложна

[Хорхе]

Попросить расписать можно, но запрещено правилами форума. Рисуйте таблицу истинности, если она Вам проще, чем бигмаки.

[Paula]

я по ходу аллогично существо

-- 22.11.2011, 19:40 --

усё, по ходу дошло, оно то суждение в котором я опечаталась. Хорхе

[Хорхе]

По ходу не дошло.

Ну надо таблицы истинности рисовать, что уж.

[Paula]

Нарисовала, две. я точно дун дук

[Хорхе]

Зачем две? Там одна табличка два на два:

$$ \begin{tabular}{|c|c|c|} \hline $p$ \backslash q& \text{ист}& \text{ложь}\\\hline \text{ист} & &\\\hline \text{ложь} & &\\ \hline \end{tabular} $$

[Paula]

тогда истинно

[Хорхе]

Давайте не играть в угадайку. Что стоит в верхнем левом углу? Утверждение $(\text{ист}\leftrightarrow\text{ист})\leftrightarrow\text{ложь}$ истинно?

[Paula]

нет не истинно

-- 22.11.2011, 20:16 --

Хорхе, извините я сегодня первый день логику читаю

[Хорхе]

Да ладно там извиняться. Голова-то у Вас с рождения работает. Ну логика, возможно, чуть меньше, но не намного.

Хорошо, не истинно.

А утверждение $(\text{ложь}\leftrightarrow\text{ист})\leftrightarrow\text{ложь}$ истинно?

[Paula]

по таблице истинно

[Хорхе]

Правильно, истинно, нечего стыдиться.

Значит, наша формула для каких-то значений $p,q$ ложна, а для каких-то истинна. Поэтому правильный ответ на поставленный вопрос ...