2014 dxdy logo

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

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




 
 Матем.логика...не могу осилить...
Сообщение31.03.2008, 19:03 
Не (exp (2 * Х) > пи/3) і не Р истинное при значениях переменной
а. Х = 5, Р = да, б. Х = 0.9, Р = да, в.Х = 4.3, Р = нет
г. Х = -1, Р = нет, д. Х = 0.9, Р = нет

 
 
 
 
Сообщение31.03.2008, 19:28 
Аватара пользователя
Мы тоже не можем осилить. Даже прочитать не можем: букв мало. 8-)

Для формул на форуме используют $\TeX$ (введение, справка).

 
 
 
 Re: Матем.логика...не могу осилить...
Сообщение01.04.2008, 00:12 
cimicifuga писал(а):
Не (exp (2 * Х) > пи/3) і не Р

Видимо имелось в виду это:
$(\overline{(exp(2 \cdot X) > \frac{\pi}{3})} \wedge \overline{P})$
надеюсь, я правильно расставил скобки?

Осталось проверить истинность сего предиката при:
а. Х = 5, Р = да,
б. Х = 0.9, Р = да,
в. Х = 4.3, Р = нет,
г. Х = -1, Р = нет,
д. Х = 0.9, Р = нет.

Надеюсь, дальше cimicifuga сам(-а) справиться.
Сначало нужно посчитать $exp(2 \cdot X)$ и $\frac{\pi}{3}}$ с достаточной степенью точности,
потом сравнив их, определить истинность выражения $(exp(2 \cdot X) > \frac{\pi}{3})$,
потом определить истинность выражений $\overline{(exp(2 \cdot X) > \frac{\pi}{3})}$ и $\overline{P}$,
и наконец истинность всего выражения $(\overline{(exp(2 \cdot X) > \frac{\pi}{3})} \wedge \overline{P})$.

Делать это лучше в таблице, где
в графы столбцов записать переменные и выражения: $X$, $P$, $exp(2 \cdot X)$, $(exp(2 \cdot X) > \frac{\pi}{3})$, $\overline{(exp(2 \cdot X) > \frac{\pi}{3})}$, $\overline{P}$ и $(\overline{(exp(2 \cdot X) > \frac{\pi}{3})} \wedge \overline{P})$;
в графы строк записать индексы условий: а., б., в., г., д.;
и в сами ячейки: значения указанных переменных и выражений при указанных условиях.
(постоянное значение $\frac{\pi}{3}}$ посчитать предварительно и вне таблицы)
Надеюсь понятно?

 
 
 [ Сообщений: 3 ] 


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