سوال علوم کامپیوتر ۸۳ - از فصل اول - نسخه‌ی قابل چاپ

سوال علوم کامپیوتر ۸۳ - از فصل اول - sarehkar - 04 مهر ۱۳۹۲ ۱۰:۳۲ ق.ظ سلام تعداد زیر فرمول های درست ساخت ((A1 -> A2) -> (~A3)) برابر است با؟ ۶ عدد جواب: A1 ، A2 ، A3 ، ~A3 ، A1->A2 ، (A1->A2)->~A3 --------------------------------- میشه جواب رو تحلیل کنین من متوجه جواب و سوال نشدم تشکر

RE: سوال علوم کامپیوتر ۸۳ - از فصل اول - amir11205 - 09 مهر ۱۳۹۲ ۱۰:۵۰ ب.ظ فرمول های درست ساخت یا خوش ساخت (WFF) به فرمول هایی گفته می شه که از لحاظ گرامری مشکلی نداشته باشن، که از متغیرهای گزاره ای و عملگرها و پرانتزها تشکیل می شن و به صورتی یازگشتی تعریف میشه. ۱-هر متغیر گزاره ای یه WFF هستش ۲- p~ یه WFF هستش ۳- (p^q) و (p or q) و (p-->q) و (p<-->q) هرکدوم WFF هستن ۴- هر فرمولی که با ۱و۲و۳ ساخته بشه یه WFF هستش خب با توجه به این گفته ها ببین جواب چی میشه