۰
subtitle
ارسال: #۱
سوال علوم کامپیوتر ۸۳ - از فصل اول
سلام
تعداد زیر فرمول های درست ساخت ((A1 -> A2) -> (~A3)) برابر است با؟ ۶ عدد
جواب:
A1 ، A2 ، A3 ، ~A3 ، A1->A2 ، (A1->A2)->~A3
---------------------------------
میشه جواب رو تحلیل کنین من متوجه جواب و سوال نشدم
تشکر
تعداد زیر فرمول های درست ساخت ((A1 -> A2) -> (~A3)) برابر است با؟ ۶ عدد
جواب:
A1 ، A2 ، A3 ، ~A3 ، A1->A2 ، (A1->A2)->~A3
---------------------------------
میشه جواب رو تحلیل کنین من متوجه جواب و سوال نشدم
تشکر
۱
ارسال: #۲
RE: سوال علوم کامپیوتر ۸۳ - از فصل اول
فرمول های درست ساخت یا خوش ساخت (WFF) به فرمول هایی گفته می شه که از لحاظ گرامری مشکلی نداشته باشن، که از متغیرهای گزاره ای و عملگرها و پرانتزها تشکیل می شن و به صورتی یازگشتی تعریف میشه.
۱-هر متغیر گزاره ای یه WFF هستش
۲- p~ یه WFF هستش
۳- (p^q) و (p or q) و (p-->q) و (p<-->q) هرکدوم WFF هستن
۴- هر فرمولی که با ۱و۲و۳ ساخته بشه یه WFF هستش
خب با توجه به این گفته ها ببین جواب چی میشه
۱-هر متغیر گزاره ای یه WFF هستش
۲- p~ یه WFF هستش
۳- (p^q) و (p or q) و (p-->q) و (p<-->q) هرکدوم WFF هستن
۴- هر فرمولی که با ۱و۲و۳ ساخته بشه یه WFF هستش
خب با توجه به این گفته ها ببین جواب چی میشه
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close