با سلام
من مفهوم سازگاری رو به این شکل گرفتم که گزاره P سازگار است اگر و فقط اگر حداقل به ازای یکی از ترکیبهای P1^P2^P3درست باشد
( p(p1,p2,p3
حالا اگر ما بگیم { a,b } سازگارند این بدین معنی هست که a^b =! F است????!!
سلام. درسته. یعنی حداقل به ازای یکی از ترکیبهای متغیرها، کل عبارت برابر درست بشه.
خوب الان ما اگر برای گزارهای اولیه a , b مقدار برابر با f در نظر بگیرم a^b =! F نقظ می شه ولی این به این معنای نیست
که سازگار نسیت چون به ازای مقدار T برای a , b درست هست
پس نتیجه بگیرم جمله پایین غلط هست؟؟؟؟؟
{ a,b } سازگارند این بدین معنی هست که a^b =! F است(این توی حل یکی از تست های پوران بوده)
a,b گزاره هستن. هرکدوم ترکیبی از چندتا متغیر مثل p1 و p2 و p3 و ... اگه قرار باشه یکیشون (یعنی a یا b) برابر false باشه که دیگه سازگار نمیتونن باشن. چیزی که من میگم با a^b =! F مغایرتی نداره.