|
Тема
|
Помоооощ!
|
|
Автор |
Xpиcи (ненормалница) |
Публикувано | 18.02.04 14:05 |
|
Ужасно много ви моля, в петък имам изпит по логика, а на последните упражнения (на които аз не успях да отида) сме решавали задачи, които ги няма в учебникаааа.... Та значи...първо може ли някой да ми каже дали следният закон за еквивалентност е верен, защото не съм сигурна дали правилно съм го преписала, а пък хич не ми изглежда верен:
p.q v p <=> q
и второ - ако някой ми каже как се опростяват ей такива изрази, направо ще му устроя банкет :
~ [ (~p v p).q ] э p э -то в случая означава импликация
~ ( ~p v q) v ~p v q
Моля вииииии, heeeeelp!
| |
|
изкарваме p пред скоби и ето така
~ [p (~ v p). ]q э p э
Хората,които са умни-не мечтаят...
| |
Тема
|
Re: Помоооощ!
[re: Xpиcи]
|
|
Автор |
oDuH (филдъбит) |
Публикувано | 18.02.04 22:08 |
|
по-скоро закона е:
p.q v p <=> p
т.е.
p.q v p <-> p.(q v 1) <-> p
oDuH RuleZ
| |
Тема
|
Re: Помоооощ!
[re: oDuH]
|
|
Автор |
Xpиcи (ненормалница) |
Публикувано | 19.02.04 12:02 |
|
И аз точно това си мислехМного ти благодаря за отговора
| |
|
Нищо не можах да разбера
| |
|
Ама ти си за бой! Къде се изгуби досега? Може ли два дни преди изпит тепърва да питаш за задачи? Пък и нали на кънки щяхме да ходим?
А импликацията в коя посока е? Демек обърнатото "е" "->" ли значи или "<-"?
Иначе:
~(p V q) <=> (~p).(~q)
~(p.q) <=> (~p) V (~q)
a V (~a) <=> 1
a . (~a) <=> 0
(p -> q) <=> [(~p) V q]
Като следваш тези закони, задачите се решават така: (ще използвам "->" вместо оная заврънгачка)
1.
~ [ (~p v p).q ] -> p <=>
~[1.q] -> p <=>
~q -> p <=>
q V p
2.
~ ( ~p v q) v ~p v q
Полагаме (~p V q) = a, тогава
~ ( ~p v q) v ~p v q <=>
~ ( ~p v q) v (~p v q) <=>
~a V a <=>
1
Успех на изпита!
Каквото и да направите ще е незначително, но въпреки това е важно да го направите.
| |
|
Много се зарадвах като видях, че си ми писала И адски много ти благодаря за отговора! Изпита ми беше елементарен и имам 6 Покрай тая сесия почти нямах време за интернет, ама вече ще ви посещавам по-често, обещавам И на кънки ще отидем със сигурност
| |
|
|
|
|