Reply to thread

Message: <blockquote data-quote="හෙනයා" data-source="post: 20671233" data-attributes="member: 510186"> එකට මේ formula දෙක කට පාඩම් කරන් ඉන්න ඕනේ.. ~( Ǝx p(x) ) =  ∀x ~p(x) ~( ∀x p(x) ) = Ǝx ~p(x) ඔය දෙක තේරුම් ගැන පුළුවන් නේ? සම්පුර්ණ එකටම not එක තිබ්බ වෙලාවට ලකුණ මාරු කරලා ඇතුලේ තියෙන එකට [ p(x) ] not එක දාන්න ඕනේ.. යට එකේ එකේ එකේම අනිත් පැත්ත තියෙන්නේ.. සමහර වෙලාවට වරහන් නැතුව ~Ǝx p(x) ඔහොම දෙනවා.. එතකොට ~( Ǝx p(x) ) මේකම තමයි.. අනිත් එක උබට demorgan law මතකයිනේ.. ඒ වගේම මේකෙත් එකම තියෙනවා.. ~( p(x) ˅ q(x) )  = ~p(x) ^ ~q(x) ~( p(x) ^ q(x) )  = ~p(x) ˅ ~q(x) දැන් ගමු V වෙනි එක ~∀x (~p(x) ˅ q(x) ) ඕක අපිට වරහන් දාල මෙහෙම ලියන්නත් පුළුවන් කලින් කිව්වා වගේ.. ~ ( ∀x (~p(x) ˅ q(x) ) ) මුලින්ම අර එළියේ තියෙන not එක අයින් කරන්න පුළුවන් නේ ලකුණ මාරු කරලා.. මුලින්ම දීල තියෙන formula එකට අනුව.. එතකොට Ǝx ~ (~p(x) ˅ q(x) ) ඔහොම ලියාගන්න පුළුවන්. හොදට මතක තියාගන්න ~ all x (a ˅ b) වගේ එකක් all eka some වලට මාරු කලාම some x (~a ˅ ~b) වෙන්නේ නෑ.. මොකද (a ˅ b) තියෙන්නේ වරහන් ඇතුලේ නිසා.. එක නිසා ඒ not එක පිටින් දාන්න ඕනේ මේ වගේ..  some x ~(a ˅ b) ඊට පස්සේ ඉතින් Ǝx ~ (~p(x) ˅ q(x) ) ඔය not එකට කෙලින්ම demorgan දාන්න පුළුවන්.. එතකොට ඇතුලේ තියෙන p එකේ not එක කැපෙනවා.. මැද්දේ තියෙන ලකුණ මාරු වෙනවා.. q වලට not එකක් add වෙනවා.. මේ වගේ Ǝx ( p(x) ^ ~q(x) ) හරි නේ? ඕක තියෙනවා නේ..? ඒ විදිහටම VI ත් හදාගන්න පුළුවන් නේ? V මේකයි.. ~∃x ~( p(x) ∧ q(x) ) ඔකේ බන් අපි some x එක all x කරන්න ගියාම වරහනට එළියෙන් තව not එකක් add වෙනවනේ.. මේ වගේ all x ~~( p(x) ∧ q(x) ) එතකොට ඔය not දෙක කපිල යනවා.. එතකොට all x ( p(x) ∧ q(x) ) </blockquote>

Verification: Winadiyakata thappara keeyak tibeda?

Top Bottom