2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:05 
:oops: Люди помогите разобраться, (p↔q)↔┐q, она тождественно-истинна, тождественно-логична или выполняема???

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:09 
Аватара пользователя
Вот есть два утверждения. "Обама пойдет на второй срок, если и только если бигмак не подорожает" и "Бигмак подорожает". Что Вы можете про них сказать? Как они связаны?

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:20 
Таблица истинности вас спасёт.

-- 22.11.2011, 20:20 --

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

-- 22.11.2011, 20:21 --

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

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:27 
Хорхе,с Бигмаком классно :D


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

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:29 
Аватара пользователя
Попросить расписать можно, но запрещено правилами форума. Рисуйте таблицу истинности, если она Вам проще, чем бигмаки.

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:37 
я по ходу аллогично существо :-(

-- 22.11.2011, 19:40 --

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

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:48 
Аватара пользователя
По ходу не дошло.

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

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 19:55 
Нарисовала, две. я точно дун дук :-(

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 20:03 
Аватара пользователя
Зачем две? Там одна табличка два на два:

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

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 20:06 
тогда истинно :oops:

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 20:08 
Аватара пользователя
Давайте не играть в угадайку. Что стоит в верхнем левом углу? Утверждение $(\text{ист}\leftrightarrow\text{ист})\leftrightarrow\text{ложь}$ истинно?

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 20:15 
нет не истинно

-- 22.11.2011, 20:16 --

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

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 20:42 
Аватара пользователя
Да ладно там извиняться. Голова-то у Вас с рождения работает. Ну логика, возможно, чуть меньше, но не намного.

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

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

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 22:33 
по таблице истинно :oops:

 
 
 
 Re: Логика (p↔q)↔┐q
Сообщение22.11.2011, 22:57 
Аватара пользователя
Правильно, истинно, нечего стыдиться.

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

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


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