Formal dillər: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Redaktənin izahı yoxdur |
Redaktənin izahı yoxdur |
||
Sətir 145:
| 1|| 0|| 1|| 0 ||0
|}
'''Məntiqi-riyazi formal dillər'''də ən mühüm ifadələr termlər və düsturlardır. Term- obyektlərin adının analoqudur, bunun mahiyyəti obyekti qeyd etmək üçündür. Termlər dəyişən və sabitləri qeyd etmək üçün istifadə oluna bilər. Termlərdən yeni daha mürəkkəb termlər yaratmaq olar, bunun üçün, adətən, dilin funksiyalarından istifadə olunur.
Riyazi məntiqdə istifadə olunan inversiya(),konyuksiya(),dizyuksiya(),implikasiya() və s. əməllərdən istifadə etməklə müxtəlif termlər qurmaq olar: A;
| |||