فازی کردن منطق های گزاره ای
thesis
دانشگاه آزاد اسلامی
1379
محمدعلی دلنواز اسفندیار اسلامی
محمدعلی دلنواز اسفندیار اسلامی
در این پایان نامه منطق گزاره ای دلخواه را که شامل رابط های منطقی است را با افزودن دو عملگر یکتایی توسیع داده و منطق بدست آمده را l می نامیم و نشان می دهیم در این منطق قضایای اعتباری و کارسازی برقرار است .
