15-- منطق
گزاره عبارتی است که خبری را بیان می کند و این خبر درست یا نادرست است ، در منطق فازی احتمال درستی فاصله [0,1] است . برای درستی و نادرستی ارزش یک گزاره در Mathematica می توان از عملگر های رابطه ای و عملگرهای منطقی استفاده نمود .
عملگر های رابطه ای
نامساوی….. x!=y
کوچکتر..... x
کمتر یا مساوی..... x<=y
مساوی .....x==y
بزرگتر ..... x>y
بزرگتر یا مساوی ..... x>=y
عملگر های منطقی
نقیض p ..... !p
(p^q) و (and) ..... p&&q
(pvq) یا (or) ..... p||q
یا انحصاری ( مانع جمع ) ..... Xor[p,q,…]
اگر p درست باشد then در غیر این صورت else ..... If[p,then.else]
بسط عبارت منطقی expr ..... LogicalExpand[expr]
اگر expr صحیح باشد True در غیر این صورت False ..... TrueQ[expr]
True اگر lhs rhd همانند باشند در غیر این صورت False.....Lhs===rhs یا Same[lhs,rhs]
True اگر lhs و rhs ناهمانند باشند در غیر این صورت False .....
Lhs=!=rhs یا UnSame[lhs,rhs]
ارزیابی تا زمانی که یکی از عبارتنها False باشد ..... expr1,&&expr2&&
ارزیابی تا زمانی که یکی از عبارتها True باشد ..... expr1||expr2||
