mokadda bn formula dala hadana krame?
එකට මේ 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) )





